Aldini, Alessandro. <br/><br/>
Foundations of Security Analysis and Design VI  FOSAD Tutorial Lectures / 
edited by Alessandro Aldini, Roberto Gorrieri. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783642230820 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Computer Communication Networks.; Data protection.; Data encryption (Computer science).; Logic design.; Information Systems.; Computer Science.; Systems and Data Security.; Data Encryption.; Computer Communication Networks.; Management of Computing and Information Systems.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.