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