| |
| 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] |