DMCA

Towards formal verification of role-based access control policies (2008)

by Somesh Jha , Ninghui Li , Mahesh Tripunitara , Qihua Wang , William H. Winsborough
Venue:IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
Citations:30 - 6 self