TY  - BOOK
AU  - Degano,Pierpaolo
AU  - Vigano,Luca
ED  - Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
ED  - SpringerLink (Online service)
TI  - 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 
SN  - 9783642034596 (electronic bk.)
AV  - QA76.9.A25 J65 2009
U1  - 005.8 22
PY  - 2009///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer security
KW  - congresses
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Cryptography
KW  - Coding and Information Theory
KW  - Computer Communication Networks
KW  - Computer Science
KW  - Data Encryption
KW  - Data Structures, Cryptology and Information Theory
KW  - Algorithm Analysis and Problem Complexity
KW  - Computer Systems Organization and Communication Networks
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-03459-6
ER  -