Synthesising verified access control systems through model checking.
J. Comput. Secur., 2008
Generating verified access control policies through model-checking.
PhD thesis, 2005
Evaluating Access Control Policies Through Model Checking.
Proceedings of the Information Security, 8th International Conference, 2005
Synthesising verified access control systems in XACML.
Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, 2004