Our Publications

by Adrian Perrig, Dawn Song
Reference:
A First Step towards the Automatic Generation of Security Protocols  [bibtex]Adrian Perrig, 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 = {http://www.netsec.ethz.ch/publications/papers/protgen.pdf},
  booktitle = 	 {Proceedings of Symposium on Network and Distributed System Security (NDSS)},
  year =		 2000,
  pages =        {73-84},
  month =		 {February}
}