【摘 要】
：
博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。但在理性环境中,由于参与者对知识的自利性,ATL和ATEL都不能形式化分析与验证理性安全协议。因
【机 构】
：
贵州大学理学院,贵州大学密码学与数据安全研究所,贵州大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金项目(61262073,61363068);全国统计科学研究计划项目(2013LZ46);贵州省自然科学基金项目(20092113,20132112);贵州省高层次人才科研条件特助经费项目(TZJF-2008-33)资助
论文部分内容阅读
博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。但在理性环境中,由于参与者对知识的自利性,ATL和ATEL都不能形式化分析与验证理性安全协议。因此在CEGS中引入效用函数和偏好关系知识,得到新的rCEGS,并在合作模态算子《Γ》中加入行为ACT参数,提出新的可形式化分析理性安全协议的交替时序认知逻辑rATEL-A。然后运用rATEL-A构建两方理性安全协议的形式化模型,并基于rCEGS的等价扩展式博弈,对具体的两方理性交换协议进行形式化分析,结果表明构建的形式化模型可以有效
其他文献
目前国内现阶段高等教育院校专业的设置及不断调整,在科学化的细分专业之时,也在盲目地增设其他专业,在适应市场化的同时,也在努力为该院校专业匹配而进行创收。目前尤其是大
路由与交换技术是高校网络工程专业的核心课程,也是数据通信方向的重要分支。本课程具有很强的应用性,在教学环节中,除了把原理给学生讲细讲透,教师还需要指导学生完成大量的
介绍了采用先进的催化光氯化生产操作工艺对原有的氯化石蜡-52生产装置的改造内容,通过改造使装置生产能力增加一倍.
目的：探讨分析经皮肾镜取石术后结石残留的原因。方法：选择2012年6月-2017年6月在我院接受经皮肾镜取石术治疗的464例上尿路结石患者作为观察对象,其中52例发生结石残留,整理分
地处我国大陆海岸线中段的宁波．毗邻上海和杭州．自古以来便是著名的港口城市．在我国对外贸易发展史上有着举足轻重的地位。改革开放以来．宁波市经济快速发展．经济实力明显增强．已成
研究利用泥灰岩和铜锌尾矿代粘土烧制水泥熟料。通过实验室对生料易烧性试验和ＤＴＡ分析，并对试验熟料进行ＸＲＤ，早期水化放热和岩相分析，探讨泥灰岩和铜锌尾矿的异组分对熟料矿物形成及其
大虾圣女果沙拉高手有话说：大虾新鲜嫩滑，将它作为沙拉的主料是我的尝试，没想到这些虾全被父亲一个人消灭掉了。原本用来铺底的生菜给了我一个惊喜，吸收了所有原料精华汁液的菜叶
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
目的探讨强化阿托伐他汀治疗对老年急性脑梗死（ACI）患者血清氧化低密度脂蛋白（ox-LDL）、C反应蛋白（CRP）水平及神经功能的影响。方法选择106例老年ACI患者,按照数表法随机分为观察组
应用超声波技术检测桩质量是一种科学可靠的有效途径．其基本原理是由超声脉；中发射源在桩基砼内激发高频弹性脉；中波，并用高精度接收系统记录该脉；中在砼内传播过程中表现的波动特