BibTeX Entry

Back to list

@inproceedings{Aletta:Dimacs,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt and Nyl{\'e}n, Aletta},
  title		= {Modelling and Automated Verification of Authentication Protocols},
  booktitle	= {Proceedings of {D}imacs workshop on design and formal verification of security protocols},
  year		= {1997},
}