Protocol eXchange Meeting - September 2006

Protocol eXchange

National Cryptologic Museum

Magic Room

September 28, 2006

Organized by Sylvan Pinsky and Ed Zieglar

 

10:00 - 10:50 The Completeness of the Authentication Tests [pdf]

Joshua Guttman (MITRE)

 
10:50 - 11:40 Authentication Logic Analysis of Distance Bounding Protocols [pdf]

Cathy Meadows (NRL)

 
11:40 - 13:20 Lunch

 
13:20 - 14:10 Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos [pdf]

Joe-Kai Tsay (University of Pennsylvania)

 
14:10 - 15:00 A status report on the Maude-NPA tool [pdf]

Cathy Meadows (NRL)
15:00 - 15:05 Break

 
15:05 - 15:55 A status report on Maude-PVS Strand Spaces [pdf]

Carolyn Talcott (SRI)

 
Presentations collected by George Dinolt