Mark Slaymaker
|
Mark Slaymaker
Research Officer
+44 1865 283528
Wolfson Building, Parks Road, Oxford OX1 3QD |
Selected Publications
| 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. |
| 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. |
Info
|
Themes |
|
|
Activities |
Cyber Security Centre | 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 |
