On the facilitation of fine−grained access to distributed healthcare data by Power, D, Simpson, A

Gulfs of expectation: eliciting and verifying differences in trust expectations using personas by Faily, S, Power, D, Flechais, I

Automatic conformance checking of role−based access control policies via Alloy by Power, D, Slaymaker, M, Simpson, A

Conformance Checking of Dynamic Access Control Policies by Power, D, Slaymaker, M, Simpson, A

Conformance checking of dynamic access control policies by Power, D, Slaymaker, M, Simpson, A

On the construction and verification of self−modifying access control policies by Power, D, Slaymaker, M, Simpson, A

Formalising and validating RBAC−to−XACML translation using lightweight formal methods by Slaymaker, M, Power, D, Simpson, A

On the modelling and analysis of Amazon Web Services access policies by Power, D, Slaymaker, M, Simpson, A

On deducibility and anonymisation in medical databases by Power, D, Slaymaker, M, Simpson, A

On the modelling and analysis of Amazon Web Services access policies by Power, D, Slaymaker, M, Simpson, A

On Formalizing and Normalizing Role-Based Access Control Systems by Power, D, Slaymaker, M, Simpson, A

On formalising and normalising role−based access control systems by Power, D, Slaymaker, M, Simpson, A

e−health security issues: the eDiaMoND perspective by Slaymaker, M, Politou, E, Power, D, Lloyd, S

Formal Evaluation of Persona Trustworthiness with EUSTACE (Extended Abstract) by Faily, S, Power, D, Armstrong, P, Flechais, I

Haemoglobin concentration and stroke risk in 13 000 patients with established cerebrovascular disease by Howard, S, Power, D, Rothwell, P, Studies, C

Towards secure Grid−enabled healthcare by Power, D, Politou, E, Slaymaker, M, Simpson, A

A vision for secure grid−enabled healthcare by Slaymaker, M, Power, D, Politou, E, Simpson, A

Towards secure Grid-enabled healthcare by Power, D, Politou, E, Slaymaker, M, Simpson, A

Securing web services for deployment in health grids by Power, D, Politou, E, Slaymaker, M, Simpson, A

A secure wrapper for OGSA−DAI by Power, D, Slaymaker, M, Politou, E, Simpson, A