Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev. Evaluating Access Control Policies Through Model Checking. In Jianying Zhou, Javier Lopez, Robert H. Deng, Feng Bao, editors, Information Security, 8th International Conference, ISC 2005, Singapore, September 20-23, 2005, Proceedings. Volume 3650 of Lecture Notes in Computer Science, pages 446-460, Springer, 2005. [doi]
Abstract is missing.