Verification of cryptographic protocols: tagging enforces termination

Bruno Blanchet, Andreas Podelski. Verification of cryptographic protocols: tagging enforces termination. Theoretical Computer Science, 333(1-2):67-90, 2005. [doi]

Abstract

Abstract is missing.