Mark Slaymaker
|
Mark Slaymaker
Research Officer
+44 1865 283528
Wolfson Building, Parks Road, Oxford OX1 3QD |
Selected Publications
| 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. |
| 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. |
| 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. |
Info
|
Themes |
|
|
Activities |
Models and technologies for secure data sharing | Research Informatics | Systems Security |
|
Projects |
sif | Models and technologies for assured, context-sensitive access control | Gauge |
|
Completed Projects |
