| |
| 2009 | ||
|---|---|---|
| 3 | EE | Xinsong Wu, Zhouyi Zhou, Yeping He, Hongliang Liang: Static Analysis of a Class of Memory Leaks in TrustedBSD MAC Framework. ISPEC 2009: 83-92 |
| 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] |
| 3 | Li Jiang | [1] |
| 4 | Bin Liang | [1] |
| 5 | Hongliang Liang | [3] |
| 6 | Wenchang Shi | [1] |
| 7 | Xinsong Wu | [3] |
| 8 | Chunyang Yuan | [2] |