Modeling Human Errors in Security Protocols
A Hierarchy of Authentication Specifications