黄强 孟祥义 刘益和 蔡谊 孙波 孙玉芳 朱国华 卢正鼎 刘克龙 杨晓艳 何建波 刘欣 王飞 卿斯汉 方艳湘 吕辉军 沈宁 司天歌 梁彬 雷倩睿 沈昌祥 王超 石文昌 陈幼雷 戴一奇 谭智勇 吴晓利 韩炜 郑志蓉 张凯

完整性 形式化描述 BS应用 Z语言 终端 访问控制 BIBA模型 安全模型 安全Web服务器 LSM 有用性 区间权限 Linux安全模块 ZEVES定理证明器 保密性 DTE安全策略 加密解密 角色层次 多级安全 动态调整 TCSEC标准 信息流 安全 安全策略 Biba模型 不干扰模型 Linux MLS策略 强制访问控制 安全不变式