@MISC{CCITT_X.509,
  AUTHOR = {CCITT},
  TITLE = {The directory authentification Framework},
  HOWPUBLISHED = {Draft Recommendation X.509},
  YEAR = 1987,
  NOTE = {Version 7}
}

@ARTICLE{abadi96prudent,
  AUTHOR = {Mart{\'\i}n Abadi and Roger Needham},
  TITLE = {Prudent Engineering Practice for Cryptographic Protocols},
  JOURNAL = {IEEE Transactions on Software Engineering},
  VOLUME = {22},
  NUMBER = {1},
  MONTH = {January},
  PAGES = {6--15},
  YEAR = {1996},
  URL = {citeseer.nj.nec.com/abadi96prudent.html}
}