by Adrian Perrig, and Dawn Song
Reference:
A First Step towards the Automatic Generation of Security Protocols. Adrian Perrig, and Dawn Song. In Proceedings of the Symposium on Network and Distributed System Security (NDSS) 2000.
Bibtex Entry:
@InProceedings{PeSo2000,
author = {Adrian Perrig and Dawn Song},
title = {A First Step towards the Automatic Generation of Security Protocols},
url = {/publications/papers/protgen.pdf},
booktitle = {Proceedings of the Symposium on Network and Distributed System Security (NDSS)},
year = 2000,
pages = {73-84},
month = {February}
}