Blanchet, Bruno Static Analysis, MPI for Informatics, Max Planck Society;
Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Blanchet, B., & Podelski, A. (2005). Verification of Cryptographic Protocols: Tagging Enforces Termination. Theoretical Computer Science, 333(1-2), 67-90. Retrieved from http://dx.doi.org/10.1016/j.tcs.2004.10.018.