基于动态分集的中国墙模型研究

来源 :计算机科学 | 被引量 : 0次 | 上传用户：tuyffgfd

【摘要】

：

BN（Brewer-Nash）中国墙模型对写操作有着严格的限制,它只从客体方面考虑了冲突关系,且需要事先静态划分访问区域,不适宜动态变化的系统.定义“分集”的概念,并在此基础上提出基

【作者】

：

姜路鹤荣育魏彦芬

【机构】

：

解放军信息工程大学密码工程学院

【出处】

：

计算机科学

【发表日期】

：

2015年1期

【关键词】

：

访问控制中国墙模型冲突关系动态分集 Access control Chinese wall model Conflict Divided set

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

BN（Brewer-Nash）中国墙模型对写操作有着严格的限制,它只从客体方面考虑了冲突关系,且需要事先静态划分访问区域,不适宜动态变化的系统.定义“分集”的概念,并在此基础上提出基于分集的中国墙模型,该模型能够从主体和客体两方面出发研究系统中的冲突关系,并动态地扩充访问区域.证明了该模型是冲突安全的,并通过一个实例说明了该模型的应用.

其他文献

裂隙岩体冲击韧性及破坏模式实验

为研究裂隙对岩体冲击韧性及破坏模式的影响规律,以及裂隙岩体在高应变率下的动态破坏特征,采用摆锤式冲击实验机对裂隙及完整岩体进行了不同冲击速度、不同裂隙条件下的冲击

期刊

裂隙岩体冲击韧性破坏模式吸收功冲击速度Cracked rock mass Impact toughness Failure mode Absor

基于知识图的观点句识别算法研究

针对观点句的特点提出了适合观点句识别的特征抽取规则。在此基础上,融合图论中最小割原理和机器学习分类方法,引入知识图的概念,并提出了基于知识图的观点句识别算法。以公

期刊

主客观文本主观性判别观点句知识图Subjective and objective textSubjective judgingPerspective

基于补偿事务的业务流程异常处理建模研究

对补偿触发条件的判断会影响补偿的正确性,由于业务流程的活动之间具有补偿依赖关系,尤其是并发结构中的补偿依赖,使得流程开发人员在设计补偿流程时容易出错。分析了顺序、

期刊

业务流程异常处理补偿PETRI网Business process Exception handling Compensation Petri ne

具有多区域选择性的网络蠕虫传播分析

当今蠕虫不仅注重快速传播,而且根据不同区域的特征能够实施选择性感染。首先,围绕这一特点,在AAWP离散模型的基础上,基于不同区域的漏洞分布概率,量化影响平均扫描率的若干

期刊

离散模型Areas-AAWP模型多区域选择性扫描策略相关性Discrete modelAreas-AAWPMulti-area and selec

分布式交互应用中服务器放置问题的启发式算法

分布式交互应用是允许分散在不同地点的多个参与者能实时进行交互的网络系统,它的交互质量在很大程度上取决于网络延迟,而通过对服务器位置的合理布局可以降低网络延迟。因此

期刊

分布式交互应用服务器放置遗传算法模拟退火算法禁忌搜索算法Distributed interactive application Server pla

面向多媒体数字版权保护的委托授权远程证明协议

现有的委托授权模型主要侧重于受托方是否具有执行委托任务（权利）的能力,没有考虑到受托方平台的可信性;基于此,提出了多媒体环境下基于远程证明（Remote Attestation,RA）的委托授

期刊

委托授权可信远程证明安全协议Delegation authorization Trusted Remote attestation Securit

浅埋隧洞爆破施工引起的振动效应

为了减少隧道爆破施工产生的振动危害的影响,对临沂城30万t供水工程隧洞爆破施工产生的振动效应进行了研究。采用量纲分析法推导出考虑高程的爆破振动速度计算公式,并结合实

期刊

爆破施工振动速度高程放大效应空洞效应blasting constructionvibration velocityamplification eff

关于多核系统并行程序效率的编程因素及其研究

着重分析了多核架构系统中内存对齐技术与cache利用率等因素对并行程序性能的影响.用共享存储环境OpenMP分析了并行计算量与处理器核心数目之间的关系,通过用MPI编程实现的矩

期刊

绿色计算内存对齐OPENMPCANNON算法多核处理器Green computing Memory alignment OpenMP CANNO

一种适用于嵌套加密协议分析的强认证测试方法

认证测试是一种新型的在串空间模型基础上提出来的用于分析协议认证属性的形式化方法,该方法因简单实用而受到学者的广泛关注,但其不能分析协议中认证测试组件嵌套加密的情况

期刊

安全协议形式化分析串空间认证测试Security protocol Formal analysis method Strand space Aut

无证书强指定验证者签名方案

无证书强指定验证者签名,能够很好地解决传统密码体制下强指定验证者签名证书管理复杂问题和基于身份密码体制下强指定验证者签名的密钥托管问题,因此研究无证书强指定验证者

期刊

公钥密码学无证书签名强指定验证者签名CBDH问题CDH问题Public key cryptographyCertificateless signat

基于动态分集的中国墙模型研究

与本文相关的学术论文