Books+ Search Results
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
Author
Title
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [electronic resource] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers / edited by Alessandro Armando, Gavin Lowe.
ISBN
9783642160745
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Physical Description
1 online resource.
Local Notes
Access is available to the Yale community.
Access and use
Access restricted by licensing agreement.
Variant and related titles
Springer ebooks.
Format
Books / Online
Language
English
Added to Catalog
December 01, 2010
Series
Lecture Notes in Computer Science, 6186
Subjects
Also listed under
SpringerLink (Online service)
Bookmark As
Citation
