Tanvir Ahmed, Anand R. Tripathi. Static verification of security requirements in role based CSCW systems. In SACMAT 2003, 8th ACM Symposium on Access Control Models and Technologies, June 2-3, 2003, Villa Gallia, Como, Italy, Proceedings. pages 196-203, ACM, 2003. [doi]
@inproceedings{AhmedT03,
title = {Static verification of security requirements in role based CSCW systems},
author = {Tanvir Ahmed and Anand R. Tripathi},
year = {2003},
doi = {10.1145/775412.775438},
url = {http://doi.acm.org/10.1145/775412.775438},
tags = {rule-based, security},
researchr = {https://researchr.org/publication/AhmedT03},
cites = {0},
citedby = {0},
pages = {196-203},
booktitle = {SACMAT 2003, 8th ACM Symposium on Access Control Models and Technologies, June 2-3, 2003, Villa Gallia, Como, Italy, Proceedings},
publisher = {ACM},
isbn = {1-58113-681-1},
}