Enforcing Cardinality Constraint in Temporal RBAC. - Sohail Rajdev; Barsha Mitra (SECRYPT, 2021)