Login / Signup

Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version).

Linard ArquintFelix A. WolfJoseph LallemandRalf SasseChristoph SprengerSven N. WiesnerDavid A. BasinPeter Müller
Published in: CoRR (2022)
Keyphrases
  • security protocols
  • automated design
  • design process
  • case study
  • web services
  • digital libraries
  • lightweight
  • formal verification
  • metadata
  • data streams
  • sensor networks
  • model checking