【摘 要】
：
该文针对RBAC中的权限代理,提出了两个通过权限变换控制RBAC中权限代理的模型:单调权限变换模型和非单调权限变换模型,主要工作如下:1、形式化地讨论了几个音调权限变换的例
论文部分内容阅读
该文针对RBAC中的权限代理,提出了两个通过权限变换控制RBAC中权限代理的模型:单调权限变换模型和非单调权限变换模型,主要工作如下:1、形式化地讨论了几个音调权限变换的例子,单调的含义是权限变换只是向系统中的主体增加新访问权限,而从不撤销系统中主体已经拥有的访问权限,并扩充了RBAC96模型,在此基础上定义了单调权限变换模型,并用图解保护模型K XU SC BV YORQ——拷贝操作实现了权限变换模型中的内变换和授权变换,利用SPM模型安全性证明单调权限变换模型具有确定的安全性.2、分析了单调权限变换内在的局限性,引入了非音调权限变换的概念,定义了一个非单调权限变换模型,以控制单调权限变换模型所不能描述的、涉及到具有非单调特性的权限的代理.
其他文献
该文结合国家九五攻关项目"软件工程环境(青鸟CASE)工业化生产技术及系统(JB/SEIMS)的研究开发"中子专题(98-780-05)项目"计算机辅助教学软件构件的研究开发"和"多媒体课件开
该文的工作,是致力于将关联规则的概念引入到Web挖掘系统中,将用户的访问路径以关联规则的形式表现出来,其目的在于从用户访问超文本系统的行为中发现用户的访问模式.文中给
该文作者在借鉴国外研究论文的基础上,在导师的指导下独立进行了原型系统的设计与实现.针对性能成熟,用途广泛的PVM并行环境提出"消息传递补同步化的任务图"作为程序行为抽象
该文通过对数据库中数据挖掘和粗集理论的研究,介绍了数据挖掘的几种主要技术和粗集理论应用的广泛性,提出基于粗集理论的数据挖掘方法,建立了一个基于粗集理论和统计方法的
该文的基本思路是:以油气勘探领域为研究背景,在研究人员开发的层次式面向对象并行框架环境HOOPE的基础上,使用第3代以XML、SOAP和WebService为核心的Internet技术以及面向消
该文首先介绍了传统Web计算框架中的两层和三层结构模式及其特点,并介绍了比较了相关的中间件技术,然后对MA相关技术进行了研究;最后在VisualMiner工作的基础上提出了一个基
该文主要论述在P-HPF编译器中对EXTRINSIC机制的支持、实现以及将EXTRINSIC机制应用于HPF调并行线性代数算法包(ScaLAPACK)中.ScaLAPACk是国际上广为流行的并行线性代数算法
该文首先介绍了工作流的背景和现状,以及工作流管理联盟提出的一系列规范和标准.然后介绍在工作流管理联盟提出的工作流通渠道参考模型的基础上,结合建行自助银行建设的实际
认证(Authenticantion)、受权(Authorization)、记账(Accounting)是网络接入的三个重要需求.满足这些要求的RADIUS(remoteauthenticationDial-InUserService用户远程拨号验证
该文是在移动通讯短消息平台的基础上,建立了一个STK方式的移动银行模型,并实现了该模型中主要的应用通信协议,完成STK方式的移动银行的核心.该文介绍了移植通信、相关增值服