A First Step Towards the Automatic Generation of Security Protocols

Author(s): A. Perrig , Dawn Song

Download: Paper (PDF)

Date: 3 Feb 2000

Document Type: Reports

Additional Documents: Slides

Associated Event: NDSS Symposium 2000