刘文清
- 作品数：21 被引量：180H指数：7
- 供职机构：解放军信息工程大学电子技术学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于安全操作系统的多级安全TCP/IP的研究与实现被引量：1
- 2001年
- 操作系统的安全性已引起人们的广泛重视，但安全操作系统已不再仅限于单机安全的范畴，它需要在网络安全的环境下进行讨论，多级安全TCP/IP就是安全操作系统在网络上的拓展，是其强制存取控制机制在网络安全服务上的应用。
- 刘文清刘海峰卿斯汉
- 关键词：INTERNET网络安全TCP/IP协议安全操作系统
- 一种密钥分配方案在PPV条件接收系统中的应用被引量：1
- 2006年
- 条件接收是实现PPV业务的重要技术,而其中的密钥分发效率和安全性又是影响条件接收系统性能的关键因素。文章在基于四层密钥分配方案的基础上,提出了平衡树分层模型及相应密钥分发方法,该方法具有最优的密钥分发效率。
- 黄伟健周雁舟刘文清
- 关键词：密钥分配平衡树
- 基于信息流分析的隐蔽通道分类与标识
- 标识与处理隐蔽通道是美国橘皮书TCSBC对B2及以上级别安全产品的关键评估要求，也是国际标准CC评估EAL5及以上系统的关键指标。本文基于安全操作系统SLinux的设计开发实践，采用信息流序列来描述信息流和隐蔽通道，阐述...
- 陈喆刘文清徐宁
- 关键词：信息流分析安全操作系统
- 文献传递
- 信任特征在SELinux策略服务器中的设计与应用被引量：1
- 2008年
- 对SELinux策略服务器在安全性和脆弱性方面存在的问题进行分析,基于可信计算提出信任特征的概念,将其引入到SELinux策略服务器的设计中,给出一种基于信任特征的SELinux策略服务器体系结构。通过用户空间安全服务器与策略管理服务器的构建解决脆弱性问题,提供可信实体信任特征,解决安全性问题,有效完善了SELinux体系结构。
- 徐宁杨梦梦刘文清
- 关键词：可信计算策略服务器
- 基于Linux开发安全操作系统的研究被引量：18
- 2001年
- 1 引言当前信息安全的问题已经引起人们的广泛关注,随着防火墙、网络保密机、网络安全服务器、安全管理中心等网络安全产品的研制和使用,人们不禁提出这样的问题:它们的“底座”(操作系统)可靠坚固吗?”操作系统是计算机资源的直接管理者,所有应用软件都是基于操作系统来运行的,没有操作系统的安全,是不可能真正解决数据库安全。
- 刘文清刘海峰卿斯汉
- 关键词：操作系统LINUX安全性计算机信息安全
- 结构化保护级安全操作系统
- 卿斯汉刘文清李丽萍朱继锋贺也平季庆光刘克龙倪惜珍唐柳英沈晴霓张可新邢常亮王富良赵志科王瑜
- 该项目研制了安全功能符合国标GB17859第四级（结构化保护级），安全保证参考国标GB/T18336第EAL5级的高等级安全操作系统。设计了新型的、支持多策略的，由“策略等价、策略冲突和策略协作”组成的形式化安全框架，对...
- 关键词：
- 关键词：安全操作系统
- 一个安全操作系统SLinux隐蔽通道标识与处理被引量：10
- 2007年
- 标识与处理隐蔽通道是美国橘皮书TCSEC对B2及以上级别安全产品的关键评估要求,也是国际标准CC评估EAL5及以上系统的关键指标.本文基于安全操作系统SLinux的设计开发实践,给出一个安全系统隐蔽通道的标识方案、分析流程、分析结果,论述了隐蔽通道带宽计算的关键点,探讨了隐蔽通道标识与处理方案.
- 刘文清韩乃平陈喆
- 一个安全文件系统的半形式化功能规范设计被引量：1
- 2006年
- 形式化、半形式化规范的理论和实践是高安全等级操作系统设计所必须解决的问题,但我国高安全等级操作系统形式化设计方面十分薄弱,没有实践过程和相关理论的技术积累。本文借助Lapadula给出的规则集建模方法,基于Linux系统调用给出了一个实际开发的安全文件系统NeoFs的顶层功能规范的方法和过程。
- 韩乃平刘文清
- 关键词：安全文件系统
- 一个修改BLP安全模型的设计及在SecLinux上的应用被引量：32
- 2002年
- 建立了一个面向最小特权管理的修改BLP安全模型.该模型引入了角色管理、域隔离、隐蔽通道限制、病毒防护等概念,并实际应用于自主开发的安全操作系统SecLinux中.
- 刘文清卿斯汉刘海峰
- 关键词：安全操作系统BLP安全模型
- 加大力度 自主研发我国高等级安全操作系统
- 2002年
- 引言
操作系统的安全性在计算机系统的整体安全性中具有至关重要的作用,没有操作系统提供的安全性,计算机系统的安全性是没有基础的.AT&T实验室的S.Bellovin博士曾经对美国CERT(Computer EmergencyResponse Term)提供的安全报告进行过分析,结果表明,很多安全问题都源于操作系统的安全脆弱性.
- 卿斯汉刘文清
- 关键词：操作系统安全性安全等级GB/T18336
