检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种改进的blp模型

制造业自动化 2012年第16期34卷 35-37,86页

作者：宋法根刘振海梅江林盐城工学院继续教育学院盐城224000

blp模型是一种比较经典的安全模型,但是,它的规则太过严格,大大限制了模型的实用性和灵活性。本文在保证系统安全性的前提下,在一定程度上允许违背blp模型准则操作的存在,并对那些违背blp模型准则的操作采用基于事务的方法,从而使得模... 详细信息

blp模型是一种比较经典的安全模型,但是,它的规则太过严格,大大限制了模型的实用性和灵活性。本文在保证系统安全性的前提下,在一定程度上允许违背blp模型准则操作的存在,并对那些违背blp模型准则的操作采用基于事务的方法,从而使得模型的灵活性和安全性都有很大的改进。

关键词： blp模型访问控制系统安全信息流模型

面向移动Web操作系统的blp改进模型及应用

在线全文

学校读者我要写书评

暂无评论

信息安全学报 2017年第4期2卷 13-26页

作者：朱大立杨莹金昊邵京冯维淼中国科学院大学北京中国100049 中国科学院信息工程研究第四研究室北京中国100093

作为重要的机密性策略经典模型,blp模型通过对主体和客体进行分级和标记,并引入高安全等级的引用监视器,实现信息系统的强制访问。随着移动智能终端的普及,Web操作系统因其具有移动性、移植性、高扩展性和跨平台性等优点,成为移动政务... 详细信息

作为重要的机密性策略经典模型,blp模型通过对主体和客体进行分级和标记,并引入高安全等级的引用监视器,实现信息系统的强制访问。随着移动智能终端的普及,Web操作系统因其具有移动性、移植性、高扩展性和跨平台性等优点,成为移动政务系统的主要解决方案之一,并越来越受到研究人员的重视。但现有的Web操作系统对机密性要求不高,无法满足移动政务系统对安全保密的需求。本文从安全模型构建入手,对智能终端的Web操作系统进行抽象建模,并重定义blp模型的元素,增强主客体的访问控制以提高其机密性。鉴于blp模型缺乏可信主体的最小权限原则和完整性约束,本文在改进的blp模型当中重新划分主体、客体的安全级,增加可信级别标记和角色映射函数,并针对现有的Web操作系统进行模型映射,实现了最小权限原则、主体完整性约束和域间隔离机制,可有效提高Web操作系统机密性等级。

关键词： Web操作系统 blp模型移动终端操作系统安全最小权限原则完整性隔离

在线全文

学校读者我要写书评

暂无评论

blp改进模型的形式化描述及自动化验证

计算机工程 2013年第12期39卷 130-135页

作者：徐亮谭煌湖南师范大学数学与计算机科学学院长沙410081 高性能计算与随机信息处理省部共建教育部重点实验室长沙410081

在《信息安全技术操作系统安全技术要求》中,提出访问验证保护级安全操作系统的研发过程需要完全形式化的安全策略模型。针对该情况,对经典的数据机密性blp模型进行相应改进,为系统中的主客体引入多级安全标签以及安全迁移规则,使其满... 详细信息

在《信息安全技术操作系统安全技术要求》中,提出访问验证保护级安全操作系统的研发过程需要完全形式化的安全策略模型。针对该情况,对经典的数据机密性blp模型进行相应改进,为系统中的主客体引入多级安全标签以及安全迁移规则,使其满足实际系统开发的需求。运用完全形式化的方法对改进模型的状态、不变量、迁移规则等进行描述,使用Isabelle定理证明器证明了迁移规则对模型的不变量保持性,从而实现对模型正确性的自动形式化验证,并保证了模型的可靠性。

关键词： blp模型安全策略形式化方法自动化验证定理证明安全操作系统

基于blp模型的Torjan Horse类侵入机制的研究

在线全文

学校读者我要写书评

暂无评论

电光与控制 1997年第1期4卷 35-38页

作者：张欣王玮于海勋西安西北工业大学 710072

对ＢＬＰ模型下的ＴｏｒｊａｎＨｏｒｓｅ进行分析研究，提出了ＴｏｒｊａｎＨｏｒｓｅ类侵入机制的理论，并证明了ＴｏｒｊａｎＨｏｒｓｅ满足ＢＬＰ模型的要求。

关键词： blp模型信息对抗计算机保密

在线全文

学校读者我要写书评

暂无评论

基于可信等级的blp改进模型

计算机工程 2012年第8期38卷 117-119,127页

作者：池亚平樊洁程代伟北京电子科技学院通信工程系北京100070 西安电子科技大学通信学院西安710071

blp模型存在完整性保护缺失、可信主体定义不明确和未考虑平台环境因素等问题。为此,提出一种基于可信等级的blp改进模型TL-blp。该模型引入主客体和平台的可信等级,并对blp模型安全特性、主客体的敏感标记和状态转移规则进行改进,从而... 详细信息

blp模型存在完整性保护缺失、可信主体定义不明确和未考虑平台环境因素等问题。为此,提出一种基于可信等级的blp改进模型TL-blp。该模型引入主客体和平台的可信等级,并对blp模型安全特性、主客体的敏感标记和状态转移规则进行改进,从而实现可信度的动态度量,保证访问操作平台的安全性,通过对blp模型"下读上写"的限制,保证信息的完整性。分析结果表明,TL-blp在保证信息机密性的基础上,能提高系统的完整性和可用性,实现基于可信度的访问控制。

关键词： blp模型多级安全可信平台可信等级访问控制

基于blp模型的中国汽车行业需求估计与并购福利效应模拟

在线全文

学校读者我要写书评

暂无评论

基于BLP模型的中国汽车行业需求估计与并购福利效应模拟

作者：吴小慧厦门大学

学位级别：硕士

本文回顾了中国汽车工业七十年来市场结构的纵向变化,并横向与汽车强国美国、日本等进行比较,发现我国汽车行业存在市场集中度低、规模经济不显著等结构性问题。从欧美、日韩等国的经验来看,汽车产业兼并重组是势在必行的,但另一方面由... 详细信息

本文回顾了中国汽车工业七十年来市场结构的纵向变化,并横向与汽车强国美国、日本等进行比较,发现我国汽车行业存在市场集中度低、规模经济不显著等结构性问题。从欧美、日韩等国的经验来看,汽车产业兼并重组是势在必行的,但另一方面由于汽车产业对国民经济影响巨大,其产业链又非常长,容易在不同的环节产生垄断行为,因此,汽车生产企业的合并一直都是反垄断调查的重点领域。基于以上几点考虑,本文收集了 2017年9月到2019年9月乘用车市场的部分车型的月度价格数据、产品特征数据以及月度销量数据。根据Nevo(2000b)提出的并购模拟的方法,在需求端采用随机系数离散选择(blp)模型,估计出汽车市场的需求参数和产品的需求价格弹性;在供给端,假设在一个差异化的产品市场中,所有的厂商为实现自身利益最大化进行伯川德竞争,并根据blp模型的估计结果,估算出边际成本。在此基础上,实证模拟了一汽集团和长安汽车合并之后汽车市场的结构变化,并测算了合并之后消费者的福利变化。结果表明:(1)我国乘用车市场中的车型相似程度较高;(2)blp模型能够得出较为实际的需求价格弹性,精确地刻画出“产品特征越相似的产品组合,其交叉价格弹性越高”这一事实;(3)并购发生后,合并后的两家汽车厂商的所有产品的价格都会有所增加,其市场份额会有一定程度的下降,但产品的利润是上涨的。市场中的厂商的总体利润水平都会出现不同程度增加,但消费者福利损失巨大,在合并发生后的一年多时间里,每个市场中的消费者福利损失均大于厂商的利润增加值,导致社会总福利损失。

关键词：汽车产业市场结构 blp模型需求估计并购模拟

一种改进的blp模型主体敏感标记及其动态调整方案

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

计算机工程与科学 2004年第1期26卷 26-30页

作者：卢正鼎朱国华华中科技大学计算机学院湖北武汉430074

本文对经典blp模型的主体敏感标记进行改进,提出一个读写敏感度标记分离、区间权限、动态调整主体当前敏感标记的方案。该方案中主体的读写敏感度标记是相互分离的安全级区间,主体根据客体的敏感标记和主体的历史访问过程,根据一定的策... 详细信息

本文对经典blp模型的主体敏感标记进行改进,提出一个读写敏感度标记分离、区间权限、动态调整主体当前敏感标记的方案。该方案中主体的读写敏感度标记是相互分离的安全级区间,主体根据客体的敏感标记和主体的历史访问过程,根据一定的策略在读写区间内分别动态调整主体的当前读、写敏感标记而不破坏系统的安全性,从而提高blp模型的灵活性和实用性。

关键词： blp模型主体敏感标记动态调整状态机模型兼容性操作系统

面向XML文档的blp模型在档案管理系统中的应用

在线全文

学校读者我要写书评

暂无评论

计算机应用与软件 2011年第12期28卷 271-273页

作者：程岁岁韩俊李柏岩东华大学计算机科学与技术学院上海201620

档案管理系统安全性的核心内容就是档案文件的访问控制,针对档案管理的特殊要求对blp(Bell-LaPadula)模型进行改进,描述基于改进的blp模型的XML文档细粒度访问控制策略,并给出了该策略在档案管理系统中的实现方法。该策略既保证了档案... 详细信息

档案管理系统安全性的核心内容就是档案文件的访问控制,针对档案管理的特殊要求对blp(Bell-LaPadula)模型进行改进,描述基于改进的blp模型的XML文档细粒度访问控制策略,并给出了该策略在档案管理系统中的实现方法。该策略既保证了档案管理系统的机密性,又满足档案借阅和细粒度访问的要求,在档案管理领域中有着较高的使用价值。

关键词： blp模型 XML 细粒度档案管理系统

在线全文

学校读者我要写书评

暂无评论

数据多级保护在反应堆数字孪生体中的应用

电子技术应用 2024年第S1期 55-59页

作者：杨大为邹瑞璋张婷齐昱星刘东中国核动力研究设计院核反应堆系统设计技术重点实验室

针对反应堆数字孪生体建模中常见的树形结构，以经典权限模型为基础，补充和完善该类型客体的访问控制策略，为反应堆数字孪生体建模过程中数据多级保护提供技术解决措施，提升信息的保密性。采用形式化语言描述，对树形结构中各节点的... 详细信息

针对反应堆数字孪生体建模中常见的树形结构，以经典权限模型为基础，补充和完善该类型客体的访问控制策略，为反应堆数字孪生体建模过程中数据多级保护提供技术解决措施，提升信息的保密性。采用形式化语言描述，对树形结构中各节点的密级设置、授权规则和访问鉴权进行总结并给出定义。非信息安全专业的研究人员在数据建模过程中可方便应用，从而有效提升对孪生体数字资产的保护。

关键词：数字孪生体 blp模型树形结构数据多级保护