搜索到101篇“ 安全策略模型“的相关文章
基于Web操作系统的移动瘦终端多安全策略模型被引量:4
2018年
安全级移动办公对信息系统不断提出更高的安全需求,在此背景下出现了瘦终端(Thin-Client)解决方案。其采用云存储、分布式终端系统和集中管理,为用户提供了更好的安全性。当前的主要技术包括虚拟桌面和Web终端,其中前者是主流。近年来,Web操作系统(Web OS)的发展促使Web终端受到业界重视,但Web OS还存在机密性和完整性保护不足的问题。基于Web OS系统的特点抽象建模,提出了混合机密性模型BLP和完整性模型Biba的多安全策略模型。首先利用格将机密性标签、完整性标签和范畴集合相结合,解决了BLP与Biba信息流相反的问题;然后提出可信主体的最小特权原则来进一步约束可信主体的权限,并给予特定可信主体临时权限,以提高灵活性和可用性;最后分析模型安全性和适用性。
杨莹杨莹朱大立
关键词:访问控制
网络安全策略模型及冲突检测研究
基于策略的网络管理由于具有灵活、易用、自动化等特点,在网络安全管理领域得到了广泛的运用。策略是由网络管理员配置的约束规则集,用于保护系统安全。对当前网络安全策略模型研究发现,模型中往往忽略了网络拓扑结构,然而网络拓扑是基...
吴世洲
关键词:决策树网络安全策略
基于全生命周期的运营商安全管理平台安全策略模型分析被引量:2
2016年
随着互联网的全球化,网络安全隐患呈专业化态势。为强化运营商网络安全领域管控力度,针对运营商安全管理平台提出一种基于PDCA及全生命周期的策略模型。通过深度剖析模型的功能架构、层次结构及业务数据流以探索最优模型设计,最终达到安全管理平台安全事件可发现、可管控、可运维、可测量的建设目标。实践表明,基于全生命周期的安全管理平台策略模型很好地实现了针对危险的主动发现、主动告知及主动防护。
张爱玲徐杰
关键词:全生命周期安全管理平台安全策略模型
医院移动就诊新模式中安全策略模型的探讨被引量:2
2016年
该文探讨分析了目前移动医院信息安全的现状,提出一种移动诊疗安全新模式,并对其架构和涉及的解决方案进行了详尽的阐述。该模型的运用使得医院信息化整体安全水平得到进一步的提高和加强,对提升医院整体管理水平有着积极意义。
李柯夏勇王伟
关键词:信息安全医院管理
数据库形式化安全策略模型建模及分析方法被引量:1
2016年
伴随着互联网的兴起,逐渐在数据库的安全建设中存在着很多问题。大多数的人都对网络不太了解,越来越担心自己的个人隐私被泄露以及数据库安全模型策略中难以发现的细小瑕疵,文章就针对数据库的安全建模策略进行分析建设,以更具体地了解数据库的安全策略
裴浪
关键词:数据库
数据库形式化安全策略模型建模及分析方法被引量:2
2015年
目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法,该方法较以往模型能够更加贴近实际数据库,应用范围更广,安全属性描述更加完整,描述的模型具有灵活的可扩展性,并且保证了建模与验证的效率。最后,将该方法应用于数据库管理系统Beyon DB的安全策略建模分析中,帮助发现了系统若干设计缺陷,证明了方法的有效性。
王榕张敏冯登国李昊
关键词:形式化建模数据库定理证明安全策略模型
基于F2AP网络安全策略模型研究被引量:15
2014年
F2AP是计划好一旦防火墙被渗透应怎么办,即防火墙安排事故计划。分析了防火墙备份策略、热恢复策略、加密策略和审计策略、回馈策略,从而建立一个完整的F2AP网络安全策略模型
张志勇李晓宁
关键词:备份加密审计
Xen无干扰安全策略模型安全机制研究
随着计算机技术的发展,虚拟化技术作为云计算最重要的支撑技术成为近年来的研究热点。在众多虚拟化技术中,Xen以其优越的性能和开源性受到业界广泛认同。Xen是一种系统虚拟机(Systerm Virtual Machine,S...
王静
关键词:XEN无干扰最小特权安全策略模型访问控制
应用于多级安全网络的安全策略模型研究被引量:1
2010年
为了应用多级安全策略,阻止信息流向不受信任的目的地,将BLP模型完整性增强的安全策略扩展到多级安全网络中,基于信息流的强制访问控制机制提出一个应用于多级安全网络的安全策略模型。该模型主要为网络层和数据链路层数据流提供相应的安全策略,很好地保证网络中数据流的机密性和完整性。
雷倩睿孟祥义
关键词:强制访问控制安全策略模型
基于信息流的多级安全策略模型研究被引量:4
2010年
内部威胁是企业组织面临的非常严重的安全问题,作为企业最贵重的信息资产——文档,是内部滥用的主要目标。以往的粗粒度安全策略,如最小权限原则、职责分离等,都不足以胜任文档安全化的内部威胁问题。提出了一个崭新的多级安全策略模型,引入了文档信息流和信息流图概念,并提出了相关算法。它能依据系统上下文环境的变化,动态地产生信息流的约束条件,屏蔽可能产生的隐藏信息流通道。
王辉贾宗璞申自浩卢碧波
关键词:信息流信息流图

相关作者

李丽萍
作品数:15被引量:48H指数:5
供职机构:中国科学院软件研究所
研究主题:安全操作系统 安全策略模型 权能 形式化 LINUX安全模块
卿斯汉
作品数:260被引量:3,748H指数:32
供职机构:中国科学院软件研究所
研究主题:网络安全 信息安全 防火墙 计算机网络 操作系统
张敏
作品数:183被引量:2,269H指数:14
供职机构:中国科学院软件研究所
研究主题:密文 访问控制 密文检索 隐私保护 大数据
贺也平
作品数:116被引量:529H指数:14
供职机构:中国科学院软件研究所
研究主题:可信计算 安全操作系统 信息安全 访问控制 源代码
冯登国
作品数:761被引量:7,865H指数:38
供职机构:中国科学院软件研究所
研究主题:信息安全 密码学 网络安全 访问控制 可信计算