C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Methods Analysis of the Secure Remote Password Protocol.
Alan T. Sherman
Erin Lanus
Moses Liskov
Edward Zieglar
Richard Chang
Enis Golaszewski
Ryan Wnuk-Fink
Cyrus J. Bonyadi
Mario Yaksetig
Ian Blumenfeld
Published in:
CoRR (2020)
Keyphrases
</>
formal methods
formal analysis
safety critical
model checking
authentication protocol
tcp ip