Protocol eXchange Seminar
Naval Postgraduate School, Monterey, CA
February 1-2, 2005
Download poster [ jpg | pdf ]
Protocol eXchange SeminarNaval Postgraduate School, Monterey, CA
|
Download poster [ jpg | pdf ] |
| 10:00 - 10:15 | Welcome remarks
Sylvan Pinsky (NSA), George Dinolt (NPS) |
| 10:15 - 11:15 | Specifying Kerberos 5 Cross-Realm Authentication
[ppt]
Iliano Cervesato (Tulane) |
| 11:15 - 11:30 | Break
|
| 11:30 - 12:30 | Analyzing SPKI
[ppt]
Alex Vidergar (USAD) |
| 12:30 - 2:00 | Lunch
|
| 2:00 - 3:00 | The Protocol Derivation Assistant
[ppt]
Dusko Pavlovic, Matthias Anlauff (Kestrel) |
| 3:00 - 3:15 | Break
|
| 3:15 - 4:15 | Automating Protcol Analysis in Strand Spaces
[ps]
Shaddin Doghmi (MITRE) |
| 4:15 - 4:30 | Welcome remarks
|
| 5:30 - ... | Social dinner
[photos]
|
| 01:00 - 11:00 | The Sizes of Skeletons: Security Goals are Decidable
[advi,
pdf]
Joshua Guttman (MITRE) |
| 11:00 - 12:00 | Key Cycles and Formal Encryption
[pdf]
Jonathan Herzog (MITRE), Pedro Adao (Lisbon) |
| 12:00 - 1:00 | Lunch
|
| 1:00 - 2:00 | Wireless Security
[ppt]
Radha Poovendran (U. Washington, Seattle) |
| 2:00 - 2:15 | Concluding Remarks
Sylvan Pinsky (NSA) |
