Mark Slaymaker : Publications
-
[1]
On an infrastructure to support sharing and aggregating pre− and post−publication systems biology research data
Mark Slaymaker‚ James Osborne‚ Andrew Simpson and David Gavaghan
In Systems and Synthetic Biology. Vol. 6. No. 1–2. Pages 35–49. 2012.
Details about On an infrastructure to support sharing and aggregating pre− and post−publication systems biology research data | BibTeX data for On an infrastructure to support sharing and aggregating pre− and post−publication systems biology research data | DOI (10.1007/s11693-012-9095-x)
-
[2]
Virtual experiments for reusable models
Jonathan Cooper‚ Gary Mirams‚ Mark Slaymaker‚ Andrew Simpson‚ Jon Olav Vik and Dagmar Waltemath
In Proceedings of VPH 2012. 2012.
Details about Virtual experiments for reusable models | BibTeX data for Virtual experiments for reusable models
-
[3]
Conformance checking of dynamic access control policies
D. J. Power‚ M. A. Slaymaker and A. C. Simpson
In Proceedings of the 13th International Conference on Formal Methods and Software Engineering (ICFEM 2011). Vol. 6255 of Lecture Notes in Computer Science. Pages 227–242. Springer. 2011.
Details about Conformance checking of dynamic access control policies | BibTeX data for Conformance checking of dynamic access control policies
-
[4]
Automatic conformance checking of role−based access control policies via Alloy
David Power‚ Mark Slaymaker and Andrew Simpson
In Proceedings of Engineering Secure Software and Systems (ESSoS 2011). Pages 15–28. Springer−Verlag Lecture Notes in Computer Science‚ volume 6542. 2011.
Details about Automatic conformance checking of role−based access control policies via Alloy | BibTeX data for Automatic conformance checking of role−based access control policies via Alloy
-
[5]
GIMI: The past‚ the present‚ and the future
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ V. Bailey‚ C. E. Tromans‚ J. M. Brady and L. Tarassenko
In Philosophical Transactions of the Royal Society A: Mathematical‚ Physical and Engineering Sciences. Vol. 368. Pages 3891–3905. 2010.
Details about GIMI: The past‚ the present‚ and the future | BibTeX data for GIMI: The past‚ the present‚ and the future
-
[6]
On the secure sharing and aggregation of data to support Systems Biology research
Andrew Simpson‚ Mark Slaymaker and David Gavaghan
In Proceedings of the 7th International Conference on Data Integration in the Life Sciences (DILS 2010). Pages 58–73. Springer−Verlag Lecture Notes in Computer Science‚ volume 6254. 2010.
Details about On the secure sharing and aggregation of data to support Systems Biology research | BibTeX data for On the secure sharing and aggregation of data to support Systems Biology research
-
[7]
On the modelling and analysis of Amazon Web Services access policies
David Power‚ Mark Slaymaker and Andrew Simpson
In Proceedings of Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Pages 394. Springer−Verlag Lecture Notes in Computer Science‚ volume 5977. 2010.
Details about On the modelling and analysis of Amazon Web Services access policies | BibTeX data for On the modelling and analysis of Amazon Web Services access policies
-
[8]
Formalising and validating RBAC−to−XACML translation using lightweight formal methods
Mark Slaymaker‚ David Power and Andrew Simpson
In Proceedings of Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Pages 349–362. Springer−Verlag Lecture Notes in Computer Science‚ volume 5977. 2010.
Details about Formalising and validating RBAC−to−XACML translation using lightweight formal methods | BibTeX data for Formalising and validating RBAC−to−XACML translation using lightweight formal methods
-
[9]
On the modelling and analysis of Amazon Web Services access policies
David Power‚ Mark Slaymaker and Andrew Simpson
No. RR−09−15. Oxford University Computing Laboratory. November, 2009.
Details about On the modelling and analysis of Amazon Web Services access policies | BibTeX data for On the modelling and analysis of Amazon Web Services access policies | Download (pdf) of On the modelling and analysis of Amazon Web Services access policies
-
[10]
On formalising and normalising role−based access control systems
D. J. Power M. A. Slaymaker and A. C. Simpson
In The Computer Journal. Vol. 52. No. 3. Pages 305−325. 2009.
Details about On formalising and normalising role−based access control systems | BibTeX data for On formalising and normalising role−based access control systems | DOI (doi:10.1093/comjnl/bxn016)
-
[11]
GIMI: the past‚ the present‚ and the future
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ V. Bailey‚ C. Tromans‚ J. M. Brady and L. Tarassenko
In Proceedings of the 2009 UK e−Science All Hands Meeting. 2009.
Details about GIMI: the past‚ the present‚ and the future | BibTeX data for GIMI: the past‚ the present‚ and the future
-
[12]
On the construction and verification of self−modifying access control policies
D. J. Power‚ M. A. Slaymaker and A. C. Simpson
In Proceedings of the 6th VLDB Workshop on Secure Data Management (SDM 2009). Vol. 5776 of Lecture Notes in Computer Science. Pages 107–121. Springer. 2009.
Details about On the construction and verification of self−modifying access control policies | BibTeX data for On the construction and verification of self−modifying access control policies
-
[13]
On the utilisation of a service−oriented infrastructure to support radiologist training
A. C. Simpson‚ M. A. Slaymaker‚ M. Yap‚ A. G. Gale‚ D. J. Power and D. Russell
In Proceedings of the 22nd IEEE Symposium on Computer−Based Medical Systems (CBMS 2009). Pages 1–4. IEEE Computer Society Press. 2009.
Details about On the utilisation of a service−oriented infrastructure to support radiologist training | BibTeX data for On the utilisation of a service−oriented infrastructure to support radiologist training
-
[14]
On the secure sharing of legacy data
D. Russell‚ D. J. Power‚ M. A. Slaymaker‚ G. K. Kouadri Mostefaoui‚ X. Ma and A. C. Simpson
In Proceedings of the 6th International Conference on IT: Next Generation (ITNG 2009). Pages 1676–1679. IEEE. 2009.
Details about On the secure sharing of legacy data | BibTeX data for On the secure sharing of legacy data
-
[15]
A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ G. Kouadri−Mostefaoui‚ X. Ma and G. Wilson
In Studies in Health Technology and Informatics. Vol. 138. Pages 3–12. 2008.
Details about A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries | BibTeX data for A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries
-
[16]
The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography
C. Tromans‚ J. M. Brady‚ D. J. Power‚ M. A. Slaymaker‚ D. Russell and A. C. Simpson
In Proceedings of MICCAI−Grid 2008. Pages 43–52. 2008.
Details about The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography | BibTeX data for The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography
-
[17]
On the facilitation of fine−grained access to distributed healthcare data
D. Russell M. A. Slaymaker D. J. Power and A. C. Simpson
In Proceedings of Secure Data Management 2008. 2008.
Details about On the facilitation of fine−grained access to distributed healthcare data | BibTeX data for On the facilitation of fine−grained access to distributed healthcare data
-
[18]
A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ G. Kouadri−Mostefaoui‚ X. Ma and G. Wilson
In Proceedings of HealthGrid 2008. 2008.
Details about A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries | BibTeX data for A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries
-
[19]
Accessing and aggregating legacy data sources for healthcare research‚ delivery and training
M. A. Slaymaker‚ D. J. Power‚ D. Russell‚ G. Wilson and A. C. Simpson
In Proceedings of SAC 2008. 2008.
Details about Accessing and aggregating legacy data sources for healthcare research‚ delivery and training | BibTeX data for Accessing and aggregating legacy data sources for healthcare research‚ delivery and training
-
[20]
The development‚ testing‚ and deployment of a web services infrastructure for distributed healthcare delivery‚ research‚ and training
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ G. Kouadri Mostefaoui‚ G. Wilson and X. Ma
In K. Khan, editor, Managing Web Services Quality: Measuring Outcomes and Effectiveness. Pages 1–22. Idea Group. 2008.
Details about The development‚ testing‚ and deployment of a web services infrastructure for distributed healthcare delivery‚ research‚ and training | BibTeX data for The development‚ testing‚ and deployment of a web services infrastructure for distributed healthcare delivery‚ research‚ and training
-
[21]
On the development of secure service−oriented architectures to support medical research
A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker‚ D. Russell and M. Katzarova
In International Journal of Healthcare Information Systems and Informatics. Vol. 2. No. 2. Pages 75–89. 2007.
Details about On the development of secure service−oriented architectures to support medical research | BibTeX data for On the development of secure service−oriented architectures to support medical research
-
[22]
On formalising and normalising role−based access control systems
D. J. Power‚ M. A. Slaymaker and A. C. Simpson
In Accepted for publication in The Computer Journal. 2007.
Details about On formalising and normalising role−based access control systems | BibTeX data for On formalising and normalising role−based access control systems
-
[23]
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
J. Pitt−Francis‚ D. Chen‚ M. A. Slaymaker‚ A. C. Simpson‚ J. M. Brady‚ I. van Leeuwen‚ F. Reddington‚ P. Quirke and D. J. Gavaghan
In Computational & Mathematical Methods in Medicine. Vol. 7. No. &23. Pages 177–188. 2006.
Details about 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 | BibTeX data for 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
-
[24]
Securing web services for deployment in health grids
D. J. Power‚ E. A. Politou‚ M. A. Slaymaker and A. C. Simpson
In Future Generation Computer Systems. Vol. 22. No. 5. Pages 547–570. 2006.
Details about Securing web services for deployment in health grids | BibTeX data for Securing web services for deployment in health grids
-
[25]
A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care
M. A. Slaymaker‚ A. C. Simpson‚ J. M. Brady‚ D. J. Gavaghan‚ F. Reddington and P. Quirke
In Proceedings of the IEEE Symposium on Computer Based Medical Systems. IEEE Computer Society Press. 2006.
Details about A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care | BibTeX data for A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care
-
[26]
A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care
M. A. Slaymaker‚ A. C. Simpson‚ J. M. Brady‚ D. J. Gavaghan‚ F. Reddington and P. Quirke
In Proceedings of the IEEE Symposium on Computer Based Medical Systems. IEEE Computer Society Press. 2006.
Details about A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care | BibTeX data for A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care
-
[27]
On tracker attacks in health grids
A. C. Simpson‚ D. J. Power and M. A. Slaymaker
In Proceedings of the Annual ACM Symposium on Applied Computing (SAC '06). Pages 209–216. ACM Press. 2006.
Details about On tracker attacks in health grids | BibTeX data for On tracker attacks in health grids
-
[28]
Towards fine−grained access control in health grids
A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker and E. A. Politou
In Proceedings of the Ottawa Workshop on New Challenges in Access Control. April, 2005.
Details about Towards fine−grained access control in health grids | BibTeX data for Towards fine−grained access control in health grids
-
[29]
Protecting Sensitive Patient Data via Query Modification
D. J. Power‚ M. A. Slaymaker‚ E. A. Politou and A. C. Simpson
In Proceedings of the 20th ACM Symposium on Applied Computing. Pages 224−230. March, 2005.
Details about Protecting Sensitive Patient Data via Query Modification | BibTeX data for Protecting Sensitive Patient Data via Query Modification
-
[30]
Towards secure Grid−enabled healthcare
D. J. Power‚ E. A. Politou‚ M. A. Slaymaker and A. C. Simpson
In Software: Practice and Experience. Vol. 35. No. 9. Pages 857–871. 2005.
Details about Towards secure Grid−enabled healthcare | BibTeX data for Towards secure Grid−enabled healthcare
-
[31]
Security Aspects of Grid−enabled Digital Mammography
M. A. Slaymaker‚ E. A. Politou‚ D. J. Power‚ S. Lloyd and A. C. Simpson
In Methods of Information in Medicine. Vol. 44. No. 2. Pages 207–210. 2005.
Details about Security Aspects of Grid−enabled Digital Mammography | BibTeX data for Security Aspects of Grid−enabled Digital Mammography
-
[32]
On deducibility and anonymisation in medical databases
D. J. Power‚ M. A. Slaymaker and A. C. Simpson
In W. Jonker and M. Petkovic, editors, Proceedings of Secure Data Management 2005. Vol. 3674 of Lecture Notes in Computer Science. Pages 170–184. Springer. 2005.
Details about On deducibility and anonymisation in medical databases | BibTeX data for On deducibility and anonymisation in medical databases
-
[33]
A secure wrapper for OGSA−DAI
D. J. Power‚ M. A. Slaymaker‚ E. A. Politou and A. C. Simpson
In Proceedings of the European Grid Conference‚ 2005. Vol. 3470 of Lecture Notes in Computer Science. Pages 485–494. Springer. 2005.
Details about A secure wrapper for OGSA−DAI | BibTeX data for A secure wrapper for OGSA−DAI
-
[34]
On XACML‚ role−based access control‚ and health grids
D. J. Power‚ M. A. Slaymaker‚ E. A. Politou and A. C. Simpson
In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.
Details about On XACML‚ role−based access control‚ and health grids | BibTeX data for On XACML‚ role−based access control‚ and health grids
-
[35]
GIMI: Generic Infrastructure for Medical Informatics
A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker and E. A. Politou
In Proceedings of the 18th IEEE Symposium on Computer−Based Medical Systems (CBMS 2005). Pages 564–566. IEEE Computer Society Press. 2005.
Details about GIMI: Generic Infrastructure for Medical Informatics | BibTeX data for GIMI: Generic Infrastructure for Medical Informatics
-
[36]
A vision for secure grid−enabled healthcare
M. A. Slaymaker‚ D. J Power‚ E. A. Politou and A. C. Simpson
In Workshop on Grid Security Practice and Experience. Technical Report YCS−2004−380‚ University of York. June, 2004.
Details about A vision for secure grid−enabled healthcare | BibTeX data for A vision for secure grid−enabled healthcare
-
[37]
eDiaMoND: risk analysis
M. A. Slaymaker‚ E. A. Politou‚ D. J. Power‚ S. Lloyd and A. C. Simpson
In Proceedings of HealthGrid 2004‚ Claremont‚ France. 2004.
Details about eDiaMoND: risk analysis | BibTeX data for eDiaMoND: risk analysis
-
[38]
An Approach to the Storage of DICOM files for Grid−Enabled Medical Imaging Databases
D. J. Power‚ E. A. Politou‚ M. A. Slaymaker‚ S. Harris and A. C. Simpson
In Proceedings of the 19th ACM Symposium on Applied Computing. Pages 272–279. 2004.
Details about An Approach to the Storage of DICOM files for Grid−Enabled Medical Imaging Databases | BibTeX data for An Approach to the Storage of DICOM files for Grid−Enabled Medical Imaging Databases
-
[39]
e−health security issues: the eDiaMoND perspective
M. A. Slaymaker‚ E. A. Politou‚ D. J. Power and S. Lloyd
In Proceedings of the 2004 UK e−Science All Hands Meeting. 2004.
Details about e−health security issues: the eDiaMoND perspective | BibTeX data for e−health security issues: the eDiaMoND perspective
-
[40]
An approach to the storage of DICOM files for grid−enabled medical imaging databases
D. J. Power‚ E. A. Politou‚ M. A. Slaymaker‚ S. Harris and A. C. Simpson
In Proceedings of the 2003 UK e−Science All Hands Meeting. 2003.
Details about An approach to the storage of DICOM files for grid−enabled medical imaging databases | BibTeX data for An approach to the storage of DICOM files for grid−enabled medical imaging databases