David Power : Publications
-
[1]
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)
-
[2]
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
-
[3]
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
-
[4]
GIMI: The past‚ the present‚ and the future
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ V. Bailey‚ C. E. Tromans‚ J. M. Brady and L. Tarassenko
In Philosophical Transactions of the Royal Society A: Mathematical‚ Physical and Engineering Sciences. Vol. 368. Pages 3891–3905. 2010.
Details about GIMI: The past‚ the present‚ and the future | BibTeX data for GIMI: The past‚ the present‚ and the future
-
[5]
On the modelling and analysis of Amazon Web Services access policies
David Power‚ Mark Slaymaker and Andrew Simpson
In Proceedings of Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Pages 394. Springer−Verlag Lecture Notes in Computer Science‚ volume 5977. 2010.
Details about On the modelling and analysis of Amazon Web Services access policies | BibTeX data for On the modelling and analysis of Amazon Web Services access policies
-
[6]
Formalising and validating RBAC−to−XACML translation using lightweight formal methods
Mark Slaymaker‚ David Power and Andrew Simpson
In Proceedings of Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Pages 349–362. Springer−Verlag Lecture Notes in Computer Science‚ volume 5977. 2010.
Details about Formalising and validating RBAC−to−XACML translation using lightweight formal methods | BibTeX data for Formalising and validating RBAC−to−XACML translation using lightweight formal methods
-
[7]
On the modelling and analysis of Amazon Web Services access policies
David Power‚ Mark Slaymaker and Andrew Simpson
No. RR−09−15. Oxford University Computing Laboratory. November, 2009.
Details about On the modelling and analysis of Amazon Web Services access policies | BibTeX data for On the modelling and analysis of Amazon Web Services access policies | Download (pdf) of On the modelling and analysis of Amazon Web Services access policies
-
[8]
On formalising and normalising role−based access control systems
D. J. Power M. A. Slaymaker and A. C. Simpson
In The Computer Journal. Vol. 52. No. 3. Pages 305−325. 2009.
Details about On formalising and normalising role−based access control systems | BibTeX data for On formalising and normalising role−based access control systems | DOI (doi:10.1093/comjnl/bxn016)
-
[9]
GIMI: the past‚ the present‚ and the future
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ V. Bailey‚ C. Tromans‚ J. M. Brady and L. Tarassenko
In Proceedings of the 2009 UK e−Science All Hands Meeting. 2009.
Details about GIMI: the past‚ the present‚ and the future | BibTeX data for GIMI: the past‚ the present‚ and the future
-
[10]
On the construction and verification of self−modifying access control policies
D. J. Power‚ M. A. Slaymaker and A. C. Simpson
In Proceedings of the 6th VLDB Workshop on Secure Data Management (SDM 2009). Vol. 5776 of Lecture Notes in Computer Science. Pages 107–121. Springer. 2009.
Details about On the construction and verification of self−modifying access control policies | BibTeX data for On the construction and verification of self−modifying access control policies
-
[11]
On the utilisation of a service−oriented infrastructure to support radiologist training
A. C. Simpson‚ M. A. Slaymaker‚ M. Yap‚ A. G. Gale‚ D. J. Power and D. Russell
In Proceedings of the 22nd IEEE Symposium on Computer−Based Medical Systems (CBMS 2009). Pages 1–4. IEEE Computer Society Press. 2009.
Details about On the utilisation of a service−oriented infrastructure to support radiologist training | BibTeX data for On the utilisation of a service−oriented infrastructure to support radiologist training
-
[12]
On the secure sharing of legacy data
D. Russell‚ D. J. Power‚ M. A. Slaymaker‚ G. K. Kouadri Mostefaoui‚ X. Ma and A. C. Simpson
In Proceedings of the 6th International Conference on IT: Next Generation (ITNG 2009). Pages 1676–1679. IEEE. 2009.
Details about On the secure sharing of legacy data | BibTeX data for On the secure sharing of legacy data
-
[13]
A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ G. Kouadri−Mostefaoui‚ X. Ma and G. Wilson
In Studies in Health Technology and Informatics. Vol. 138. Pages 3–12. 2008.
Details about A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries | BibTeX data for A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries
-
[14]
The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography
C. Tromans‚ J. M. Brady‚ D. J. Power‚ M. A. Slaymaker‚ D. Russell and A. C. Simpson
In Proceedings of MICCAI−Grid 2008. Pages 43–52. 2008.
Details about The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography | BibTeX data for The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography
-
[15]
On the facilitation of fine−grained access to distributed healthcare data
D. Russell M. A. Slaymaker D. J. Power and A. C. Simpson
In Proceedings of Secure Data Management 2008. 2008.
Details about On the facilitation of fine−grained access to distributed healthcare data | BibTeX data for On the facilitation of fine−grained access to distributed healthcare data
-
[16]
A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ G. Kouadri−Mostefaoui‚ X. Ma and G. Wilson
In Proceedings of HealthGrid 2008. 2008.
Details about A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries | BibTeX data for A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries
-
[17]
Accessing and aggregating legacy data sources for healthcare research‚ delivery and training
M. A. Slaymaker‚ D. J. Power‚ D. Russell‚ G. Wilson and A. C. Simpson
In Proceedings of SAC 2008. 2008.
Details about Accessing and aggregating legacy data sources for healthcare research‚ delivery and training | BibTeX data for Accessing and aggregating legacy data sources for healthcare research‚ delivery and training
-
[18]
The development‚ testing‚ and deployment of a web services infrastructure for distributed healthcare delivery‚ research‚ and training
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ G. Kouadri Mostefaoui‚ G. Wilson and X. Ma
In K. Khan, editor, Managing Web Services Quality: Measuring Outcomes and Effectiveness. Pages 1–22. Idea Group. 2008.
Details about The development‚ testing‚ and deployment of a web services infrastructure for distributed healthcare delivery‚ research‚ and training | BibTeX data for The development‚ testing‚ and deployment of a web services infrastructure for distributed healthcare delivery‚ research‚ and training
-
[19]
On the development of secure service−oriented architectures to support medical research
A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker‚ D. Russell and M. Katzarova
In International Journal of Healthcare Information Systems and Informatics. Vol. 2. No. 2. Pages 75–89. 2007.
Details about On the development of secure service−oriented architectures to support medical research | BibTeX data for On the development of secure service−oriented architectures to support medical research
-
[20]
Developing collaborative technology for neuro−science
S. Lloyd‚ A. C. Simpson‚ D. J. Power‚ J. Geddes‚ A. Khanban and J. Palmer
In Proceedings of CollaborateCom 2007. 2007.
Details about Developing collaborative technology for neuro−science | BibTeX data for Developing collaborative technology for neuro−science
-
[21]
Designing for e−health: recurring scenarios in developing grid−based medical imaging systems
J. Ure‚ J. Geddes‚ C. Mackay‚ S. Lloyd‚ A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. Jirotka‚ M. Katzarova‚ M. Rossor‚ N. Fox‚ J. Fletcher‚ D. Hill‚ K. McLeish‚ Y. Chen‚ J. V. Hajnal‚ S. Lawrie‚ D. Job‚ A. McIntosh‚ J. Wardlaw‚ P. Sandercock‚ J. Palmer‚ D. Perry‚ R. Procter‚ M. Hartswood‚ R. Slack‚ A. Voss‚ K. Ho‚ P. Bath‚ W. Clarke and G. Watson
In Studies in Health Technology and Informatics. Vol. 120. Pages 336–347. 2006.
Details about Designing for e−health: recurring scenarios in developing grid−based medical imaging systems | BibTeX data for Designing for e−health: recurring scenarios in developing grid−based medical imaging systems
-
[22]
Securing web services for deployment in health grids
D. J. Power‚ E. A. Politou‚ M. A. Slaymaker and A. C. Simpson
In Future Generation Computer Systems. Vol. 22. No. 5. Pages 547–570. 2006.
Details about Securing web services for deployment in health grids | BibTeX data for Securing web services for deployment in health grids
-
[23]
The challenges of developing a collaborative data and compute grid for Neurosciences
J. Geddes‚ C. Mackay‚ S. Lloyd‚ A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. Katzarova‚ M. Rossor‚ N. Fox‚ J. Fletcher‚ D. Hill‚ K. McLeish‚ J. V. Hajnal‚ S. Lawrie‚ D. Job‚ A. McIntosh‚ J. Wardlaw‚ P. Sandercocka‚ J. Palmer‚ D. Perry‚ R. Procter‚ J. Ure‚ P. Bath and G. Watson
In Proceedings of the 19th IEEE Symposium on Computer Based Medical Systems (CBMS 2006). Pages 81–86. IEEE Computer Society Press. 2006.
Details about The challenges of developing a collaborative data and compute grid for Neurosciences | BibTeX data for The challenges of developing a collaborative data and compute grid for Neurosciences
-
[24]
On tracker attacks in health grids
A. C. Simpson‚ D. J. Power and M. A. Slaymaker
In Proceedings of the Annual ACM Symposium on Applied Computing (SAC '06). Pages 209–216. ACM Press. 2006.
Details about On tracker attacks in health grids | BibTeX data for On tracker attacks in health grids
-
[25]
Towards fine−grained access control in health grids
A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker and E. A. Politou
In Proceedings of the Ottawa Workshop on New Challenges in Access Control. April, 2005.
Details about Towards fine−grained access control in health grids | BibTeX data for Towards fine−grained access control in health grids
-
[26]
Protecting Sensitive Patient Data via Query Modification
D. J. Power‚ M. A. Slaymaker‚ E. A. Politou and A. C. Simpson
In Proceedings of the 20th ACM Symposium on Applied Computing. Pages 224−230. March, 2005.
Details about Protecting Sensitive Patient Data via Query Modification | BibTeX data for Protecting Sensitive Patient Data via Query Modification
-
[27]
Towards secure Grid−enabled healthcare
D. J. Power‚ E. A. Politou‚ M. A. Slaymaker and A. C. Simpson
In Software: Practice and Experience. Vol. 35. No. 9. Pages 857–871. 2005.
Details about Towards secure Grid−enabled healthcare | BibTeX data for Towards secure Grid−enabled healthcare
-
[28]
Security Aspects of Grid−enabled Digital Mammography
M. A. Slaymaker‚ E. A. Politou‚ D. J. Power‚ S. Lloyd and A. C. Simpson
In Methods of Information in Medicine. Vol. 44. No. 2. Pages 207–210. 2005.
Details about Security Aspects of Grid−enabled Digital Mammography | BibTeX data for Security Aspects of Grid−enabled Digital Mammography
-
[29]
GIMI: Generic Infrastructure for Medical Informatics
A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker and E. A. Politou
In Proceedings of the 18th IEEE Symposium on Computer−Based Medical Systems (CBMS 2005). Pages 564–566. IEEE Computer Society Press. 2005.
Details about GIMI: Generic Infrastructure for Medical Informatics | BibTeX data for GIMI: Generic Infrastructure for Medical Informatics
-
[30]
On XACML‚ role−based access control‚ and health grids
D. J. Power‚ M. A. Slaymaker‚ E. A. Politou and A. C. Simpson
In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.
Details about On XACML‚ role−based access control‚ and health grids | BibTeX data for On XACML‚ role−based access control‚ and health grids
-
[31]
On deducibility and anonymisation in medical databases
D. J. Power‚ M. A. Slaymaker and A. C. Simpson
In W. Jonker and M. Petkovic, editors, Proceedings of Secure Data Management 2005. Vol. 3674 of Lecture Notes in Computer Science. Pages 170–184. Springer. 2005.
Details about On deducibility and anonymisation in medical databases | BibTeX data for On deducibility and anonymisation in medical databases
-
[32]
A secure wrapper for OGSA−DAI
D. J. Power‚ M. A. Slaymaker‚ E. A. Politou and A. C. Simpson
In Proceedings of the European Grid Conference‚ 2005. Vol. 3470 of Lecture Notes in Computer Science. Pages 485–494. Springer. 2005.
Details about A secure wrapper for OGSA−DAI | BibTeX data for A secure wrapper for OGSA−DAI
-
[33]
A vision for secure grid−enabled healthcare
M. A. Slaymaker‚ D. J Power‚ E. A. Politou and A. C. Simpson
In Workshop on Grid Security Practice and Experience. Technical Report YCS−2004−380‚ University of York. June, 2004.
Details about A vision for secure grid−enabled healthcare | BibTeX data for A vision for secure grid−enabled healthcare
-
[34]
eDiaMoND: risk analysis
M. A. Slaymaker‚ E. A. Politou‚ D. J. Power‚ S. Lloyd and A. C. Simpson
In Proceedings of HealthGrid 2004‚ Claremont‚ France. 2004.
Details about eDiaMoND: risk analysis | BibTeX data for eDiaMoND: risk analysis
-
[35]
e−health security issues: the eDiaMoND perspective
M. A. Slaymaker‚ E. A. Politou‚ D. J. Power and S. Lloyd
In Proceedings of the 2004 UK e−Science All Hands Meeting. 2004.
Details about e−health security issues: the eDiaMoND perspective | BibTeX data for e−health security issues: the eDiaMoND perspective
-
[36]
An Approach to the Storage of DICOM files for Grid−Enabled Medical Imaging Databases
D. J. Power‚ E. A. Politou‚ M. A. Slaymaker‚ S. Harris and A. C. Simpson
In Proceedings of the 19th ACM Symposium on Applied Computing. Pages 272–279. 2004.
Details about An Approach to the Storage of DICOM files for Grid−Enabled Medical Imaging Databases | BibTeX data for An Approach to the Storage of DICOM files for Grid−Enabled Medical Imaging Databases
-
[37]
An approach to the storage of DICOM files for grid−enabled medical imaging databases
D. J. Power‚ E. A. Politou‚ M. A. Slaymaker‚ S. Harris and A. C. Simpson
In Proceedings of the 2003 UK e−Science All Hands Meeting. 2003.
Details about An approach to the storage of DICOM files for grid−enabled medical imaging databases | BibTeX data for An approach to the storage of DICOM files for grid−enabled medical imaging databases