A Hierarchy of Authentication Specifications (1997)

by G Lowe
Venue:In: Proceedings of the 10th IEEE Computer Security Foundations Workshop (CSFW