Luong, Thanh Nhan and Truong, Ninh Thuan (2020) VeRA: Verifying RBAC and authorization constraints models of web applications. International journal of software engineering and knowledge engineering (IJSEKE) . ISSN 0218-1940 (In Press)