Verified Cryptographic Protocol Analysis: Vision and Status
Presented as part of the 2006 HCSS conference.
License:
Creative Commons 2.5 - PDF document
- 178.5 KB
- 113 downloads
- Download
- Printer-friendly version