Protocol eXchange Meeting - October 2003

Protocol eXchange

University of Maryland Baltimore County

RM 325B Information Technology/Engineering (UMBC Blg 19)

October 1-2, 2003

Organized by Sylvan Pinsky and Ed Zieglar

 

WEDNESDAY October 1, 2003

09:30 - 10:15 Progress Report: Authentication Tests in Maude [pdf]

Stephen Mancini (Air Force Institute of Technology)
10:15 - 11:00 Application of Maude: Groups Communication and Security [pdf]

Mark-Oliver Stehr (Urbana-Champaign) and Carolyn Talcott (SRI)

 
11:00 - 11:15 Break

 
11:15 - 12:00 Open Discussion: Formalizing Strand Spaces and PVS/Maude Interface Issues

Ed Zieglar (NSA)

 
12:00 - 13:30 Lunch

 
13:30 - 14:15 Fault Tree Representation of Security Requirements [pdf]

Iliano Cervesato (ITT)
14:15 - 15:00 Trust Management with Freshness [pdf]

Joshua Guttman (MITRE)

 
15:00 - 15:15 Break

 
15:15 - 16:00 Progress Report [pdf]

Dusko Pavlovic (Kestrel)
16:00 - 16:45 Universal Re-encryption [pdf]

Paul Syverson (NRL)

 

FRIDAY February 28, 2003

09:30 - 10:15 Type-Based Distributed Access Control [pdf]

Dominic Duggan (Stevens)
10:15 - 11:00 Analysis of Multi-Party Contract Signing [pdf]

Andre Scedrov (UPenn)

 
11:00 - 11:15 Break

 
11:15 - 12:00 Cryptographic Protocol Models and Free Algebras [pdf]

Chris Lynch (Clarkson)
12:00 - 12:20 Towards a Hierarchy of Cryptographic Protocol Models [pdf]

Cathy Meadows (NRL)

 
12:20 - 12:30 Wrap-up

 
12:30 - 14:00 Lunch

 


Presentations collected by Iliano Cervesato