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 /
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 / [electronic resource] :
edited by Pierpaolo Degano, Luca Vigano.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- x, 221 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5511 0302-9743 ; .
9783642034596 (electronic bk.) 9783642034589 (paper)
Computer security--congresses.
Formal methods (Computer science)--Congresses.
Cryptography--Congresses.
Coding and Information Theory.
Computer Communication Networks.
Computer Science.
Data Encryption.
Data Structures, Cryptology and Information Theory.
Algorithm Analysis and Problem Complexity.
Computer Systems Organization and Communication Networks.
QA76.9.A25 / J65 2009
005.8
9783642034596 (electronic bk.) 9783642034589 (paper)
Computer security--congresses.
Formal methods (Computer science)--Congresses.
Cryptography--Congresses.
Coding and Information Theory.
Computer Communication Networks.
Computer Science.
Data Encryption.
Data Structures, Cryptology and Information Theory.
Algorithm Analysis and Problem Complexity.
Computer Systems Organization and Communication Networks.
QA76.9.A25 / J65 2009
005.8