Rob Delicata, Steve A. Schneider. A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols. In Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider, editors, Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers. Volume 3866 of Lecture Notes in Computer Science, pages 34-46, Springer, 2005. [doi]
@inproceedings{DelicataS05,
title = {A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols},
author = {Rob Delicata and Steve A. Schneider},
year = {2005},
doi = {10.1007/11679219_4},
url = {http://dx.doi.org/10.1007/11679219_4},
tags = {protocol, systematic-approach},
researchr = {https://researchr.org/publication/DelicataS05},
cites = {0},
citedby = {0},
pages = {34-46},
booktitle = {Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers},
editor = {Theodosis Dimitrakos and Fabio Martinelli and Peter Y. A. Ryan and Steve A. Schneider},
volume = {3866},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-32628-6},
}