刘海峰 作品数:13 被引量:173 H指数:6 供职机构: 中国科学院软件研究所 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 中国科学院知识创新工程 更多>> 相关领域: 自动化与计算机技术 更多>>
安全操作系统的实时报警 被引量:13 2003年 提出了一种安全操作系统实时报警的方法 ,它首先通过监控系统正常状态下产生的审计事件串 ,得到系统的正常状态 ,即正常库 ;然后 ,以正常库为标准对系统产生的审计事件串进行实时监控 ,如果发现偏离正常库的审计事件串 。 刘海峰 卿斯汉 刘文清关键词:安全操作系统 实时报警 审计 入侵检测 计算机 基于安全操作系统的多级安全TCP/IP的研究与实现 被引量:1 2001年 操作系统的安全性已引起人们的广泛重视,但安全操作系统已不再仅限于单机安全的范畴,它需要在网络安全的环境下进行讨论,多级安全TCP/IP就是安全操作系统在网络上的拓展,是其强制存取控制机制在网络安全服务上的应用。 刘文清 刘海峰 卿斯汉关键词:INTERNET 网络安全 TCP/IP协议 安全操作系统 安全操作系统审计的设计与实现 被引量:59 2001年 审计子系统作为安全操作系统的一个重要组成部分 ,对于监督系统的正常运行、保障安全策略的正确实施、构造计算机入侵检测系统等都具有十分重要的意义 .给出了一个基于 L inux资源 ,拥有自主版权 ,符合GB1785 9- 1999第三级“安全标记保护级”的审计子系统的设计和实现 .在此审计系统中 ,通过在核内及应用程序中设置审计点 ,以全面地收集数据 ;通过在主体和客体两方面设置审计标准 ,使审计标准的配置更加灵活、全面 ;通过优化缓冲区的管理 ,提高了整个子系统的效率 . 刘海峰 卿斯汉 刘文清关键词:安全操作系统 审计 LINUX 内核 基于Linux开发安全操作系统的研究 被引量:18 2001年 1 引言当前信息安全的问题已经引起人们的广泛关注,随着防火墙、网络保密机、网络安全服务器、安全管理中心等网络安全产品的研制和使用,人们不禁提出这样的问题:它们的“底座”(操作系统)可靠坚固吗?”操作系统是计算机资源的直接管理者,所有应用软件都是基于操作系统来运行的,没有操作系统的安全,是不可能真正解决数据库安全。 刘文清 刘海峰 卿斯汉关键词:操作系统 LINUX 安全性 计算机 信息安全 基于安全操作系统的透明加密文件系统的设计 被引量:20 2003年 Almost all the important information is saved on physical media as files and managed by file system. Sofilesystem's security is an important promise to information security. We present a transparent cryptographic file sys-tem based on secure operating system(SecTCFS). The users do not aware the exist of the encrypting process. Au-thentication promises that valid user can access the files in the system. 魏丕会 卿斯汉 刘海峰关键词:操作系统 操作系统 计算机 等级保护支撑平台研制与应用 冯登国 孟亚平 李嵩 苏璞睿 刘海峰 张阳 该项目提出了一套基于大规模知识库的等级保护测评技术体系,以面向关键资产的评估方法和多标准融合的检测方法库为核心,从测评规范、关键技术、检测工具、业务系统、实验环境等方面构建了一套完整的等级保护评估体系。建立了一个多标准融...关键词:关键词:等级保护 一个修改BLP安全模型的设计及在SecLinux上的应用 被引量:32 2002年 建立了一个面向最小特权管理的修改BLP安全模型.该模型引入了角色管理、域隔离、隐蔽通道限制、病毒防护等概念,并实际应用于自主开发的安全操作系统SecLinux中. 刘文清 卿斯汉 刘海峰关键词:安全操作系统 BLP安全模型 基于Linux资源的国产安全操作系统的设计 刘文清 卿斯汉 刘克龙 蒙杨 刘海峰 王戍靖 李立萍 熊雁凌 袁勋 石怡 项目基于Linux核心资源,在剖析、研究国外成功高级别安全操作系统的体系结构及其构建方法的基础上,采用了“改进/增强”方式来构造操作系统的安全内核,建立了改进安全模型-MBLP模型,并实现MBLP安全模型与系统安全策略、...关键词:关键词:安全操作系统 基于资源访问控制机制的安全Web服务器 被引量:4 2003年 提出了构建一个适用范围广、可移植性好、采用自主和强制访问控制机制并符合BLP多级安全模型的安全Web服务器所应遵循的原则、策略和实现方法。该安全Web服务器具有简单实用、安全功能全、配置灵活和支持多平台等突出的优点,可以同时满足多种应用环境的需要。 王涛 卿斯汉 刘海峰关键词:安全WEB服务器 用户认证 自主访问控制 强制访问控制 安全操作系统若干关键技术的研究 该文以一个实际的安全操作系统开发实践为基础,对安全操作系统开发的若干关键技术进行了研究.在对安全操作系统进行整体研究的基础上,主要取得了4个方面的研究成果.第一,在分析各类安全标准审计部分的基础上,结合主流操作系统的审计... 刘海峰关键词:安全操作系统 时序PETRI网 实时报警 入侵检测 计算机安全 文献传递