Journal Article

Papanikolaou, Nikolaos K., Creese, Sadie and Goldsmith, M. (2012) Refinement checking for privacy policies. Science of Computer Programming, Volume 77 (Number 10-11). pp. 1198-1209. doi:10.1016/j.scico.2011.07.009 ISSN 0167-6423.

Agrafiotis, Ioannis, Creese, Sadie, Goldsmith, M. and Papanikolaou, Nick (2011) Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements. Privacy and Identity Management for Life, Vol. 352 . pp. 271-282. doi:10.1007/978-3-642-20769-3_22 ISSN 1868-4238.

Conference Item

Creese, Sadie and Goldsmith, M. (Michael) (2008) Requirements and concepts for information assurance and pervasive adaptation co-design. In: Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Venice, Italy, Oct 20-24, 2008. Published in: Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, Proceedings pp. 73-77. ISBN 978-1-4244-3468-8. doi:10.1109/SASOW.2008.68