Mark Slaymaker : Publications
Click here to download all publications in a single bibtex file
@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{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",
}
@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",
}
@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",
}
@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 = "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",
}
@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",
}
@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{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_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_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{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{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",
}