@inproceedings{Cooper_et_al_2012, title = "Virtual experiments for reusable models", author = "Jonathan Cooper and Gary Mirams and Mark Slaymaker and Andrew Simpson and Jon Olav Vik and Dagmar Waltemath", year = "2012", booktitle = "Proceedings of VPH 2012", } @article{Slaymaker12, title = "On an infrastructure to support sharing and aggregating pre- and post-publication systems biology research data", author = "Mark Slaymaker and James Osborne and Andrew Simpson and David Gavaghan", year = "2012", journal = "Systems and Synthetic Biology", number = "1--2", pages = "35--49", volume = "6", doi = "10.1007/s11693-012-9095-x", } @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{Simpson_et_al_2010b, title = "On the secure sharing and aggregation of data to support Systems Biology research", author = "Andrew Simpson and Mark Slaymaker and David Gavaghan", year = "2010", booktitle = "Proceedings of the 7th International Conference on Data Integration in the Life Sciences (DILS 2010)", pages = "58--73", publisher = "Springer-Verlag Lecture Notes in Computer Science, volume 6254", } @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", } @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", } @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", } @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{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{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", } @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{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", } @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", } @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", } @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", } @article{Power_et_al_2007, title = "On formalising and normalising role-based access control systems", author = "D. J. Power and M. A. Slaymaker and A. C. Simpson", year = "2007", journal = "Accepted for publication in The Computer Journal", } @inproceedings{Slaymaker_et_al_2006, title = "A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care", author = "M. A. Slaymaker and A. C. Simpson and J. M. Brady and D. J. Gavaghan and F. Reddington and P. Quirke", year = "2006", booktitle = "Proceedings of the {IEEE} Symposium on Computer Based Medical Systems", publisher = "{IEEE} Computer Society Press", } @inproceedings{Slaymaker_et_al_2006, title = "A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care", author = "M. A. Slaymaker and A. C. Simpson and J. M. Brady and D. J. Gavaghan and F. Reddington and P. Quirke", 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)", pages = "209--216", publisher = "ACM Press", } @article{Pitt-Francis_et_al_2006, title = "Multimodal imaging techniques for the extraction of detailed geometrical and physiological information for use in multi-scale models of colorectal cancer and treatment of individual patients", author = "Pitt-Francis, J. and Chen, D. and Slaymaker, M.~A. and Simpson, A.~C. and Brady, J.~M. and van Leeuwen, I. and Reddington, F. and Quirke, P. and Gavaghan, D.~J.", year = "2006", journal = "Computational \& Mathematical Methods in Medicine", number = "2\&3", pages = "177--188", volume = "7", } @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", } @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", } @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{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", } @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", } @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{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{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{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{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{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{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{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", }