Formal methods analysis of the secure remote password protocol (Q2037994)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal methods analysis of the secure remote password protocol |
scientific article; zbMATH DE number 7370023
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal methods analysis of the secure remote password protocol |
scientific article; zbMATH DE number 7370023 |
Statements
Formal methods analysis of the secure remote password protocol (English)
0 references
8 July 2021
0 references
cryptographic protocols
0 references
cryptography
0 references
cryptographic protocol shapes analyzer (CPSA)
0 references
cybersecurity
0 references
formal methods
0 references
password authenticated key exchange (PAKE) protocols
0 references
protocol analysis
0 references
secure remote protocol (SRP)
0 references
UMBC protocol analysis lab (PAL)
0 references
0 references
0.88863873
0 references
0.8853619
0 references
0.8815822
0 references
