Jay A. McCarthy, Shriram Krishnamurthi: Minimal backups of cryptographic protocol runs. FMSE 2008: 11-20