Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Browse by Warwick Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Official Date | Item Type | Funder | No Grouping
Jump to: 2012 | 2011 | 2004
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 Sat Jan 16 12:00:52 2021 GMT.
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us