Our Publications

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 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 Symposium on Network and Distributed System Security (NDSS)},
    year =         2000,
    pages =        {73-84},
    month =        {February}
}