A hierarchy of authentication specifications (1997)

by Gavin Lowe
Venue:In Proceedings of the 10th IEEE Computer Security Foundations Workshop