# A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies

> Research article (IEEE Transactions on Software Engineering, 2017) · cited 32× · AI/ML

**Wikidata**: [openalex:W2427738745](https://www.wikidata.org/wiki/openalex:W2427738745)  
**Source**: https://4ort.xyz/entity/a-rigorous-framework-for-specification-analysis-and-enforcement-of-access-control-policies