Found 5 results
Filters: Author is Cervesato, Iliano  [Clear All Filters]
2001
Meadows, C., P. Syverson, and I. Cervesato, "Formalizing GDOI Group Key Management Requirements in NPATRL", 8th ACM Computer and Communications Security Conference - CCS'01: ACM Press, pp. 235-244, 2001.
Syverson, P., and I. Cervesato, "The Logic of Authentication Protocols", Foundations of Security Analysis and Design --- FOSAD'00, vol. Springer-Verlag LNCS 2171, pp. 63-136, 2001.
2000
Syverson, P., C. Meadows, and I. Cervesato, "Dolev-Yao is no better than Machiavelli", First Workshop on Issues in the Theory of Security - WITS'00, Geneva, Switzerland, pp. 87-92, 2000.