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 /
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...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
Edición: | 1st ed. 2009. |
Colección: | Security and Cryptology ;
5511 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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?.