@INPROCEEDINGS{Lowe96,
  AUTHOR = {Gavin Lowe},
  TITLE = {Some New Attacks upon Security Protocols},
  BOOKTITLE = {In Proceedings of the Computer Security Foundations Workshop VIII},
  YEAR = 1996,
  EDITOR = {IEEE Computer Society Press}
}