A hierarchy of authentication specifications (1997)

by G Lowe
Venue:IEEE, Los Alamitos