Modeling Human Errors in Security Protocols
A Calculus for Security Bootstrapping in Distributed Systems