Security analysis of ABAC under an administrative model - Jha, Sadhana; Sural, Shamik; Atluri, Vijayalakshmi; Vaidya, Jaideep (IET information security, 2019)
Keywords: ABAC system; access control decisions; access decisions; access request; attribute assignment; attribute values; attribute‐based access control; authorisation; comprehensive attribute‐based administrative model; computability; contextual information; present‐day computing environment; requesting user; Research Article; satisfiability modulo theories‐based model checking tool; security analysis; security implications; security policies; security properties; access decisions; security analysis; access request; access control decisions; requesting user; attribute-based access control; computability; security properties; contextual information; security implications; attribute values; satisfiability modulo theories-based model checking tool; security policies; authorisation; comprehensive attribute-based administrative model; attribute assignment; present-day computing environment; ABAC system