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

DOI10.1007/978-3-540-88733-1_20MaRDI QIDQ5505477zbMATH OpenOpenAlexFDO

Authors 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

browser-based protocolssecurity modeluniversal composability

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1927581
• Universally Composable Security Analysis of TLS
• Verification of the IBOS Browser Security Properties in Reachability Logic
• User-aware provably secure protocols for browser-based mutual authentication

Cites work

• Analyzing security protocols using time-bounded task-PIOAs
• scientific article; zbMATH DE number 1024060 (Why is no real title available?)
• scientific article; zbMATH DE number 2086716 (Why is no real title available?)
• Mitigating Dictionary Attacks on Password-Protected Local Storage
• On the security of public key protocols

Cited in

(9)

• A cryptographic analysis of the TLS 1.3 handshake protocol
• Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions
• Towards fine-grained access control on browser extensions
• JavaScript instrumentation for browser security
• Enforcing User-Aware Browser-Based Mutual Authentication with Strong Locked Same Origin Policy
• Formal methods for web security
• A universal composability framework for analysis of proxy threshold signature
• A Symbolic Model for Systematically Analyzing TEE-Based Protocols
• Learning DFA representations of HTTP for protecting web applications

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505477)