蔡谊
- 作品数：19 被引量：127H指数：5
- 供职机构：中国人民解放军海军计算技术研究所更多>>
- 发文基金：国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术社会学经济管理电子电信更多>>
- 安全操作系统发展现状及对策
- 一、引言操作系统是应用软件同系统硬件的接口,其目标是高效地、最大限度地、合理地使用计算机资源。若没有安全操作系统的支持,数据库就不可能具有存取控制的安全可信性,就不可能有网络系统的安全性,也不可能有应用软件信息处理的安全...
- 蔡谊沈昌祥
- 文献传递
- 一种提供主动安全服务的可信软件基
- 一种提供主动安全服务的可信软件基，包括可信密码模块和操作系统内核；在操作系统内核设有内核级可信密码模块驱动、内核级可信软件栈、内核级安全服务模块；内核级安全服务模块内设有安全管理器以及安全策略服务器；可信密码模块提供加密...
- 金刚沈昌祥郑志蓉蔡谊刘毅傅子奇涂航汪晓睿罗云锋
- 操作系统安全结构框架中应用类通信安全模型的研究被引量：11
- 2005年
- 经典的BLP模型是解决保密性问题的理论基础 ,Biba模型是一种简明易实现的完整性模型 在应用系统中数据的共享和安全是一对矛盾 在将应用系统抽象为应用类的基础上 ,引入完整性规则集代表信息的可信度 ,结合BLP模型和Biba模型构造了一种应用类通信的安全模型 ,并给出了模型的形式化描述和正确性证明 应用类通信安全模型不仅解决了保密性问题 ,而且解决了完整性问题 以支持B/S文电传输应用系统的安全为例 ,给出了在操作系统中实现应用类通信安全模型的方法 。
- 郑志蓉蔡谊沈昌祥
- 关键词：操作系统应用类BLP模型BIBA模型B/S应用
- 美军GIG信息安全保障现状分析被引量：2
- 2013年
- 随着美军从工业时代军队向信息时代军队的转变,发展和完善全球信息栅格系统(GIG)可以为美军提供一个以网络为中心的作战环境。文中通过研究美军GIG体系架构与信息安全保障之间的关系,分析了GIG信息安全保障的5个关键因素,并简要介绍了与GIG同期发展的美军密码现代化计划,对我军信息化条件下的信息安全保障建设具有重要的借鉴意义。
- 蔡谊崔勇
- 关键词：全球信息栅格信息安全保障
- PKI技术在电子政务中的应用被引量：32
- 2002年
- 分析了美国政府在PKI(PublicKeyInfrastructure)行动中所取得的进展 ,阐述了在电子政务中推广PKI技术将面临的种种困难 ,并由此对PKI技术在我国电子政务中的应用发表了一些看法和建议。
- 蔡谊沈昌祥
- 关键词：PKI技术电子政务信息安全办公自动化
- 一种雷情录报显示系统的实现被引量：1
- 2000年
- 针对当前部分雷达装备在报情方面存在的问题 ,提出了一种雷情录报显示系统。系统由数据录取板和读报显示板两大部分组成 ,将两块模板嵌入现役装备中 。
- 蔡谊
- 面向虚拟化技术的可信计算平台研究被引量：10
- 2013年
- 虚拟化技术的广泛运用为新型计算环境带来了新的安全威胁和挑战,如何通过增强虚拟机的安全性保障云服务的安全,是目前亟需解决的问题。文章一方面研究虚拟化技术如何对可信计算平台提供支撑,另一方面研究可信计算平台如何为虚拟化技术提供安全保障服务。通过构建基于可信计算的虚拟化安全架构,对面向虚拟化的可信计算平台关键技术进行分析和研究,能够较好地解决虚拟化带来的新安全问题。
- 蔡谊左晓栋
- 关键词：可信计算虚拟化计算环境主动防御
- 可信计算平台安全管理系统及安全管理方法
- 一种可信计算平台安全管理系统及安全管理方法，包括可信密码模块、安全管理中心模块、安全管理代理模块和安全策略管理协议模块；安全管理中心模块和可信密码模块间的安全策略管理协议模块基于可信密码模块实现，保证安全管理策略传输的安...
- 郑志蓉沈昌祥金刚蔡谊刘毅傅子奇涂航黄强汪晓睿
- 文献传递
- 操作系统安全结构框架中应用类通信安全模型的研究
- 本文在支持应用类安全的操作系统安全结构框架的基础上,提出了一种将BLP模型和Biba模型相结合的应用类通信安全模型,这种安全模型经过证明既符合BLP模型又符合Biba模型。根据该模型,给出了在操作系统中实现应用类安全通信...
- 郑志蓉蔡谊沈昌祥
- 关键词：操作系统应用类BLP模型BIBA模型
- 文献传递
- 安全操作系统中制定安全策略的研究被引量：5
- 2002年
- 本文在对Bell-La Padula模型进行深入分析的基础上,提出了在某些Linux和UNIX安全操作系统设计中对Bell-LaPadula模型的一种错误理解,并结合实际生活中的安全操作对模型进行分析,并给出了模型的形式化操作规则和保密性证明,表明该模型完全符合保密性要求,从而纠正了安全策略的错误制订,避免造成系统的失泄密。
- 蔡谊沈昌祥
- 关键词：安全操作系统BLP模型强制访问控制
