Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, by

Lecture Notes in Computer Science

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28,

184 pages • paperback

3 editions

nonfiction computer science science challenging informative medium-paced
mark as owned
More Options
add to favorites

Browse Similar Books

Read With Others

Start a Readalong

Start a Buddy Read

Book Information

Report Missing/Incorrect Information

Powered by AI (Beta)
Loading...

Description

ThisvolumecontainstheworkshopproceedingsofARSPA-WITS2010, theJoint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, held during March 27 28, 2010 in Paphos (Cyprus). ARSPA-WITS2010o?eredaforumfor...

Show More

Community Reviews

Loading...

Content Warnings

Loading...