Sadhana Jha

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 4

Top Topics

Logic Programming

Approximate Functional Dependencies

Security Analysis

Top Venues

IEEE Trans. Inf. Forensics Secur.

Publications

Sadhana Jha, Shamik Sural, Vijayalakshmi Atluri, Jaideep Vaidya
Security analysis of ABAC under an administrative model. IET Inf. Secur. 13 (2) (2019)
Sadhana Jha, Shamik Sural, Vijayalakshmi Atluri, Jaideep Vaidya
Specification and Verification of Separation of Duty Constraints in Attribute-Based Access Control. IEEE Trans. Inf. Forensics Secur. 13 (4) (2018)
Mayank Gautam, Sadhana Jha, Shamik Sural, Jaideep Vaidya, Vijayalakshmi Atluri
Poster: Constrained Policy Mining in Attribute Based Access Control. SACMAT (2017)
Sadhana Jha, Shamik Sural, Vijayalakshmi Atluri, Jaideep Vaidya
An Administrative Model for Collaborative Management of ABAC Systems and Its Security Analysis. CIC (2016)
Sadhana Jha, Shamik Sural, Vijayalakshmi Atluri, Jaideep Vaidya
Enforcing Separation of Duty in Attribute Based Access Control Systems. ICISS (2015)
Sadhana Jha, Shamik Sural, Jaideep Vaidya, Vijayalakshmi Atluri
Security analysis of temporal RBAC under an administrative model. Comput. Secur. 46 (2014)
Sadhana Jha, Shamik Sural, Jaideep Vaidya, Vijayalakshmi Atluri
Temporal RBAC Security Analysis Using Logic Programming in the Presence of Administrative Policies. ICISS (2014)