Login / Signup

Formal Methods Analysis of the Secure Remote Password Protocol.

Alan T. ShermanErin LanusMoses LiskovEdward ZieglarRichard ChangEnis GolaszewskiRyan Wnuk-FinkCyrus J. BonyadiMario YaksetigIan Blumenfeld
Published in: Logic, Language, and Security (2020)
Keyphrases
  • formal methods
  • formal analysis
  • database
  • case study
  • software engineering
  • databases
  • web services
  • formal specification
  • user authentication
  • cryptographic protocols