A Calculus for Security Bootstrapping in Distributed Systems
A logic of authentication