The formalisation and transformation of access control policies by Slaymaker, M, Mark Slaymaker

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 secure sharing and aggregation of data to support Systems Biology research by Simpson, A, Slaymaker, M, Gavaghan, D

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

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

On an infrastructure to support sharing and aggregating pre− and post−publication systems biology research data by Slaymaker, M, Osborne, J, Simpson, A, Gavaghan, D

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

GIMI: Generic Infrastructure for Medical Informatics by Simpson, A, Power, D, Slaymaker, M, Politou, E