/protocols

Formally verified models of the following protocols:

  • OpenID Connect
  • NSPK
  • SM
  • TMN