Formal Analysis of Cryptographic Protocols Posted by Graeme on 13 February 2007, 7:39 pm Link to E2 write up on the “double lock” encryption algorithm.