@inproceedings{conf/csfw/Lowe97a,
  title = "A Hierarchy of Authentication Specification",
  author = "Gavin Lowe",
  year = "1997",
  booktitle = "10th Computer Security Foundations Workshop (CSFW '97), June 10-12, 1997, Rockport, Massachusetts, USA",
  pages = "31-44",
  publisher = "IEEE Computer Society",
  url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Security/Papers/authentication.ps",
}