| 9:30 - 10:15 | Progress Report: Authentication Tests in Maude
[pdf,
ppt]
Stephen Mancini (Air Force Institute of Technology) |
| 10:15 - 11:00 | Application of Maude: Groups Communication and Security
[ps]
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
|
| 12:00 - 1:30 | Lunch
|
| 1:30 - 2:15 | Fault Tree Representation of Security Requirements
[ppt]
Iliano Cervesato (ITT) |
| 2:15 - 3:00 | Trust Management with Freshness
[advi,
pdf,
ps]
Joshua Guttman (MITRE) |
| 3:00 - 3:15 | Break
|
| 3:15 - 4:00 | Progress Report
[pdf]
Dusko Pavlovic (Kestrel) |
| 4:00 - 4:45 | Universal Re-encryption
[ppt]
Paul Syverson (NRL) |
| 9:30 - 10:15 | Type-Based Distributed Access Control
[ppt]
Dominic Duggan (Stevens) |
| 10:15 - 11:00 | Analysis of Multi-Party Contract Signing
[pdf,
ppt]
Andre Scedrov (UPenn) |
| 11:00 - 11:15 | Break
|
| 11:15 - 12:00 | Cryptographic Protocol Models and Free Algebras
[ppt]
Chris Lynch (Clarkson) |
| 12:00 - 12:20 | Towards a Hierarchy of Cryptographic Protocol Models
[ppt]
Cathy Meadows (NRL) |
| 12:20 - 12:30 | Wrap-up
|
| 12:30 - 2:00 | Lunch |