【摘 要】
：
在RBAC访问控制系统的安全性分析问题(RBAC-SAP)中,用户-角色分配相关的安全性分析问题(URA-SAP)是其中最重要的一个子问题,即用户-角色分配关系的变化对系统安全性的影响问题。提出了一种将URA-SAP转化为模型检测问题的自动化验证算法,实验表明采用该算法并结合现有的模型检测工具可以有效地解决URA-SAP问题。
【机 构】
：
上海交通大学电子信息与电气工程学院,上海市信息安全综合管理技术研究重点实验室,
论文部分内容阅读
在RBAC访问控制系统的安全性分析问题(RBAC-SAP)中,用户-角色分配相关的安全性分析问题(URA-SAP)是其中最重要的一个子问题,即用户-角色分配关系的变化对系统安全性的影响问题。提出了一种将URA-SAP转化为模型检测问题的自动化验证算法,实验表明采用该算法并结合现有的模型检测工具可以有效地解决URA-SAP问题。
其他文献
谐波对电能的质量有很大的影响,对电网中不同类型的电气设备也有不同程度的影响.针对电网中不同类型的谐波,需选择不同的滤波策略,以降低谐波的危害.
目的:探讨盈亏平衡法在公立医院收支评价中的应用。方法:按照《医院财务制度》规定,计算公立医院业务量、成本、收支结余,建立收支平衡方程式,计算安全边际率、保利点,并以宁
笔者采用肩关节腔内注射医用透明质酸钠(sodium hyaluronate,SH)配合痛点阻滞治疗肩周炎患者45例,取得满意效果,报告如下.1 临床资料选择2007年10月-2009年6月郧阳医学院附属
目的 探讨我院抗菌药物的使用与常见致病菌耐药趋势及相关因素,为临床合理用药提供依据.方法 统计分析2008年1至12月住院患者抗菌药物的使用及同期临床检出常见致病菌的耐药
一些遗传性或某些药物引发的先天性疾病,通常伴有各种颅面、皮肤、肢体畸形.及早发现这些畸形,可以为临床诊断提供有效的帮助.该文主要探讨颅面、皮肤、肢体可以被观察到的畸
疾病不确定感属于认知范畴,该理论自20世纪80年代发展以来,在国内外护理界得到了深入的研究和广泛的应用,为多种疾病患者的护理干预方法提供了新的指导,有利于提高患者的治疗
Gregory等[1]1996年首先采用透光直视旋切术(又称TriVex术)治疗下肢大隐静脉曲张的属支,开辟了静脉曲张外科微创治疗的新途经[2].我院引进美国第二代TriVex旋切仪,2005年12月
目的评估分析科技进步对医院经济增长的贡献率。方法应用柯布-道格拉斯和索洛函数模型对某三级甲等医院1999年-2008年的投入产出进行分析。结果该医院的科技进步速度为8%～9%,
目的 评价CO2点阵激光治疗眶周皱纹的疗效及安全性.方法 20例眶周皱纹患者,皱纹Ⅰ级16例,Ⅱ级4例,选取照射能量25～30mJ,密度10～15,单脉冲.评价皱纹改善率并分5个等级:1级(0)、2
针对目前多数图像数字水印算法的载体是灰度图像,无色彩信息,水印信息是二值图像,水印信息量少,适用性差等不足,提出了一种基于一次Bézier曲线和Legendre神经网络小波变换(DWT)的彩色图像盲水印算法,载体图像和水印信息都是彩色图像。首先,将载体图像进行颜色空间转换并对载体图像的亮度分量进行DWT,然后将水印图像进行三基色分离,并对每个颜色分量同时进行Logistic混沌置乱和离散Haar小