The one-time pad revisited
A Calculus for Security Bootstrapping in Distributed Systems