Number of items: 3.
2012
Papanikolaou, Nikolaos K., 1982-, Creese, Sadie and Goldsmith, M. (Michael).
(2012)
Refinement checking for privacy policies.
Science of Computer Programming, Volume 77
(Number 10-11).
pp. 1198-1209.
ISSN 0167-6423
2011
Agrafiotis, Ioannis, Creese, Sadie, Goldsmith, Michael 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.
ISSN 1868-4238
2004
Papanikolaou, Nikolaos K., 1982-
(2004)
Techniques for design and validation of quantum protocols.
MSc thesis, University of Warwick.
This list was generated on Fri Mar 6 20:07:04 2015 GMT.
