@inproceedings{conf/tphol/BellaLP03,
  added-at = {2011-07-05T00:00:00.000+0200},
  author = {Bella, Giampaolo and Longo, Cristiano and Paulson, Lawrence C.},
  biburl = {http://www.bibsonomy.org/bibtex/2790e4a2efa101126beec902881ccb614/dblp},
  booktitle = {TPHOLs},
  crossref = {conf/tphol/2003},
  editor = {Basin, David A. and Wolff, Burkhart},
  ee = {http://dx.doi.org/10.1007/10930755_23},
  interhash = {55995aa19ea153d1a3bda71167f4f6bb},
  intrahash = {790e4a2efa101126beec902881ccb614},
  isbn = {3-540-40664-6},
  keywords = {dblp},
  pages = {352-366},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2011-07-05T00:00:00.000+0200},
  title = {Verifying Second-Level Security Protocols.},
  url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2003.html#BellaLP03},
  volume = 2758,
  year = 2003
}