| 2006 | ||
|---|---|---|
| 2 | EE | Chunyang Yuan, Yeping He, Jianbo He, Zhouyi Zhou: A Verifiable Formal Specification for RBAC Model with Constraints of Separation of Duty. Inscrypt 2006: 196-210 |
| 2005 | ||
| 1 | EE | Zhouyi Zhou, Bin Liang, Li Jiang, Wenchang Shi, Yeping He: A Formal Description of SECIMOS Operating System. MMM-ACNS 2005: 286-297 |
| 1 | Jianbo He | [2] |
| 2 | Yeping He | [1] [2] |
| 3 | Li Jiang | [1] |
| 4 | Bin Liang | [1] |
| 5 | Wenchang Shi | [1] |
| 6 | Chunyang Yuan | [2] |