Vahid R. Karimi, Donald D. Cowan. Verification of Access Control Policies for REA Business Processes. In Sheikh Iqbal Ahamed, Elisa Bertino, Carl K. Chang, Vladimir Getov, Lin Liu, Hua Ming, Rajesh Subramanyan, editors, Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, 20-24 July 2009. pages 422-427, IEEE Computer Society, 2009. [doi]
@inproceedings{KarimiC09,
title = {Verification of Access Control Policies for REA Business Processes},
author = {Vahid R. Karimi and Donald D. Cowan},
year = {2009},
doi = {10.1109/COMPSAC.2009.170},
url = {http://dx.doi.org/10.1109/COMPSAC.2009.170},
tags = {access control policies, access control},
researchr = {https://researchr.org/publication/KarimiC09},
cites = {0},
citedby = {0},
pages = {422-427},
booktitle = {Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, 20-24 July 2009},
editor = {Sheikh Iqbal Ahamed and Elisa Bertino and Carl K. Chang and Vladimir Getov and Lin Liu and Hua Ming and Rajesh Subramanyan},
publisher = {IEEE Computer Society},
}