Secrecy for Security Protocols.

Published in Volume XVI, 2006, pages 5-38

Authors: Cătălin Bîrjoveanu

Abstract

Security protocols are prescribed sequences of interactions between entities designed to provide various security services across distributed systems. Security protocols are often wrong due to the extremely subtle properties they are supposed to ensure.

Bibtex

@article{sacscuza:birjoveanu2006sfsp,
  title={Secrecy for Security Protocols.},
  author={C{u a}t{u a}lin B{^i}rjoveanu},
  journal={Scientific Annals of Computer Science},
  volume={16},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={2006},
  pages={5--38},
  publisher={``A.I. Cuza'' University Press}
}