Thanh-Nhan Luong, Hanh Phuc Nguyen, Ninh-Thuan Truong. VeRA: Verifying RBAC and Authorization Constraints Models of Web Applications. International Journal of Software Engineering and Knowledge Engineering, 31(5):655-675, 2021. [doi]
Abstract is missing.