Model-checking Access Control Policies

[GuelevRyanSchobbens2004AccessControl] Dimitar P. Guelev, Mark Ryan and Pierre-Yves Schobbens. Model-checking Access Control Policies. In Seventh Information Security Conference (ISC'04), Springer. Lecture notes in Computer Science. 2004.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: ftp://ftp.cs.bham.ac.uk/pub/authors/M.D.Ryan/04-acl-full.pdf