Dr Rajkumar  P.V.
Title
Cited by
Cited by
Year
Safety Decidability for Pre-Authorization Usage Control with Finite Attribute Domains
PV Rajkumar, R Sandhu
IEEE Transactions on Dependable and Secure Computing 13 (5), 582 - 590, 2016
132016
Concurrent usage control implementation verification using the spin model checker
PV Rajkumar, SK Ghosh, P Dasgupta
International Conference on Network Security and Applications, 214-223, 2010
72010
Security Enhanced Administrative Role Based Access Control Models
PV Rajkumar, R Sandhu
ACM Conference on Computer and Communications Security, Vienna, Austria …, 2016
5*2016
Safety Decidability for Pre-Authorization Usage Control with Identifier Attribute Domains
PV Rajkumar, R Sandhu
IEEE Transactions on Dependable and Secure Computing 17 (3), 465 - 478, 2020
32020
Application specific usage control implementation verification
PV Rajkumar, SK Ghosh, P Dasgupta
International Journal of Network Security and Its Applications 1 (3), 116-128, 2009
32009
Formal and semi-formal methods for application specific usage control and security
PV Rajkumar
PhD dissertation, School of Information Technology, Indian Institute of …, 2012
22012
An end to end correctness verification approach for application specific usage control
PV Rajkumar, SK Ghosh, P Dasgupta
IEEE International Conference on Industrial and Information Systems (ICIIS), 1-6, 2009
22009
Formal Analysis and Design of Usage Control Protection Mechanisms
PV Rajkumar, R Sandhu
Second Annual San Antonio Research Forum, San Antonio, TX, USA., 2014
2014
Formal and Semi-formal Methods for Application Specific Security and Usage Control
PV Rajkumar
Indian Institute of Technology Kharagpur, 2012
2012
Security Auditing Framework for an Enterprise LAN
NR Kumar, PV Rajkumar, SK Ghosh
International Conference on Emerging Applications of Information Technology …, 2006
2006
New Approach For Anonymous Publication in P2P File Sharing Applications
PV Rajkumar, NR Kumar, SK Ghosh
International Conference on Emerging Applications of Information Technology …, 2006
2006
The system can't perform the operation now. Try again later.
Articles 1–11