Number of items: 3.
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.
Papanikolaou, Nikolaos K.
(2004)
Techniques for design and validation of quantum protocols.
MSc thesis, University of Warwick.
This list was generated on Fri Apr 19 21:41:34 2024 BST.