Sign in

Deciding security properties for cryptographic protocols. application to key cycles.

Hubert Comon-LundhVéronique CortierEugen Zalinescu
Published in: ACM Trans. Comput. Log. (2010)
Keyphrases
  • security properties
  • cryptographic protocols
  • security protocols
  • formal model
  • security requirements
  • standard model
  • authentication protocol
  • real time
  • knowledge based systems