James Heather, Steve Schneider. Towards Automatic Verification of Authentication Protocols on an Unbounded Network. In CSFW. pages 132-143, 2000. [doi]
@inproceedings{HeatherS00,
title = {Towards Automatic Verification of Authentication Protocols on an Unbounded Network},
author = {James Heather and Steve Schneider},
year = {2000},
url = {http://www.computer.org/proceedings/csfw/0671/06710132abs.htm},
tags = {protocol},
researchr = {https://researchr.org/publication/HeatherS00},
cites = {0},
citedby = {0},
pages = {132-143},
booktitle = {CSFW},
}