Protocol eXchange Meeting - February 2003
Protocol eXchange
University of Maryland Baltimore County
February 27-28, 2003
THURSDAY February 27, 2003
| 10:00 - 10:45 | Authentication tests [pdf] Joshua Guttman (MITRE) |
| 10:45 - 11:15 | Multiset Rewriting [pdf] Andre Scedrov (UPenn) |
| 11:15 - 11:30 | Break |
| 11:30 - 12:00 | Protocols, Probability, Non-Standard Analysis [see Linearization of bundles: pdf] Javier Thayer (MITRE) |
| 12:00 - 1:00 | Lunch |
| 1:00 - 1:45 | Concurrent Logical Framework [pdf] MSR 3.0 [pdf] Iliano Cervesato (ITT) |
| 1:45 - 2:30 | Fault Trees/Type Confusion [pdf] Cathy Meadows (NRL) |
| 2:30 - 2:45 | Break |
| 2:45 - 3:15 | BGP [pdf] Aaron Jaggard (UPenn) |
| 3:15 - 3:45 | Contract Signing [pdf] Rohit Chadha (UPenn) |
FRIDAY February 28, 2003
Canceled for snow
Presentations collected by Sven Dietrich