Modular approach to the design and analysis of password-based security protocols

DOI10.1007/S11432-007-0034-5MaRDI QIDQ2385411zbMATH OpenOpenAlexWikidataFDO

Authors Dengguo Feng, Weidong Chen

Publication date 12 October 2007

Published in Science in China. Series F (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11432-007-0034-5

zbMATH Keywords

provable securitystandard modelsecurity protocolsrandom oracle model (ROM)weak computational indistinguishability

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Network protocols (68M12)

Recommendations

• Automata, Languages and Programming
• Composition of password-based protocols
• scientific article; zbMATH DE number 2009978
• Password authenticated key exchange and protected password change protocols
• scientific article; zbMATH DE number 1775427

Cites work

• scientific article; zbMATH DE number 1808213 (Why is no real title available?)
• scientific article; zbMATH DE number 5009198 (Why is no real title available?)
• scientific article; zbMATH DE number 1775427 (Why is no real title available?)
• scientific article; zbMATH DE number 1842504 (Why is no real title available?)
• scientific article; zbMATH DE number 2242698 (Why is no real title available?)
• Foundations of Cryptography

Cited in

(2)

• Formal methods analysis of the secure remote password protocol
• Composition of password-based protocols

This page was built for publication: Modular approach to the design and analysis of password-based security protocols

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