@inproceedings{Simpson_et_al_1998b,
  title = "Security management via {Z} and {CSP}",
  author = "A. C. Simpson and J. W. Davies and J. C. P. Woodcock",
  year = "1998",
  booktitle = "Proceedings of Formal Methods Pacific '98, Canberra, Australia, 29 September -- 2 October, 1998",
  pages = "334--351",
  publisher = "Springer Series in Discrete Mathematics and Theoretical Computer Science",
}