Tom Coffey, Reiner Dojen, Tomas Flanagan. On Different Approaches to Establish the Security of Cryptographic Protocols. In Hamid R. Arabnia, Youngsong Mun, editors, Proceedings of the International Conference on Security and Management, SAM 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 2. pages 637-643, CSREA Press, 2003.
@inproceedings{CoffeyDF03,
title = {On Different Approaches to Establish the Security of Cryptographic Protocols},
author = {Tom Coffey and Reiner Dojen and Tomas Flanagan},
year = {2003},
tags = {protocol, security, systematic-approach},
researchr = {https://researchr.org/publication/CoffeyDF03},
cites = {0},
citedby = {0},
pages = {637-643},
booktitle = {Proceedings of the International Conference on Security and Management, SAM 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 2},
editor = {Hamid R. Arabnia and Youngsong Mun},
publisher = {CSREA Press},
isbn = {1-932415-17-3},
}