"VeRA: Verifying RBAC and Authorization Constraints Models of Web Applications."

Thanh-Nhan Luong, Hanh Phuc Nguyen, Ninh-Thuan Truong (2021)

Details and statistics

DOI: 10.1142/S0218194021500182

access: closed

type: Journal Article

metadata version: 2021-06-08

a service of  Schloss Dagstuhl - Leibniz Center for Informatics