许峰 刘益和 谢钧 赵涛 韩吉韬 商如斌 黄皓 沈昌祥 李彦华 赵会兵

设备集成化管理体系 Biba模型 BLP模型 复制服务器 模板 完整性 多级安全 COTS 自定义 安全策略 功能模型 计算机集成制造系统 有用性 自动闭塞系统 技术服务 扩展模型 体系结构 扩展属性 访问控制模型 机密性 自动测试系统