单智勇 赵庆松 袁春阳 吕洪利 罗宇翔 孙玉芳 李尚杰 张相锋 石文昌 潘学俭 吴新松 周洲仪 刘伟 田硕 贺也平 顾少慰

FreeBSD 虚拟文件系统层 静态分析 实现 模型 Clark-Wilson模型 强制访问控制 mygcc 二进制程序 地址空间随机化 中间表示 安全保证 安全缺陷 可用性 钩子放置 反向授权 正确性验证 效率 国家标准 安全 审计子系统 私有组 输入输出系统 审计 完整性策略 安全评价标准 安全操作系统 自主访问控制 通用标准CC 计算机安全

北京中科红旗软件技术有限公司 中国科学院研究生院 北京信息技术应用研究所 中国科学院软件研究所 中国科学院软件研究所国家基础软件工程研究... 中国科学院软件研究所基础软件国家工程研究... 国家计算机网络应急技术处理协调中心