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...

Table of Contents:

• A Policy Model for Secure Information Flow
• A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
• Validating Security Protocols under the General Attacker
• Usage Automata
• Static Detection of Logic Flaws in Service-Oriented Applications
• Improving the Semantics of Imperfect Security
• Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data
• Transformations between Cryptographic Protocols
• Formal Validation of OFEPSP+ with AVISPA
• On the Automated Correction of Protocols with Improper Message Encoding
• Finite Models in FOL-Based Crypto-Protocol Verification
• Towards a Type System for Security APIs
• Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption
• How Many Election Officials Does It Take to Change an Election?.