Protocol eXchange Meeting - January 2008
Protocol eXchange Seminar
Naval Postgraduate School
January 23-24, 2008
Wednesday January 23, 2008
| 09:00 - 12:00 | Toolip Meeting Toolip is an effort to develop a language to communicate information between various protocol analysis and verification tools. |
| 12:00 - 13:30 | Lunch |
| 13:30 - 14:45 | Toolip Meeting |
| 14:45 - 15:00 | Break |
| 15:00 - 17:00 | Maude-NPA Tutorial [pdf] Cathy Meadows (NRL) |
| 17:30 - ??:?? | Dinner |
Thursday January 24, 2008
| 09:00 - 09:55 | Cryptographic Protocol Design via the Authentication Tests [pdf] Joshua Guttman (MITRE) |
| 09:55 - 10:50 | CPSA 1.0: A New Cryptographic Protocol Shapes Analyzer Implementation John Ramsdell (MITRE) |
| 10:50 - 11:05 | Break |
| 11:05 - 12:00 | Evaluating the Vulnerability of Network Traffic Using Joint Security and Routing Analysis [pdf] Patrick Tague (University of Washington) |
| 12:00 - 1:30 | Lunch |
| 13:30 - 14:25 | Extended BAN Analysis [pdf] Mark Vanfleet (NSA) |
| 14:25 - 14:45 | Wrap-up |
Presentations collected by George Dinolt