Foundations and Applications of Security Analysis
Degano, Pierpaolo.
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 Viganò. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642034596
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.
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 Viganò. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642034596
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.