Verification of Cryptographic Protocols: Tagging Enforces Termination

Blanchet, Bruno; Podelski, Andreas

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}
}