Degano, Pierpaolo. <br/><br/>
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 / 
edited by Pierpaolo Degano, Luca Vigaṇ. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783642034596 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Computer network architectures.; Computer Communication Networks.; Data structures (Computer science).; Data encryption (Computer science).; Coding theory.; Computer software.; Computer Science.; Data Encryption.; Data Structures, Cryptology and Information Theory.; Coding and Information Theory.; Computer Communication Networks.; Algorithm Analysis and Problem Complexity.; Computer Systems Organization and Communication Networks.