A Hierarchy of Authentication Specifications (1997)

by Gavin Lowe
Citations:188 - 4 self