Image from Amazon.com
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 Vigano.
Series: Lecture notes in computer science ; 5511Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Description: x, 221 p. : ill., digital ; 24 cmISBN:- 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
- 005.8 22
- QA76.9.A25 J65 2009
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.