Transforming password protocols to compose

DOI10.4230/LIPICS.FSTTCS.2011.204MaRDI QIDQ2911625zbMATH OpenFDO

Authors Céline Chevalier, Stéphanie Delaune, Steve Kremer

Publication date 31 August 2012

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2011.204

zbMATH Keywords

compositionsecuritycryptographic protocols

Mathematics Subject Classification ID

Cryptography (94A60) Network protocols (68M12)

Recommendations

• Composition of password-based protocols
• Universally Composable Password-Based Key Exchange
• Secure composition of protocols
• Universally composable relaxed password authenticated key exchange
• Safely Composing Security Protocols
• Safely composing security protocols
• Secure protocol composition
• Secure protocol transformations

Cited in

(2)

• Modular verification of protocol equivalence in the presence of randomness
• Composition of password-based protocols

This page was built for publication: Transforming password protocols to compose

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