Formal methods analysis of the secure remote password protocol

DOI10.1007/978-3-030-62077-6_9OpenAlexW3128884990MaRDI QIDQ2037994

Edward Zieglar, Cyrus J. Bonyadi, Erin Lanus, Moses Liskov, Ryan Wnuk-Fink, Enis Golaszewski, Richard Chang, Alan T. Sherman, Ian Blumenfeld, Mario Yaksetig

Publication date: 8 July 2021

Full work available at URL: https://arxiv.org/abs/2003.07421

zbMATH Keywords

cryptographyformal methodscryptographic protocolscybersecurityprotocol analysiscryptographic protocol shapes analyzer (CPSA)password authenticated key exchange (PAKE) protocolssecure remote protocol (SRP)UMBC protocol analysis lab (PAL)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Secure key management policies in strand spaces

This page was built for publication: Formal methods analysis of the secure remote password protocol