Zhouyi Zhou

	2009
3		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		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		Zhouyi Zhou, Bin Liang, Li Jiang, Wenchang Shi, Yeping He: A Formal Description of SECIMOS Operating System. MMM-ACNS 2005: 286-297

Coauthor Index

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]