论文部分内容阅读
本文提出的规约式简化了建模元素。对于大型系统,更易设计和实现。对于提出RBAC的部分规约,其中不涉及权限之间角色与权利之间规约,因而不完备,而且过于复杂,难以验证和实现。本文给出了模型形式化规约,这对进一步的机器验证和软件开发将有很重要的作用。
AC-RBAC模型的形式化规约研究
【摘 要】
：
本文提出的规约式简化了建模元素。对于大型系统,更易设计和实现。对于提出RBAC的部分规约,其中不涉及权限之间角色与权利之间规约,因而不完备,而且过于复杂,难以验证和实现
【机 构】
：
石家庄信息工程职业学院计算机系
【出 处】
：
科技信息
【发表日期】
：
2008年24期
其他文献
目的 观察利多卡因复合丙泊酚行无痛支气管镜检查的临床疗效和安全性.方法 72例拟行支气管镜检查的患者随机分为2组,对照组单用利多卡因局部表面麻醉,观察组为利多卡因局部表
1956年,Morris等首先从黑猩猩体内分离出一种病毒,命名为黑猩猩鼻炎因子,1年后,Chanoch等从两名患下呼吸道疾病的婴儿咽部分离出相似病毒,由于其在人或猴细胞内增殖时,能使细
作者根据自己多年的中职教育经验，总结了中职教育中电子类课程实验教学的一些不足之处．并提出应用Multisim软件进行仿真实验来改善当前实验中的不足。
罗伯特·弗罗斯特是美国20世纪最伟大的诗人之一,他的诗歌大多以美国新英格兰乡村为背景,具有浓郁的乡土气息.他着墨于自然景物,诗歌风格简洁而含义隽永,沉思人生的真谛,
目的 探讨头孢哌酮/舒巴坦联合雾化妥布霉素治疗支气管扩张伴绿脓杆菌感染的疗效观察.方法 对入选的80例患者,随机分为观察组和对照组,观察组给予头孢哌酮/舒巴坦静脉输注及
2017年12月31日18：18,浩口水电站1号（第3台）机组顺利完成了72h试运行.至此,浩口水电站3台机组已全部投产发电,较合同工期提前半年发电,实现“一月三投”的佳绩,被业主称为“书写
目的：探讨阿托伐他汀钙对慢性阻塞性肺疾病（慢阻肺）患者肺功能、炎症因子及肺动脉高压的影响。方法100例慢阻肺患者随机分为对照组和观察组各50例，两组患者均给予常规基础治疗；观
Web服务作为一种新型的分布式计算模型,近年来得到了工业界和学术界的极大关注。由于互联网中Web服务资源具有动态性、多样性、异构性和分布性的特征,导致传统工作流的一些方