| 一种理性安全协议的博弈逻辑描述模型 |
| |
| 引用本文： | 刘海,彭长根,张 弘,任祉静. 一种理性安全协议的博弈逻辑描述模型[J]. 计算机科学, 2015, 42(9): 118-126, 143 |
| |
| 作者姓名： | 刘海 彭长根 张 弘 任祉静 |
| |
| 作者单位： | 贵州大学理学院 贵阳550025;贵州大学密码学与数据安全研究所 贵阳550025,贵州大学理学院 贵阳550025;贵州大学密码学与数据安全研究所 贵阳550025,贵州大学计算机科学与技术学院 贵阳550025,贵州大学理学院 贵阳550025;贵州大学密码学与数据安全研究所 贵阳550025 |
| |
| 基金项目： | 本文受国家自然科学基金项目(61262073,61363068),全国统计科学研究计划项目(2013LZ46),贵州省自然科学基金项目(20092113,20132112),贵州省高层次人才科研条件特助经费项目(TZJF-2008-33)资助 |
| |
| 摘 要： | 博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。但在理性环境中,由于参与者对知识的自利性,ATL和ATEL都不能形式化分析与验证理性安全协议。因此在CEGS中引入效用函数和偏好关系知识,得到新的rCEGS,并在合作模态算子《Γ》中加入行为ACT参数,提出新的可形式化分析理性安全协议的交替时序认知逻辑rATEL-A。然后运用rATEL-A构建两方理性安全协议的形式化模型,并基于rCEGS的等价扩展式博弈,对具体的两方理性交换协议进行形式化分析,结果表明构建的形式化模型可以有效地形式化分析理性安全协议的正确性、理性安全性和理性公平性。
|
| 关 键 词： | ATEL 博弈论 理性安全协议 形式化分析 理性安全性 理性公平性 |
Game Logic Formal Model of Rational Secure Protocol |
| |
| LIU Hai,PENG Chang-gen,ZHANG Hong and REN Zhi-jing. Game Logic Formal Model of Rational Secure Protocol[J]. Computer Science, 2015, 42(9): 118-126, 143 |
| |
| Authors: | LIU Hai PENG Chang-gen ZHANG Hong REN Zhi-jing |
| |
| Affiliation: | College of Science,Guizhou University,Guiyang 550025,China;Institute of Cryptography & Data Security,Guizhou University,Guiyang 550025,China,College of Science,Guizhou University,Guiyang 550025,China;Institute of Cryptography & Data Security,Guizhou University,Guiyang 550025,China,College of Computer Science & Technology,Guizhou University,Guiyang 550025,China and College of Science,Guizhou University,Guiyang 550025,China;Institute of Cryptography & Data Security,Guizhou University,Guiyang 550025,China |
| |
| Abstract: | |
| |
| Keywords: | Alternating-time temporal epistemic logic(ATEL) Game theory Rational secure protocol Formal analysis Rational security Rational fairness |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
