Cargando…

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Degano, Pierpaolo (Editor ), Viganò, Luca (Editor )
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?.