A Calculus for Security Bootstrapping in Distributed Systems
A method for obtaining digital signatures and public-key cryptosystems