International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

On a Limitation of BAN Logic

Authors:
Colin Boyd
Wenbo Mao
Download:
DOI: 10.1007/3-540-48285-7_20 (login may be required)
Search ePrint
Search Google
Conference: EUROCRYPT 1993
BibTeX
@inproceedings{eurocrypt-1993-1938,
  title={On a Limitation of BAN Logic},
  booktitle={Advances in Cryptology - EUROCRYPT '93, Workshop on the Theory and Application of of Cryptographic Techniques, Lofthus, Norway, May 23-27, 1993, Proceedings},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={765},
  pages={240-247},
  doi={10.1007/3-540-48285-7_20},
  author={Colin Boyd and Wenbo Mao},
  year=1993
}