by Adrian Perrig, and Dawn Song
Reference:
Looking for Diamonds in the Desert — Extending Automatic Protocol Generation to Three-Party Authentication and Key Agreement Protocols. Adrian Perrig, and Dawn Song. In Proceedings of the Computer Security Foundations Workshop (CSFW) 2000.
Bibtex Entry:
@InProceedings{PeSo2000b,
author = {Adrian Perrig and Dawn Song},
title = {Looking for Diamonds in the Desert --- Extending Automatic Protocol Generation to Three-Party Authentication and Key Agreement Protocols},
url = {/publications/papers/csfw.pdf},
booktitle = {Proceedings of the Computer Security Foundations Workshop (CSFW)},
year = 2000,
month = jul
}