武延军 梁洪亮 崔奇 孙玉芳 商青华 袁春阳

可信计算组织 安全工程 安全策略模型 审计 安全 安全评价标准 标准符合性测试 安全操作系统 安全产品 确信度 Linux安全模块 CC标准 访问控制 计算机安全 安全可信度 定量描述 安全系统开发 可信平台模块 共同标准 标准符合链

中国科学院研究生院 中国科学院软件研究所