Protocol eXchange Meeting - January 2010

Protocol eXchange Seminar

Naval Postgraduate School

January 27, 2010

Organized by Ed Zieglar

Local Arrangements by George Dinolt

 

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