Mark Slaymaker : 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{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",
}
@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",
}
@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",
}
@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 = "J. Pitt-Francis and D. Chen and M. A. Slaymaker and A. C. Simpson and J. M. Brady and I. van Leeuwen and R. Reddington and P. Quirke and D. J. Gavaghan",
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 = "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{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)",
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{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{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{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{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{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{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_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",
}