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}
}