Overview
System Model
SecLan Model
Kim et al.
Verification of RBAC features
Checks
Entity
Activity
Data
InformationFlow
Detects
CWE1268
CWE276