孙玉芳 单智勇 梁彬 孙波 赵庆松 石文昌 梁洪亮

安全操作系统 数字取证过程模型 入侵检测技术 计算机系统 安全评价标准 Biba模型 安全功能 有效性 异常检测 严格完整性政策 Linux 计算机安全 信息完整性 计算机取证过程模型 网络入侵检测系统 信息安全 真实性 电子数据取证

中国科学院软件研究所 北京中科红旗软件技术有限公司 中国科学院软件所