Verification of cryptographic protocols: Tagging enforces termination (2003)

by B Blanchet, A Podelski
Venue:In Proceedings of Foundations of Software Science and Computation Structures