Protocol eXchange Meeting - January 2011

 

 

Protocol eXchange Meeting

National Cryptologic Museum

Magic Room

January 4, 2011

Organized by Ed Zieglar

 

08:30 - 08:45 Arrival and Welcome

 
08:45 - 09:35 Annotated Sequence Diagrams

Jon Millen (MITRE)

 
09:35 - 10:25 A Completeness Proof for the CPSA

Moses Liskov (MITRE)

 
10:25 - 10:35 Break

 
10:35 - 11:25 Bounded Memory Dolev-Yao Adversaries in Collaborative Systems

Andre Scedrov (University of Pennsylvania)

 
11:25 - 12:15 Security Goals and Protocol Transformations

Joshua D. Guttman (Worcester Polytechnic Institute)

 
12:15 - 13:40 Lunch

 
13:40 - 14:30 Secure Nested Transactions

Dominic Duggan (Stevens Institute of Technology)

 
14:30 - 15:20 Implementing Nondeterministic and Deterministic Choice in Maude-NPA

Cathy Meadows (NRL)

 
15:20 - 15:25 Break

 
15:25 - 15:55 Characterizing the Search Space of Cryptographic Protocol Analysis Tools

Carolyn Talcott (SRI)

 
15:55 - 16:00 Wrap-up