Protocol eXchange Meeting - January 2010
Protocol eXchange Seminar
Naval Postgraduate School
January 27, 2010
| 09:00 - 09:55 | CPSA Status John Ramsdell (MITRE) |
| 09:55 - 10:50 | Progress Report on the Maude-NPA Cathy Meadows (Naval Research Laboratory) |
| 10:50 - 11:00 | Break |
| 11:05 - 12:00 | Quantifying Authentication: The Case of the Hancke-Kuhn Protocol Cathy Meadows (Naval Research Laboratory) |
| 12:00 - 13:30 | Lunch |
| 13:30 - 14:25 | Attestation Protocols Paul Rowe (MITRE) |
| 14:25 - 15:20 | A Metric for Quantifying Key Exposure Vulnerability in Wireless Sensor Networks Andrew Clark (University of Washington) |
| 15:20 - 15:35 | Break |
| 15:35 - 17:25 | Toolip Meeting |
| 18:00 - ??:?? | Dinner |