Verified Cryptographic Protocol Analysis: Vision and Status
Name | Value |
|---|---|
| Author | Carolyn Talcott |
| Creation Date | Wed Apr 19 08:30:08 2006 |
| Creator | Keynote |
| Encrypted | no |
| File size | 182784 bytes |
| MIME type | application/pdf |
| Modify Date | Wed Apr 19 08:30:08 2006 |
| Optimized | no |
| Page size | 792 x 612 pts (letter) |
| Pages | 28 |
| PDF version | 1.3 |
| Producer | Mac OS X 10.4.6 Quartz PDFContext |
| Size | 178.5 KB |
| Tagged | no |
| Title | maude-pvs.key |