论文部分内容阅读
提出了一种与角色结构相关的安全性分析问题（RRA-SAP）,分析了角色结构对系统安全性的影响,证明了其计算复杂度,采用模型检测技术得到将RRA-SAP转化为模型检测问题的自动化验证算法,并验证了其有效性.结果表明,该算法可以在期望的时间内自动解决RRA-SAP问题.
基于角色访问控制系统中角色结构安全性分析问题的模型检测验证
【摘 要】
：
提出了一种与角色结构相关的安全性分析问题（RRA-SAP）,分析了角色结构对系统安全性的影响,证明了其计算复杂度,采用模型检测技术得到将RRA-SAP转化为模型检测问题的自动化验证
【机 构】
：
上海交通大学电子信息与电气工程学院,上海市信息安全综合管理技术研究重点实验室
【出 处】
：
上海交通大学学报
【发表日期】
：
2010年9期
其他文献
<正> 大众传播'小众化'是当今世界的主流传播现象。进入九十年代后期,媒体定位的细分化、专门化的特征越来越明显。具体来说,就是'通过对某个细分市场的独占控制
【正】一九○九年夏，以俄国皇家地理学会会员柯兹洛夫（Ц．К．Коздов）为首的“探险队”，在我国内蒙的故西夏（1038——1227）黑城（蒙语“哈拉浩特”，今内蒙额济纳旗达兰库布东南）盗掘
【正】三十五年来，新中国的民间文学事业在党的领导下，取得了巨大的成就。我国五十六个民族丰富多彩、琳琅满目的民间文学宝库被一座座地打开。不曾登上大雅之堂的民间歌手、故
【正】科学技术飞速发展，知识总量急剧增长，迫切要求对教学进行改革。改革的基本趋势是不能只要求学生学习现成的知识，而应同时发展学生的智力，培养学生自己去掌握知识的能力。大
【正】吉林辽源李墨林同志问：者字用在动词、动词词组、形容词或数词之后，是指示代词（或特别指示代词）还是动词？有人说“求人可使报秦者”中的者字在这种倒装句中起煞尾作用兼表提
<正> 电视新闻主要是通过声画结合来传播信息。虽然新闻播出的时间长短不同,但在本质上都有诸多重要因素构成。其中,电视新闻的'节奏'当属一项常常被人忽略、却十分
提出了一种基于机器视觉的微装配力测量新方法.拍摄微夹持器受力变形时的离焦模糊图像,通过建立微夹持器变形力和离焦量之间的关系模型,把求取变形力的问题转化为求取离焦模糊图像的离焦量问题.采用粗精两步计算来求取模糊图像的离焦量,并利用微夹持器的变形曲线来拟合,拟合得到的曲线的参数即为变形力的函数,从而求得变形力.仿真实验证明了所提出的方法的有效性.
所谓热点,是指一段时间内受到社会普遍关注的问题。而读者来信绝大部分是读者的亲身经历,或亲眼所见事实。来信中反映的问题,大到国家大事,小到生活琐事,都是读者直接关心的
【正】俄国教育家乌申斯基说：“比较是一切理解和思维的基础，我们正是通过比较了解一切的。”近几年来，我把乌申斯基提倡的比较法运用到语文教学中，同学们反映良好。这样不仅提高
提出一种适用于计算机屏幕图像的快速搜索策略.首先确定含有目标图像窗口的移动范围,通过计算目标图像在窗口中的相对位置,缩小图像的搜索空间.对已知匹配点的空间坐标进行分