Formal Methods for the Analysis of Authentication Protocols

CITI Technical Report 93-7

A. D. Rubin

P. Honeyman

Center for Information Technology Integration

Dept. of Electrical Engineering and Computer Science

University of Michigan

Ann Arbor, MI 48103-4943

November 8, 1993