CryptoDB
On a Limitation of BAN Logic
NOTE: imports for ToSC and TCHES are no longer functioning.
Authors: | |
---|---|
Download: |
|
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 }