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

@book{2002-sha,
  added-at = {2008-07-16T00:36:17.000+0200},
  address = {Washington},
  author = {?},
  biburl = {http://www.bibsonomy.org/bibtex/26d5947c0cdb64808d6412274da5c259b/phbaer},
  booktitle = {{Secure Hash Standard}},
  interhash = {cb9105a35cb6cc6b4d45c1e1522d970d},
  intrahash = {6d5947c0cdb64808d6412274da5c259b},
  keywords = {hash secure sha shs standard},
  note = {Federal Information Processing Standard 180-2},
  publisher = {National Institute of Standards and Technology},
  timestamp = {2008-07-16T00:36:17.000+0200},
  title = {{Secure Hash Standard}},
  url = {http://csrc.nist.gov/publications/fips/},
  year = 2002
}