Login / Signup

Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols.

Marco BozzanoGiorgio Delzanno
Published in: J. Symb. Comput. (2004)
Keyphrases
  • linear logic
  • cryptographic protocols
  • security properties
  • desirable properties
  • similarity measure
  • standard model
  • logic programming
  • logical framework
  • security protocols
  • distributed systems
  • fixed point
  • high level