by Bruno Blanchet, Andreas Podelski
Reference:
Verification of Cryptographic Protocols: Tagging Enforces Termination (Bruno Blanchet, Andreas Podelski), In Theoretical Computer Science, volume 333, 2005. (Special issue FoSSaCS'03.)
Bibtex Entry:
@Article{BlanchetPodelskiTCS04,
author = {Bruno Blanchet and Andreas Podelski},
title = {Verification of Cryptographic Protocols: Tagging Enforces Termination},
journal = {Theoretical Computer Science},
year = {2005},
volume = {333},
number = {1-2},
pages = {67--90},
month = mar,
note = {Special issue FoSSaCS'03.},
url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetPodelskiTCS04.html}
}