Concurrent Usage Control Implementation Verification Using the SPIN Model Checker. - P. V. Rajkumar; Soumya Kanti Ghosh 001; Pallab Dasgupta (CNSA, 2010)

POSTER: Security Enhanced Administrative Role Based Access Control Models. - P. V. Rajkumar; Ravi S. Sandhu (CCS, 2016)

Safety Decidability for Pre-Authorization Usage Control with Finite Attribute Domains. - P. V. Rajkumar; Ravi S. Sandhu (IEEE Trans. Dependable Secur. Comput., 2016)

Safety Decidability for Pre-Authorization Usage Control with Identifier Attribute Domains. - P. V. Rajkumar; Ravi S. Sandhu (IEEE Trans. Dependable Secur. Comput., 2020)