Temporal RBAC Security Analysis Using Logic Programming in the Presence of Administrative Policies. - Sadhana Jha; Shamik Sural; Jaideep Vaidya; Vijayalakshmi Atluri (ICISS, 2014)

Security analysis of temporal RBAC under an administrative model. - Sadhana Jha; Shamik Sural; Jaideep Vaidya; Vijayalakshmi Atluri (Comput. Secur., 2014)

Enforcing Separation of Duty in Attribute Based Access Control Systems. - Sadhana Jha; Shamik Sural; Vijayalakshmi Atluri; Jaideep Vaidya (ICISS, 2015)

An Administrative Model for Collaborative Management of ABAC Systems and Its Security Analysis. - Sadhana Jha; Shamik Sural; Vijayalakshmi Atluri; Jaideep Vaidya (CIC, 2016)

Poster: Constrained Policy Mining in Attribute Based Access Control. - Mayank Gautam; Sadhana Jha; Shamik Sural; Jaideep Vaidya; Vijayalakshmi Atluri (SACMAT, 2017)

Specification and Verification of Separation of Duty Constraints in Attribute-Based Access Control. - Sadhana Jha; Shamik Sural; Vijayalakshmi Atluri; Jaideep Vaidya (IEEE Trans. Inf. Forensics Secur., 2018)

Security analysis of ABAC under an administrative model. - Sadhana Jha; Shamik Sural; Vijayalakshmi Atluri; Jaideep Vaidya (IET Inf. Secur., 2019)