David Power
Dr David James Power
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
Details about Formal Evaluation of Persona Trustworthiness with EUSTACE (Extended Abstract) | BibTeX data for Formal Evaluation of Persona Trustworthiness with EUSTACE (Extended Abstract)
-
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 Lecture Notes in Computer Science. Pages 227–242. Springer. 2011.
Details about Conformance checking of dynamic access control policies | BibTeX data for Conformance checking of dynamic access control policies
-
Automatic conformance checking of role−based access control policies via 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.
Details about Automatic conformance checking of role−based access control policies via Alloy | BibTeX data for Automatic conformance checking of role−based access control policies via Alloy
Activities
- Software Engineering
- Cyber Security Oxford
- Models and technologies for secure data sharing
- Research Informatics
- Systems Security