Evaluating Access Control Policies Through Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Nan Zhang 0003' in GoogleThis author has not been identified. Look up 'Mark Ryan' in GoogleThis author has not been identified. Look up 'Dimitar P. Guelev' in Google

runs on WebDSL