A Formal Definition of Protocol Indistinguishability and its Verification Using Maude-NPA
License:
Creative Commons 2.5 
PDF document- 308.92 KB
- 12 downloads
- Download
- PDF version
- Printer-friendly version