Number of items: 3.
2012
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
2011
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
2004
Papanikolaou, Nikolaos K.
(2004)
Techniques for design and validation of quantum protocols.
MSc thesis, University of Warwick.
This list was generated on Fri May 20 11:28:55 2022 BST.