David Power : Publications
Click here to download all publications in a single bibtex file
@inproceedings{fapotrust,
title = "Formal Evaluation of Persona Trustworthiness with EUSTACE (Extended Abstract)",
author = "Shamal Faily and David Power and Philip Armstrong and Ivan Flechais",
year = "2013",
booktitle = "Trust and Trustworthy Computing, 6th International Conference, TRUST 2013",
note = "To Appear",
}
@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",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "6255",
}
@inproceedings{ESSOS11,
title = "Automatic conformance checking of role-based access control policies via 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 = "Power, D.~J. and Slaymaker, M.~A. and Simpson, A.~C.",
year = "2009",
booktitle = "Proceedings of the 6th {VLDB} Workshop on Secure Data Management ({SDM 2009})",
pages = "107--121",
publisher = "Springer",
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 = "Simpson, A.~C. and Slaymaker, M.~A. and Yap, M. and Gale, A.~G. and Power, D.~J. and Russell, D.",
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 = "Russell, D. and Power, D.~J. and Slaymaker, M.~A. and Kouadri Mostefaoui, G.~K. and Ma, X. and Simpson, A.~C.",
year = "2009",
booktitle = "Proceedings of the 6th International Conference on IT: Next Generation (ITNG 2009)",
pages = "1676--1679",
publisher = "IEEE",
}
@article{Simpson_et_al_2008c,
title = "A healthcare-driven framework for facilitating the secure sharing of data across organisational boundaries",
author = "Simpson, A.~C. and Power, D.~J. and Russell, D. and Slaymaker, M.~A. and Kouadri-Mostefaoui, G. and Ma, X. and Wilson, G.",
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 = "Tromans, C. and Brady, J.~M. and Power, D.~J. and Slaymaker, M.~A. and Russell, D. and Simpson, A.~C.",
year = "2008",
booktitle = "Proceedings of MICCAI-Grid 2008",
pages = "43--52",
}
@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 = "Simpson, A.~C. and Power, D.~J. and Russell, D. and Slaymaker, M.~A. and Kouadri-Mostefaoui, G. and Ma, X. and Wilson, G.",
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 = "Simpson, A.~C. and Power, D.~J. and Russell, D. and Slaymaker, M.~A. and Kouadri Mostefaoui, G. and Wilson, G. and Ma, X.",
year = "2008",
booktitle = "Managing Web Services Quality: Measuring Outcomes and Effectiveness",
editor = "Khan, K.",
pages = "1--22",
publisher = "Idea Group",
}
@article{Simpson_et_al_2007,
title = "On the development of secure service-oriented architectures to support medical research",
author = "Simpson, A.~C. and Power, D.~J. and Slaymaker, M.~A. and Russell, D. and Katzarova, M.",
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 = "Ure, J. and Geddes, J. and Mackay, C. and Lloyd, S. and Simpson, A.~C. and Power, D.~J. and Russell, D. and Jirotka, M. and Katzarova, M. and Rossor, M. and Fox, N. and Fletcher, J. and Hill, D. and McLeish, K. and Chen, Y. and Hajnal, J.~V. and Lawrie, S. and Job, D. and McIntosh, A. and Wardlaw, J. and Sandercock, P. and Palmer, J. and Perry, D. and Procter, R. and Hartswood, M. and Slack, R. and Voss, A. and Ho, K. and Bath, P. and Clarke, W. and Watson, G.",
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 = "Power, D.~J. and Politou, E.~A. and Slaymaker, M.~A. and Simpson, A.~C.",
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 19th IEEE Symposium on Computer Based Medical Systems (CBMS 2006)",
pages = "81--86",
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)",
pages = "209--216",
publisher = "ACM Press",
}
@inproceedings{Simpson_et_al_2005b,
title = "Towards fine-grained access control in health grids",
author = "Simpson, A.~C. and Power, D.~J. and Slaymaker, M.~A. and Politou, E.~A.",
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 = "Power, D.~J. and Slaymaker, M.~A. and Politou, E.~A. and Simpson, A.~C.",
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 = "Power, D.~J. and Politou, E.~A. and Slaymaker, M.~A. and Simpson, A.~C.",
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 = "Slaymaker, M.~A. and Politou, E.~A. and Power, D.~J. and Lloyd, S. and Simpson, A.~C.",
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 = "Simpson, A.~C. and Power, D.~J. and Slaymaker, M.~A. and Politou, E.~A.",
year = "2005",
booktitle = "Proceedings of the 18th {IEEE} Symposium on Computer-Based Medical Systems (CBMS 2005)",
pages = "564--566",
publisher = "IEEE Computer Society Press",
}
@inproceedings{Power_et_al_2005e,
title = "On {XACML}, role-based access control, and health grids",
author = "Power, D.~J. and Slaymaker, M.~A. and Politou, E.~A. and Simpson, A.~C.",
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 = "Power, D.~J. and Slaymaker, M.~A. and Simpson, A.~C.",
year = "2005",
booktitle = "Proceedings of Secure Data Management 2005",
editor = "Jonker, W. and Petkovic, M.",
pages = "170--184",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "3674",
}
@inproceedings{Power_et_al_2005f,
title = "A secure wrapper for {OGSA-DAI}",
author = "Power, D.~J. and Slaymaker, M.~A. and Politou, E.~A. and Simpson, A.~C.",
year = "2005",
booktitle = "Proceedings of the European Grid Conference, 2005",
pages = "485--494",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "3470",
}
@inproceedings{Slaymaker_et_al_2004c,
title = "A vision for secure grid-enabled healthcare",
author = "Slaymaker, M.~A. and Power, D.~J and Politou, E.~A. and Simpson, A.~C.",
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 = "Slaymaker, M.~A. and Politou, E.~A. and Power, D.~J. and Lloyd, S. and Simpson, A.~C.",
year = "2004",
booktitle = "Proceedings of HealthGrid 2004, Claremont, France",
}
@inproceedings{Slaymaker_et_al_2004d,
title = "e-health security issues: the {eDiaMoND} perspective",
author = "Slaymaker, M.~A. and Politou, E.~A. and Power, D.~J. and Lloyd, S.",
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 = "Power, D.~J. and Politou, E.~A. and Slaymaker, M.~A. and Harris, S. and Simpson, A.~C.",
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 = "Power, D.~J. and Politou, E.~A. and Slaymaker, M.~A. and Harris, S. and Simpson, A.~C.",
year = "2003",
booktitle = "Proceedings of the 2003 UK e-Science All Hands Meeting",
}