Armando, Alessandro. <br/><br/>
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security  Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers / 
edited by Alessandro Armando, Gavin Lowe. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783642160745 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Computer Communication Networks.; Software engineering.; Data encryption (Computer science).; Computer software.; Computer Science.; Data Encryption.; Computer Communication Networks.; Computers and Society.; Algorithm Analysis and Problem Complexity.; Software Engineering.; Programming Languages, Compilers, Interpreters.