Deciding key cycles for security protocols

Deciding key cycles for security protocols. Véronique Cortier and Eugen Zalinescu. In 3rd Workshop on Formal and Computational Cryptography (FCC 2007), Venice, Italy, July 2007.

Download

(unavailable)

Abstract

(unavailable)

BibTeX

@InProceedings{CZ-FCC07,
  author = 	 {V\'eronique Cortier and Eugen Zalinescu},
  title = 	 {Deciding key cycles for security protocols},
  booktitle = {3rd Workshop on Formal and Computational Cryptography (FCC 2007)},
  year = 	 {2007},
  address = 	 {Venice, Italy},
  month = 	 {July},
}