Books+ Search Results
Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
Author
Title
Foundations and Applications of Security Analysis [electronic resource] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Luca Viganò.
ISBN
9783642034596
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Physical Description
v.: digital
Local Notes
Access is available to the Yale community.
Access and use
Access restricted by licensing agreement.
Format
Online / Software & Electronic Media
Language
English
Added to Catalog
October 29, 2009
Series
Lecture Notes in Computer Science, 5511
Subjects
Also listed under
Bookmark As
Citation
