@inproceedings{phbaer2005-secproto,
  added-at = {2008-07-20T17:57:51.000+0200},
  author = {Baer, Philipp A.},
  biburl = {http://www.bibsonomy.org/bibtex/27856d581ba6d9a686eaa4c7e6d83f519/phbaer},
  booktitle = {3. Krypto-Tag -- Workshop über Kryptographie},
  interhash = {789b942b24ebdb2163827d82e503f60f},
  intrahash = {7856d581ba6d9a686eaa4c7e6d83f519},
  keywords = {design phbaer-pub protocol secure year:2005},
  month = {September},
  number = 05,
  pages = 10,
  publisher = {Technische Universität Darmstadt},
  timestamp = {2008-07-20T17:57:51.000+0200},
  title = {Designing Secure Protocol Implementations},
  url = {http://www.cdc.informatik.tu-darmstadt.de/veranstaltungen/kryptotag/submission08.pdf},
  volume = {TR TI-1},
  year = 2005
}