B
[BP03] Bruno Blanchet and Andreas Podelski. Verification of Cryptographic Protocols: Tagging Enforces Temrination. In FoSSaCS'03, Lecture Notes in Computer Science 2620, pages 136-152. Springer-Verlag, April 2003. 
@inproceedings{fossacs2003-BP,
  author =              {Blanchet, Bruno and Podelski, Andreas},
  title =               {Verification of Cryptographic Protocols: Tagging
                         Enforces Temrination},
  editor =              {Gordon, Andrew D.},
  booktitle =           {{P}roceedings of the 6th {I}nternational
                         {C}onference on {F}oundations of {S}oftware
                         {S}cience and {C}omputation {S}tructure
                         ({FoSSaCS}'03)},
  acronym =             {{FoSSaCS}'03},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2620},
  pages =               {136-152},
  year =                {2003},
  month =               apr,
}
List of authors