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]
@inproceedings{ZhangRG05,
title = {Evaluating Access Control Policies Through Model Checking},
author = {Nan Zhang 0003 and Mark Ryan and Dimitar P. Guelev},
year = {2005},
doi = {10.1007/11556992_32},
url = {http://dx.doi.org/10.1007/11556992_32},
tags = {model checking, meta-model, access control policies, Meta-Environment, access control},
researchr = {https://researchr.org/publication/ZhangRG05},
cites = {0},
citedby = {0},
pages = {446-460},
booktitle = {Information Security, 8th International Conference, ISC 2005, Singapore, September 20-23, 2005, Proceedings},
editor = {Jianying Zhou and Javier Lopez and Robert H. Deng and Feng Bao},
volume = {3650},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-29001-X},
}