David Power
|
Dr
David
James
Power
Research Officer
David.Power@cs.ox.ac.uk
01865 283670
01865 283525 (fax)
|
Selected Publications
| Formal Evaluation of Persona Trustworthiness with EUSTACE (Extended Abstract) Shamal Faily‚ David Power‚ Philip Armstrong and Ivan Flechais In Trust and Trustworthy Computing‚ 6th International Conference‚ TRUST 2013. 2013. To Appear |
| Conformance checking of dynamic access control policies D.J. Power‚ M.A. Slaymaker and A.C. Simpson In Proceedings of the 13th international conference on Formal methods and software engineering (ICFEM 2011). Vol. 6255 of Springer−Verlag Lecture Notes in Computer Science. Pages 227–242. 2011. |
| Automatic conformance checking of role−based access control policies in Alloy David Power‚ Mark Slaymaker and Andrew Simpson In Proceedings of Engineering Secure Software and Systems (ESSoS 2011). Pages 15–28. Springer−Verlag Lecture Notes in Computer Science‚ volume 6542. 2011. |
Info
|
Themes |
|
|
Activities |
Cyber Security Centre | Models and technologies for secure data sharing | Research Informatics | Systems Security |
|
Projects |
|
|
Completed Projects |
sif | Models and technologies for assured, context-sensitive access control | NeuroGrid | Generic Infrastructure for Medical Informatics | SOFA | EUSTACE |