Security Analysis of Administrative Role-Based Access Control Policies with Contextual Information. - Khai Kim Quoc Dinh; Tuan Duc Tran; Anh Truong (FDSE, 2017)

Automated Security Analysis of Authorization Policies with Contextual Information. - Khai Kim Quoc Dinh; Anh Truong (Trans. Large Scale Data Knowl. Centered Syst., 2019)