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 /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Degano, Pierpaolo (Editor), Viganò, Luca (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
• Series: Lecture Notes in Computer Science, 5511
• Subjects: Computer science.; Computer organization.; Computer communication systems.; Data structures (Computer science).; Data encryption (Computer science).; Coding theory.; Algorithms.; 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.

This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, held in York, UK, in March 2009, in association with ETAPS 2009. The 12 revised full papers pre...