Analysis of Security Protocols (1999)

by Nancy A. Durgin , John C. Mitchell
Venue:IN CALCULATIONAL SYSTEM DESIGN, SERIES F: COMPUTER AND SYSTEMS SCIENCES