Login / Signup

Using SPIN to Verify Security Properties of Cryptographic Protocols.

Paolo MaggiRiccardo Sisto
Published in: SPIN (2002)
Keyphrases
  • security properties
  • cryptographic protocols
  • security protocols
  • standard model
  • authentication protocol
  • artificial intelligence
  • lightweight
  • formal model
  • temporal constraints