Login / Signup

Towards Formal Verification of Role-Based Access Control Policies.

Somesh JhaNinghui LiMahesh V. TripunitaraQihua WangWilliam H. Winsborough
Published in: IEEE Trans. Dependable Secur. Comput. (2008)
Keyphrases