The one-time pad revisited
Abstract cryptography