Developing Security Protocols by Refinement. - Christoph Sprenger 001; Ivano Somaini (Arch. Formal Proofs, 2017)