Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers

Front Cover
Sebastian Moedersheim, Catuscia Palamidessi
Springer Science & Business Media, Jan 9, 2012 - Computers - 225 pages
This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Theory of Security and Applications (formely known as ARSPA-WITS), TOSCA 2011, held in Saarbrücken, Germany, in March/April 2011, in association with ETAPS 2011.
The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 24 submissions. The papers feature topics including various methods in computer security, including the formal specification, analysis and design of security protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, and the modeling of information flow and its application.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Union and Intersection Types for Secure Protocol Implementations
1
Secure Composition of Protocols
29
Constructive Cryptography A New Paradigm for Security Definitions and Proofs
33
Cryptographic Protocols from GoalDriven Specifications
57
Modeling LongTerm Signature Validation for Resolution of Dispute
78
Formal Analysis of Privacy for Anonymous Location Based Services
98
Formal Analysis of the EMV Protocol Suite
113
Security Goals and Protocol Transformations
130
ModelChecking Secure Information Flow for Multithreaded Programs
148
Multiple Congruence Relations FirstOrder Theories on Terms and the Frames of the Applied PiCalculus
166
Automated Code Injection Prevention for Web Applications
186
Soundness of Removing Cancellation Identities in Protocol Analysis under ExclusiveOR
205
Author Index
225
Copyright

Other editions - View all

Common terms and phrases