Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito. Verification of Authentication Protocols Based on the Binding Relation. In Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa, editors, Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers. Volume 2609 of Lecture Notes in Computer Science, pages 299-316, Springer, 2002. [doi]
@inproceedings{HagiyaTTS02,
title = {Verification of Authentication Protocols Based on the Binding Relation},
author = {Masami Hagiya and Ryo Takemura and Koichi Takahashi and Takamichi Saito},
year = {2002},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2609&spage=299},
tags = {rule-based, protocol},
researchr = {https://researchr.org/publication/HagiyaTTS02},
cites = {0},
citedby = {0},
pages = {299-316},
booktitle = {Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers},
editor = {Mitsuhiro Okada and Benjamin C. Pierce and Andre Scedrov and Hideyuki Tokuda and Akinori Yonezawa},
volume = {2609},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-00708-3},
}