一种理性安全协议的博弈逻辑描述模型

摘要：

博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证.但在理性环境中,由于参与者对知识的自利性,ATL和ATEL都不能形式化分析与验证理性安全协议.因此在CEGS中引入效用函数和偏好关系知识,得到新的rCEGS,并在合作模态算子《Γ》中加入行为ACT参数,提出新的可形式化分析理性安全协议的交替时序认知逻辑rATEL-A.然后运用rATEL-A构建两方理性安全协议的形式化模型,并基于rCEGS的等价扩展式博弈,对具体的两方理性交换协议进行形式化分析,结果表明构建的形式化模型可以有效地形式化分析理性安全协议的正确性、理性安全性和理性公平性.

关键词：ATEL、博弈论、理性安全协议、形式化分析、理性安全性、理性公平性

所属期刊栏目：42

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金项目61262073,61363068;全国统计科学研究计划项目2013LZ46;贵州省自然科学基金项目20092113,20132112;贵州省高层次人才科研条件特助经费项目TZJF-2008-33

在线出版日期：2015-10-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：118-126,143