This is an unofficial reimagining of the Archive of Formal Proofs
Developing Security Protocols by Refinementby Christoph Sprenger and Ivano Somaini