An Interface Specification Language for Automatically Analyzing Cryptographic Protocols

Author(s): S. H. Brackin

Download: Paper (PDF)

Date: 10 Feb 1997

Document Type: Presentations

Associated Event: NDSS Symposium 1997