Zhouyi Zhou

• Affiliations:

• Institute of Software, Chinese Academy of Sciences, Beijing, China and Graduate School, Chinese Academy of Sciences, Beijing, China

• Organizations:

• China Nat. Pet. Corp.;Corporate Research Beijing;Corporate Research Beijing;Chinese Academy of Sciences and Loongson Technologies Corporation Limited;Chinese Academy of Sciences and Loongson Technologies Corporation Limited;Graduate University and Institute of Software;

• Fields:
• secure operating system security label security policy access control category attribute formal method RBAC model high security level security administration security label management

• Static Analysis of a Class of Memory Leaks in TrustedBSD MAC Framework

  Xinsong Wu;Zhouyi Zhou;Yeping He;Hongliang Liang

  ISPEC '09 Proceedings of the 5th International Conference on Information Security Practice and Experience

• A State-Adaptive Access Control Model for Web-Based IDRS System

  Xinsong Wu;Yeping He;Zhouyi Zhou

  NSWCTC '09 Proceedings of the 2009 International Conference on Networks Security, Wireless Communications and Trusted Computing - Volume 02

• A verifiable formal specification for RBAC model with constraints of separation of duty

  Chunyang Yuan;Yeping He;Jianbo He;Zhouyi Zhou

  Inscrypt'06 Proceedings of the Second SKLOIS conference on Information Security and Cryptology

• A formal description of SECIMOS operating system

  Zhouyi Zhou;Bin Liang;Li Jiang;Wenchang Shi;Yeping He

  MMM-ACNS'05 Proceedings of the Third international conference on Mathematical Methods, Models, and Architectures for Computer Network Security