孙凝晖 吴新松 潘学俭 梁洪亮 贺也平 宋怀明 吕洪利 周洲仪 安明远 王洋

内核 mygcc 通用标准CC 国家标准 审计子系统 数据划分 正确性验证 大规模数据密集型系统 静态分析 并行查询引擎 安全保证 审计 异步查询 强制访问控制框架 安全 效率 去重查询 钩子放置

中国科学院软件研究所 国家计算机网络应急技术处理协调中心 北京信息技术应用研究所 中国科学院研究生院