David Power : Publications
Click here to download all publications in a single bibtex file
@inproceedings{Power_et_al_2011,
title = "Conformance checking of dynamic access control policies",
author = "Power, D.J. and Slaymaker, M.A. and Simpson, A.C.",
year = "2011",
booktitle = "Proceedings of the 13th international conference on Formal methods and software engineering (ICFEM 2011)",
pages = "227--242",
series = "Springer-Verlag Lecture Notes in Computer Science",
volume = "6255",
}
@inproceedings{ESSOS11,
title = "Automatic conformance checking of role-based access control policies in Alloy",
author = "David Power and Mark Slaymaker and Andrew Simpson",
year = "2011",
booktitle = "Proceedings of Engineering Secure Software and Systems (ESSoS 2011)",
pages = "15--28",
publisher = "Springer-Verlag Lecture Notes in Computer Science, volume 6542",
}
@article{Simpson_et_al_2010b,
title = "GIMI: the past, the present, and the future",
author = "Simpson, A.~C. and Power, D.~J. and Russell, D. and Slaymaker, M.~A. and Bailey, V. and Tromans, C.~E. and Brady, J.~M. and Tarassenko, L.",
year = "2010",
journal = "Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences",
pages = "3891--3905",
volume = "368",
}
@inproceedings{Power-2010,
title = "On the modelling and analysis of Amazon Web Services access policies",
author = "David Power and Mark Slaymaker and Andrew Simpson",
year = "2010",
booktitle = "Proceedings of Abstract State Machines, Alloy, B and Z (ABZ 2010)",
pages = "394",
publisher = "Springer-Verlag Lecture Notes in Computer Science, volume 5977",
}
@inproceedings{Slaymaker-2010,
title = "Formalising and validating RBAC-to-XACML translation using lightweight formal methods",
author = "Mark Slaymaker and David Power and Andrew Simpson",
year = "2010",
booktitle = "Proceedings of Abstract State Machines, Alloy, B and Z (ABZ 2010)",
pages = "349--362",
publisher = "Springer-Verlag Lecture Notes in Computer Science, volume 5977",
}
@techreport{RR-09-15,
title = "On the modelling and analysis of Amazon Web Services access policies",
author = "David Power and Mark Slaymaker and Andrew Simpson",
year = "2009",
institution = "Oxford University Computing Laboratory",
month = "November",
number = "RR-09-15",
pages = "21",
}
@article{Power_et_al_2008,
title = "On formalising and normalising role-based access control systems",
author = "D. J. Power, M. A. Slaymaker, and A. C. Simpson",
year = "2009",
journal = "The Computer Journal",
number = "3",
pages = "305-325",
volume = "52",
doi = "doi:10.1093/comjnl/bxn016",
}
@inproceedings{Simpson_et_al_2009b,
title = "{GIMI}: the past, the present, and the future",
author = "Simpson, A.~C. and Power, D.~J. and Russell, D. and Slaymaker, M.~A. and Bailey, V. and Tromans, C. and Brady, J.~M. and Tarassenko, L.",
year = "2009",
booktitle = "Proceedings of the 2009 UK e-Science All Hands Meeting",
}
@inproceedings{Power_et_al_2009,
title = "On the construction and verification of self-modifying access control policies",
author = "David Power and Mark Slaymaker and Andrew Simpson",
year = "2009",
booktitle = "Proceedings of Secure Data Management (SDM) 2009",
pages = "107--121",
publisher = "Spring-Verlag",
series = "Lecture Notes in Computer Science",
volume = "5776",
}
@inproceedings{Simpson_et_al_2009,
title = "On the utilisation of a service-oriented infrastructure to support radiologist training",
author = "Andrew Simpson and Mark Slaymaker and Moi Hoon Yap and Alastair Gale and David Power and Douglas Russell",
year = "2009",
booktitle = "Proceedings of the 22nd {IEEE} Symposium on Computer-Based Medical Systems (CBMS 2009)",
pages = "1--4",
publisher = "IEEE Computer Society Press",
}
@inproceedings{Russell_et_al_2009,
title = "On the secure sharing of legacy data",
author = "D. Russell, D. J. Power, M. A. Slaymaker, G. Kouadri Mostefaoui, X. Ma and A. C. Simpson",
year = "2009",
booktitle = "Proceedings of the 2009 IEEE Conference on IT: Next Generation (ITNG 2009)",
pages = "1676--1679",
}
@article{Simpson_et_al_2008c,
title = "A healthcare-driven framework for facilitating the secure sharing of data across organisational boundaries",
author = "A. C. Simpson, D. J. Power, D. Russell, M. A. Slaymaker, G. Kouadri-Mostefaoui, X. Ma and G. Wilson",
year = "2008",
journal = "Studies in Health Technology and Informatics",
pages = "3--12",
volume = "138",
}
@inproceedings{Tromans et al, 2008,
title = "The Application of a Service-Oriented Infrastructure to Support Medical Research in Mammography",
author = "Chris Tromans and Sir Mike Brady and David Power and Mark Slaymaker and Douglas Russell and Andrew Simpson",
year = "2008",
booktitle = "Proceedings of MICCAI-Grid 2008",
}
@inproceedings{Slaymaker_et_al_2008,
title = "On the facilitation of fine-grained access to distributed healthcare data",
author = "M. A. Slaymaker, D. J. Power, D. Russell and A. C. Simpson",
year = "2008",
booktitle = "Proceedings of Secure Data Management 2008",
}
@inproceedings{Simpson_et_al_2008b,
title = "A healthcare-driven framework for facilitating the secure sharing of data across organisational boundaries",
author = "A. C. Simpson, D. J. Power, D. Russell, M. A. Slaymaker, G. Kouadri-Mostefaoui, X. Ma and G. Wilson",
year = "2008",
booktitle = "Proceedings of HealthGrid 2008",
}
@inproceedings{Slaymaker_et_al_2008,
title = "Accessing and aggregating legacy data sources for healthcare research, delivery and training",
author = "M. A. Slaymaker and D. J. Power and D. Russell and G. Wilson and A. C. Simpson",
year = "2008",
booktitle = "Proceedings of SAC 2008",
}
@incollection{Simpson_et_al_2008,
title = "The development, testing, and deployment of a web services infrastructure for distributed healthcare delivery, research, and training",
author = "A. C. Simpson and D. J. Power and D. Russell and M. A. Slaymaker and G. Kouadri Mostefaoui and G. Wilson and X. Ma",
year = "2008",
booktitle = "Managing Web Services Quality: Measuring Outcomes and Effectiveness",
editor = "K. Khan",
pages = "1--22",
}
@article{Simpson_et_al_2007,
title = "On the development of secure service-oriented architectures to support medical research",
author = "A. C. Simpson and D. J. Power and M. A. Slaymaker and D. Russell and M. Katzarova",
year = "2007",
journal = "International Journal of Healthcare Information Systems and Informatics",
number = "2",
pages = "75--89",
volume = "2",
}
@inproceedings{Lloyd_et_al_2007b,
title = "Developing collaborative technology for neuro-science",
author = "S. Lloyd and A. C. Simpson and D. J. Power and J. Geddes and A. Khanban and J. Palmer",
year = "2007",
booktitle = "Proceedings of CollaborateCom 2007",
}
@article{Ure_et_al_2006,
title = "Designing for e-health: recurring scenarios in developing grid-based medical imaging systems",
author = "J. Ure and J. Geddes and C. Mackay and S. Lloyd and A. C. Simpson and D. J. Power and D. Russell and M. Jirotka and M. Katzarova and M. Rossor and N. Fox and J. Fletcher and D. Hill and K. McLeish and Y. Chen and J. V. Hajnal and S. Lawrie and D. Job and A. McIntosh and J. Wardlaw and P. Sandercock and J. Palmer and D. Perry and R. Procter and M. Hartswood and R. Slack and A. Voss and K. Ho and P. Bath and W. Clarke and G. Watson",
year = "2006",
journal = "Studies in Health Technology and Informatics",
pages = "336--347",
volume = "120",
}
@article{Power_et_al_2006,
title = "Securing web services for deployment in health grids",
author = "D. J. Power and E. A. Politou and M. A. Slaymaker and A. C. Simpson",
year = "2006",
journal = "Future Generation Computer Systems",
number = "5",
pages = "547--570",
volume = "22",
}
@inproceedings{Geddes_et_al_2006,
title = "The challenges of developing a collaborative data and compute grid for Neurosciences",
author = "J. Geddes and C. Mackay and S. Lloyd and A. C. Simpson and D. J. Power and D. Russell and M. Katzarova and M. Rossor and N. Fox and J. Fletcher and D. Hill and K. McLeish and J. V. Hajnal and S. Lawrie and D. Job and A. McIntosh and J. Wardlaw and P. Sandercocka and J. Palmer and D. Perry and R. Procter and J. Ure and P. Bath and G. Watson",
year = "2006",
booktitle = "Proceedings of the {IEEE} Symposium on Computer Based Medical Systems",
publisher = "{IEEE} Computer Society Press",
}
@inproceedings{Simpson_et_al_2006,
title = "On tracker attacks in health grids",
author = "A. C. Simpson and D. J. Power and M. A. Slaymaker",
year = "2006",
booktitle = "Proceedings of the Annual ACM Symposium on Applied Computing (SAC '06)",
publisher = "ACM Press",
}
@inproceedings{Simpson_et_al_2005b,
title = "Towards fine-grained access control in health grids",
author = "A. C. Simpson and D. J. Power and M. A. Slaymaker and E. A. Politou",
year = "2005",
booktitle = "Proceedings of the Ottawa Workshop on New Challenges in Access Control",
month = "April",
}
@inproceedings{Power_et_al_2005b,
title = "Protecting Sensitive Patient Data via Query Modification",
author = "D. J. Power and M. A. Slaymaker and E. A. Politou and A. C. Simpson",
year = "2005",
booktitle = "Proceedings of the 20th ACM Symposium on Applied Computing",
month = "March",
pages = "224-230",
}
@article{Power_et_al_2005a,
title = "Towards secure Grid-enabled healthcare",
author = "D. J. Power and E. A. Politou and M. A. Slaymaker and A. C. Simpson",
year = "2005",
journal = "Software: Practice and Experience",
number = "9",
pages = "857--871",
volume = "35",
}
@article{Slaymaker_et_al_2005,
title = "Security Aspects of Grid-enabled Digital Mammography",
author = "M. A. Slaymaker and E. A. Politou and D. J. Power and S. Lloyd and A. C. Simpson",
year = "2005",
journal = "Methods of Information in Medicine",
number = "2",
pages = "207--210",
volume = "44",
}
@inproceedings{Simpson_et_al_2005a,
title = "{GIMI}: Generic Infrastructure for Medical Informatics",
author = "A. C. Simpson and D. J. Power and M. A. Slaymaker and E. A. Politou",
year = "2005",
booktitle = "Proceedings of the 18th {IEEE} Symposium on Computer-Based Medical Systems",
pages = "564--566",
}
@inproceedings{Power_et_al_2005e,
title = "On {XACML}, role-based access control, and health grids",
author = "D. J. Power and M. A. Slaymaker and E. A. Politou and A. C. Simpson",
year = "2005",
booktitle = "Proceedings of the 2005 UK e-Science All Hands Meeting",
}
@inproceedings{Power_et_al_2005c,
title = "On deducibility and anonymisation in medical databases",
author = "D. J. Power and M. A. Slaymaker and A. C. Simpson",
year = "2005",
booktitle = "Proceedings of Secure Data Management 2005",
editor = "Jonker, W. and Petkovic, M.",
pages = "170--184",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
volume = "3674",
}
@inproceedings{Power_et_al_2005f,
title = "A secure wrapper for {OGSA-DAI}",
author = "D. J. Power and M. A. Slaymaker and E. A. Politou and A. C. Simpson",
year = "2005",
booktitle = "Proceedings of the European Grid Conference, 2005",
pages = "485--494",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
volume = "3470",
}
@inproceedings{Slaymaker_et_al_2004c,
title = "A vision for secure grid-enabled healthcare",
author = "M. A. Slaymaker and D. J Power and E. A. Politou and A. C. Simpson",
year = "2004",
booktitle = "Workshop on Grid Security Practice and Experience",
month = "June",
publisher = "Technical Report YCS-2004-380, University of York",
}
@inproceedings{Slaymaker_et_al_2004b,
title = "eDiaMoND: risk analysis",
author = "M. A. Slaymaker and E. A. Politou and D. J. Power and S. Lloyd and A. C. Simpson",
year = "2004",
booktitle = "Proceedings of HealthGrid 2004, Claremont, France",
}
@inproceedings{Slaymaker_et_al_2004d,
title = "e-health security issues: the {eDiaMoND} perspective",
author = "M. A. Slaymaker and E. A. Politou and D. J. Power and S. Lloyd",
year = "2004",
booktitle = "Proceedings of the 2004 UK e-Science All Hands Meeting",
}
@inproceedings{Power_et_al_2004,
title = "An Approach to the Storage of {DICOM} files for {Grid}-Enabled Medical Imaging Databases",
author = "D. J. Power and E. A. Politou and M. A. Slaymaker and S. Harris and A. C. Simpson",
year = "2004",
booktitle = "Proceedings of the 19th ACM Symposium on Applied Computing",
pages = "272--279",
}
@inproceedings{Power_et_al_2003,
title = "An approach to the storage of {DICOM} files for grid-enabled medical imaging databases",
author = "D. .J. Power and E. A. Politou and M. A. Slaymaker and S. Harris and A. C. Simpson",
year = "2003",
booktitle = "Proceedings of the 2003 UK e-Science All Hands Meeting",
}