Protocol eXchange Meeting - October 2003
Protocol eXchange
University of Maryland Baltimore County
RM 325B Information Technology/Engineering (UMBC Blg 19)
October 1-2, 2003
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