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 ; .
<br/><br/><label>ISBN: </label>9783642034596 (electronic bk.) 9783642034589 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer security--congresses.<br/>Formal methods (Computer science)--Congresses.<br/>Cryptography--Congresses.<br/>Coding and Information Theory.<br/>Computer Communication Networks.<br/>Computer Science.<br/>Data Encryption.<br/>Data Structures, Cryptology and Information Theory.<br/>Algorithm Analysis and Problem Complexity.<br/>Computer Systems Organization and Communication Networks.
<br/><br/><label>LC Class. No.: </label>QA76.9.A25  / J65 2009 
<br/><br/><label>Dewey Class. No.: </label>005.8