Evaluating Access Control Policies Through Model Checking

[ZhangRyanGuelev2005] Nan Zhang, Mark Ryan and Dimitar Guelev. Evaluating Access Control Policies Through Model Checking. In Eighth Information Security Conference (ISC'05). Lecture Notes in Computer Science volume 3650:446-460. 2005.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: ftp://ftp.cs.bham.ac.uk/pub/authors/M.D.Ryan/05-isc.pdf