@ARTICLE{DiffieHelman76,
  AUTHOR = {W. Diffie and M. Helman},
  TITLE = {New Directions in Cryptography},
  JOURNAL = {IEEE Transactions on Information Society},
  YEAR = 1976,
  VOLUME = 22,
  NUMBER = 6,
  PAGES = {644--654},
  MONTH = {november}
}

@INPROCEEDINGS{blanchet01,
  AUTHOR = {Bruno Blanchet},
  TITLE = {An Efficient Cryptographic Protocol Verifier Based on Prolog Rules},
  BOOKTITLE = {14th IEEE Computer Security Foundations Workshop (CSFW-14)},
  YEAR = 2001,
  EDITOR = {IEEE},
  MONTH = {june}
}