Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, Arspa-Wits 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers

by

Write The First Customer Review

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?eredaforumfordiscussingnewresultsintheoriesofc- putersecurity, openquestionsandfundamentalconcernsaboutexistingtheories, and issues related to the development and application of automated reas- ing techniques and tools for the formal speci?cation and analysis of security protocols. There were ...

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

ISBN-13: 9783642160738

Trade paperback

Select