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 |