@inproceedings{PavlovicD:ISTPS08,
  author = "Dusko Pavlovic and Catherine Meadows",
  booktitle = "Proceedings of ISTPS 2008",
  editor = "John McLean",
  note = "15 pp, to appear",
  publisher = "ACM",
  title = "Deriving authentication for pervasive security",
  year = "2008",
}