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. 2012. |
|
[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. |
|
[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 Springer−Verlag Lecture Notes in Computer Science. Pages 227–242. 2011. |
|
[4] |
Automatic conformance checking of role−based access control policies in 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. |
|
[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. |
|
[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. |
|
[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. |
|
[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. |
|
[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. |
|
[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. |
|
[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. |
|
[12] |
On the construction and verification of self−modifying access control policies David Power‚ Mark Slaymaker and Andrew Simpson In Proceedings of Secure Data Management (SDM) 2009. Vol. 5776 of Lecture Notes in Computer Science. Pages 107–121. Spring−Verlag. 2009. |
|
[13] |
On the utilisation of a service−oriented infrastructure to support radiologist training Andrew Simpson‚ Mark Slaymaker‚ Moi Hoon Yap‚ Alastair Gale‚ David Power and Douglas Russell In Proceedings of the 22nd IEEE Symposium on Computer−Based Medical Systems (CBMS 2009). Pages 1–4. IEEE Computer Society Press. 2009. |
|
[14] |
On the secure sharing of legacy data X. Ma D. Russell D. J. Power M. A. Slaymaker G. Kouadri Mostefaoui and A. C. Simpson In Proceedings of the 2009 IEEE Conference on IT: Next Generation (ITNG 2009). Pages 1676–1679. 2009. |
|
[15] |
A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries X. Ma A. C. Simpson D. J. Power D. Russell M. A. Slaymaker G. Kouadri−Mostefaoui and G. Wilson In Studies in Health Technology and Informatics. Vol. 138. Pages 3–12. 2008. |
|
[16] |
The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography Chris Tromans‚ Sir Mike Brady‚ David Power‚ Mark Slaymaker‚ Douglas Russell and Andrew Simpson In Proceedings of MICCAI−Grid 2008. 2008. |
|
[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. |
|
[18] |
A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries X. Ma A. C. Simpson D. J. Power D. Russell M. A. Slaymaker G. Kouadri−Mostefaoui and G. Wilson In Proceedings of HealthGrid 2008. 2008. |
|
[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. |
|
[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. 2008. |
|
[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. |
|
[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. |
|
[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‚ R. Reddington‚ P. Quirke and D. J. Gavaghan In Computational & Mathematical Methods in Medicine. Vol. 7. No. 2&3. Pages 177–188. 2006. |
|
[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. |
|
[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. |
|
[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. |
|
[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). ACM Press. 2006. |
|
[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. |
|
[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. |
|
[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. |
|
[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. |
|
[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−Verlag. 2005. |
|
[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−Verlag. 2005. |
|
[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. |
|
[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. Pages 564–566. 2005. |
|
[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. |
|
[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. |
|
[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. |
|
[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. |
|
[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. |