@inproceedings{conf/spw/BellaLP03,
  added-at = {2005-11-15T00:00:00.000+0100},
  author = {Bella, Giampaolo and Longo, Cristiano and Paulson, Lawrence C.},
  biburl = {http://www.bibsonomy.org/bibtex/26548b03eb2b25b95c23d4527e8027535/dblp},
  booktitle = {Security Protocols Workshop},
  crossref = {conf/spw/2003},
  date = {2005-11-15},
  description = {dblp},
  editor = {Christianson, Bruce and Crispo, Bruno and Malcolm, James A. and Roe, Michael},
  ee = {http://dx.doi.org/10.1007/11542322_23},
  interhash = {21d7c368b024fa2e366cf037318a1471},
  intrahash = {6548b03eb2b25b95c23d4527e8027535},
  isbn = {3-540-28389-7},
  keywords = {dblp},
  pages = {183-189},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2005-11-15T00:00:00.000+0100},
  title = {Is the Verification Problem for Cryptographic Protocols Solved?.},
  url = {http://dblp.uni-trier.de/db/conf/spw/spw2003.html#BellaLP03},
  volume = 3364,
  year = 2003
}