| 非否认协议公平性分析的扩展串空间方法 |
| |
| 引用本文： | 李磊,陈静,王育民.非否认协议公平性分析的扩展串空间方法[J].西安交通大学学报,2010,44(6). |
| |
| 作者姓名： | 李磊 陈静 王育民 |
| |
| 作者单位： | 1. 西安电子科技大学综合业务网国家重点实验室,710071,西安
2. 西安交通大学电子与信息工程学院,710049,西安 |
| |
| 基金项目： | 国家自然科学基金，国家自然科学基金委员会-广东联合基金重点项目 |
| |
| 摘 要： | 针对在非否认协议公平性的形式化分析中,如何弱化初始假定和避免状态空间爆炸等问题,提出了扩展串空间方法.通过将签名运算引入串空间理论,从而对串空间理论的项集合进行重新定义,进一步通过对子项关系、攻击者迹和自由加密假定的扩展,并结合丛概念,构成了扩展串空间.分析非否认协议的公平性,首先将协议行为归纳为攻击者串、发送者串、接收者串和可信第3方串,以此构造协议的扩展串空间模型,然后结合协议迹和定理证明验证丛中存在发送者串等价于丛中存在接收者串,从而证明非否认协议公平性.通过扩展串空间方法对Zhou-Gollmann协议公平性的分析,得到了与Kailar逻辑和Lanotte自动验证方法相同的结果.与Kailar逻辑相比,扩展串空间方法仅使用自由加密假定,弱化了初始假定;与Lanotte自动验证方法相比,扩展串空间方法无需使用状态空间搜索,避免了状态空间爆炸问题.
|
| 关 键 词： | 非否认协议 扩展串空间 协议验证 公平性 |
An Extended Strand Space Method for Fairness Analysis of Non-Repudiation Protocols |
| |
| LI Lei,CHEN Jing,WANG Yumin.An Extended Strand Space Method for Fairness Analysis of Non-Repudiation Protocols[J].Journal of Xi'an Jiaotong University,2010,44(6). |
| |
| Authors: | LI Lei CHEN Jing WANG Yumin |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
