【摘 要】
：
博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证.不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议.
【机 构】
：
贵州大学理学院,贵州大学密码学与数据安全研究所
论文部分内容阅读
博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证.不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议.于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得到新的并行认知博弈结构rCEGS,并在合作模态算子《Γ》中引入行为ACT参数,提出新的交替时序认知逻辑rA-TEL-A,并基于不动点描述rATEL-A时序算子.然后基于rATEL-A,提出适合于形式化分析理性安全协议的推理系统,并对具体的理性安全协议的公平性、安全性等性质进
其他文献
针对信息安全风险评估对象的多样性和信息的不确定性、数据量大以及无规律性的特点，提出基于量子神经网络的信息安全风险评估方法。将实际检测的对象属性作为量子神经网络的输
针对传统的透明加密驱动技术所带来的文件损坏、应用程序兼容性差、与杀毒软件等类似技术存在严重冲突等问题，提出一种基于分层文件系统的文档透明加解密方案，通过使用多层次的
我们发现，一些学生在英语学习中常出现这种现象，即由开始的感兴趣到后来的逐渐失去兴趣和信心，最后产生畏惧及厌烦情绪。我们又常常会听到“我怕学英语”、“我最讨厌学英语”和
在大力推进素质教育的今天，教师在地理课堂教学中转变教学方式，重视学生的主动学习，让学生通过自己的思考、分析与实践，主动积极地掌握知识，学会一定的基本方法、技能，逐步形成大胆
患者男,64岁,主诉左侧阴囊红肿、溃烂、疼痛、发热1周入院.1年前因肝硬化并上消化道大出血行脾切除术,无尿道外伤、泌尿生殖道疾病、糖尿病等病史,体查体温36.5℃,BP 16/10kP
对各种主要的频繁子树挖掘算法进行综述与分析，主要包括频繁Induced子树挖掘与频繁Embedded予树挖掘；讨论了挖掘算法中使用的两种技术：基于候选生成一测试的方法和基于模式一增
利用广义同步原理实现了6维超混沌Chua电路的响应系统和驱动系统对应变量间的比例同步，使响应系统所有变量的相空间可灵活地放大或缩小．并针对一般广义同步建立时间过长的缺陷，