Jay A. McCarthy, Shriram Krishnamurthi. Minimal backups of cryptographic protocol runs. In Vitaly Shmatikov, editor, Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008. pages 11-20, ACM, 2008. [doi]
Abstract is missing.