A Universally Composable Framework for the Analysis of Browser-Based Security Protocols

DOI10.1007/978-3-540-88733-1_20zbMath1204.68025OpenAlexW1507808573MaRDI QIDQ5505477

Sebastian Gajek

Publication date: 27 January 2009

Published in: Provable Security (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88733-1_20

zbMATH Keywords

security modeluniversal composabilitybrowser-based protocols

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Internet topics (68M11)

Related Items (1)

A cryptographic analysis of the TLS 1.3 handshake protocol

Cites Work

• Unnamed Item
• Unnamed Item
• Analyzing security protocols using time-bounded task-PIOAs
• On the security of public key protocols
• Mitigating Dictionary Attacks on Password-Protected Local Storage

This page was built for publication: A Universally Composable Framework for the Analysis of Browser-Based Security Protocols