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