【摘 要】
：
自动信任协商通过协商策略协调协商双方间访问控制策略、信任证的交互披露以逐步建立信任.现有的访问控制策略规则的理论表示缺乏直观性,在分析和构造策略算法时带来不便.本
【机 构】
：
哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001
论文部分内容阅读
自动信任协商通过协商策略协调协商双方间访问控制策略、信任证的交互披露以逐步建立信任.现有的访问控制策略规则的理论表示缺乏直观性,在分析和构造策略算法时带来不便.本文将有穷自动机形式化定义与自动信任协商相结合,提出一套基于有穷自动机的信任协商定义体系,并构造有穷自动机状态转换图对相应的访问控制策略进行图形化表示,便于分析和构造协商策略.针对积极策略缺乏安全性和谨慎策略缺乏高效性的问题,提出了基于有穷自动机的协商策略,该策略在谨慎策略的基础上加入记忆链结构,以减少协商双方交互次数,提高协商效率.经证明,该策略具备完备性和安全性,并通过仿真实验证明相对于谨慎策略,该策略具备高效性.
其他文献
超声波检测技术是一种基础性的检测方法,有助于准确分析桥梁混凝土的具体状态,检测工艺简单,受到工程人员的高度重视.超声波检测技术的形成和应用,为桥梁混凝土强度指标及完
市政道路工程建设与人们的生活息息相关,为了能够让市政道路既满足人们日常生活与企业生产的需求,就必须对市政道路工程的施工技术进行革新.沥青道路施工技术在近几年的应用
苏秀×春丰蚕品种采用1～2龄人工饲料共育、3～5龄桑叶育,其细纤度、丝长长、丝质优的优点可以得到有效保持和发挥,因而具有良好的应用前景.认为该品种对小蚕人工饲料共育技术适
采用绝对节点坐标方法研究了受非线性约束的大变形多柔体系统动力学问题。基于增广拉格朗日方法推导建立了系统的动力学方程。方程中的未知变量数目与约束方程数目无关,仅以广义位置为基本变量进行求解。采用不变矩阵法计算系统弹性力,引入Broyden拟牛顿法大大提高了求解效率。系统仿真结果表明了所用方法的有效性。
海南演丰空塘率有80%，而新龙、板桥地区的排塘率达到60-70%，昌化也有50%，东方四更经历上一轮空塘之后，现在陆续开始放苗。
本文针对当今的市政道路路面存在的病害和对市政道路路面的结构设计进行了分析和介绍,并根据此两点提出了合理的防治策略.以下仅供参考.
目的掌握广西食物中毒事件发生原因,提高事件防控的针对性和有效性。方法收集2010—2014年广西发生的食物中毒事件,采用描述性流行病学方法对所涉及的食物种类、发病原因、致