![]() | ![]() |
2008 | ||
---|---|---|
1 | EE | S. Jha, Ninghui Li, Mahesh V. Tripunitara, Qihua Wang, William H. Winsborough: Towards Formal Verification of Role-Based Access Control Policies. IEEE Trans. Dependable Sec. Comput. 5(4): 242-255 (2008) |
1 | Ninghui Li | [1] |
2 | Mahesh V. Tripunitara | [1] |
3 | Qihua Wang | [1] |
4 | William H. Winsborough | [1] |