BLP模型

作品数：131被引量：442H指数：11
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：沈昌祥刘益和戴一奇刘克龙蔡谊更多>>
相关机构：中国人民解放军海军计算技术研究所中国科学院软件研究所西安电子科技大学清华大学更多>>
相关期刊：更多>>
相关基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划四川省应用基础研究计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
数据多级保护在反应堆数字孪生体中的应用
《电子技术应用》2024年第S01期55-59,共5页杨大为 邹瑞璋 张婷 齐昱星 刘东 
针对反应堆数字孪生体建模中常见的树形结构,以经典权限模型为基础,补充和完善该类型客体的访问控制策略,为反应堆数字孪生体建模过程中数据多级保护提供技术解决措施,提升信息的保密性。采用形式化语言描述,对树形结构中各节点的密级...
关键词：数字孪生体 BLP模型 树形结构 数据多级保护 
基于认证及区块链的CFL_BLP_BC模型被引量：1
《计算机科学》2021年第11期36-45,共10页廉文娟 赵朵朵 范修斌 耿玉年 范新桐 
青岛市社科规划项目(QDSKL2001156)。
5G时代的到来给新兴信息产业的信息安全问题带来了新的挑战,现有的安全技术已不能满足5G时代下特定场景对毫秒级认证、可信认证等的相关需求。因此,以CFL技术为信息安全原点技术,提出了CFL_BLP_BC模型。CFL_BLP_BC模型在局部修改原BLP...
关键词：可信认证 CFL认证体制 区块链 BLP模型 
贝里、莱文森和帕克斯对实证产业组织理论的贡献——科睿唯安“引文桂冠”经济学奖得主学术贡献评介被引量：1
《经济学动态》2021年第9期150-160,共11页逯苗苗 孙涛 
广西中华民族共同体意识研究院重大项目(2020GXMGY0103)。
史蒂文·贝里、詹姆斯·莱文森和阿里尔·帕克斯是计量经济学与产业组织领域极具影响的经济学家,他们入选科睿唯安"引文桂冠"经济学奖的主要原因是建立了随机系数Logit模型。该模型可以有效计算不同产品之间的交叉价格弹性,使参数估计...
关键词：引文桂冠 实证产业组织 BLP模型 随机系数Logit模型 
基于CFL_BLP模型的CFL SSL安全通信协议被引量：5
《计算机工程》2021年第6期152-163,共12页廉文娟 赵朵朵 范修斌 
青岛市社科规划项目(QDSKL2001156)。
现有PKI、IBC认证技术与SSL/TLS通信协议已不能满足当今网络空间新兴信息产业的毫秒级信息安全需求。针对新兴信息产业的毫秒级通信安全问题,以CFL为原点技术,并基于CFL_BLP模型给出CFL SSL协议及其形式化描述,从协议层面上证明该协议...
关键词：公钥基础设施 基于标识的密码体制 工业控制系统 CFL认证体制 CFL_BLP模型 
BLP模型发展及其在产业组织应用综述
《产经评论》2020年第1期30-41,共12页李凯 孟一鸣 郭晓玲 
国家自然科学基金面上项目“抗衡势力背景下产业链纵向控制的机理研究”(项目编号:71472032,项目负责人:李凯);国家自然科学基面上项目“企业纵向控制策略的识别、机理及效应的实证研究”(项目编号:71873026,项目负责人:李凯)。
产业组织理论问题的实证研究方面,以往简约式方法侧重于分析变量之间的因果关系,难以辨别问题背后的变化机理,从而影响其在政策评估、福利分析中的应用。近年来,随着新实证产业组织研究范式的兴起,结构模型的研究受到国内外学者的广泛关...
关键词：BLP模型 产业组织 需求估计 结构模型 随机系数Logit模型 
加密云数据多级安全访问控制方案被引量：17
《小型微型计算机系统》2019年第5期941-946,共6页张馨月 陈越 严新成 贾洪勇 
国家重点基础研究发展计划基金项目(2012CB315901)资助;河南省科技攻关计划基金项目(172102210017)资助
针对云存储中不同敏感度数据安全共享需求,提出一种基于线性几何的层次密钥分配与数据加密方案CloudMLS,实现了满足Bell-La Padula(BLP)模型的多级安全访问控制策略.通过将读写密钥分开的方式,实现了读写权限灵活授权,并根据其安全级限...
关键词：多级安全 BLP模型 云存储 线性几何 
CFL＿BLP模型被引量：2
《泰山学院学报》2018年第6期60-66,共7页范文钊 范宇宁 和子郅 范修斌 崔晓风 王福驰 
在CFL认证体制、BLP模型的基础上,给出了CFL_BLP模型。给出了CFL_BLP模型的八元组、安全公理以及安全规则。该模型保证了用户的BLP模型权限的完整性,确保了BLP模型的可信性、安全性。在防范隐蔽信道的基础上,基于CFL_BLP模型可以实现自...
关键词：CFL(Chen Fan Lü) BLP 信息安全 等级保护 
典型安全网关的形式化设计与证明
《计算机科学》2017年第9期142-147,共6页王瑞云 赵国磊 常朝稳 王雪健 
面向用户的可信云计算环境安全研究(61572517)资助
传统上依靠经验设计的安全网关侧重于功能实现,缺少严格的安全模型。对此,针对一种典型安全网关,首先根据其安全需求给出相应的安全策略,然后利用BLP模型对给出的安全策略进行形式化建模并对安全模型的内部一致性进行证明,最后对安全网...
关键词：典型安全网关 形式化设计 BLP模型 功能规约 一致性验证 Isabelle/HOL 
面向移动Web操作系统的BLP改进模型及应用被引量：2
《信息安全学报》2017年第4期13-26,共14页朱大立 杨莹 金昊 邵京 冯维淼 
中国科学院战略性先导专项项目:重点行业应用系统信息安防关键技术研究(No.XDA06010703)资助
作为重要的机密性策略经典模型,BLP模型通过对主体和客体进行分级和标记,并引入高安全等级的引用监视器,实现信息系统的强制访问。随着移动智能终端的普及,Web操作系统因其具有移动性、移植性、高扩展性和跨平台性等优点,成为移动政务...
关键词：Web操作系统 BLP模型 移动终端 操作系统安全 最小权限原则 完整性 隔离 
基于BLP模型的AHB总线防火墙设计与实现被引量：2
《计算机工程与设计》2017年第4期928-935,共8页刘航天 张立朝 戴紫彬 
为应对嵌入式SoC片上资源的非授权访问,需要对片上资源进行访问控制,为此将防火墙概念引入AHB总线的安全性设计。基于BLP模型对总线安全需求进行形式化描述,设计并论证总线安全通信规则,将安全策略扩展至底层硬件。根据总线传输特点,设...
关键词：总线防火墙 访问控制 BLP模型 规则审核 传输速率 
全选清除导出
共13页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部