| 不可否认协议时限性的形式化分析 |
| |
| 引用本文： | 黎波涛,罗军舟.不可否认协议时限性的形式化分析[J].软件学报,2006,17(7):1510-1516. |
| |
| 作者姓名： | 黎波涛 罗军舟 |
| |
| 作者单位： | 东南大学,计算机科学与工程系,江苏,南京,210096 |
| |
| 基金项目： | 中国科学院资助项目;江苏省高技术研究发展计划项目;江苏省网络与信息安全重点实验室基金 |
| |
| 摘 要： | 虽然SVO逻辑由于其简单性在对不可否认协议的形式化分析中得到了广泛的应用,但它在时间描述能力上的不足使得它无法分析不可否认协议的时限性.通过向SVO逻辑添加一种简单的时间表达和分析方法扩展了SVO逻辑,并使用扩展后的逻辑对Zhou和Gollmann于1996年提出的一个公平不可否认协议及其一个改进协议进行了分析.分析结果表明,原协议不具有时限性,而改进协议具有时限性,因此也说明了扩展后的新逻辑能够分析不可否认协议的时限性.另外,新逻辑还能用来分析一般密码协议中的时间相关性质.
|
| 关 键 词： | 不可否认 时限性 SVO逻辑 形式化分析 |
| 收稿时间： | 2004-10-21 |
| 修稿时间： | 2005-07-11 |
Formal Analysis of Timeliness in Non-Repudiation Protocols |
| |
| LI Bo-Tao and LUO Jun-Zhou.Formal Analysis of Timeliness in Non-Repudiation Protocols[J].Journal of Software,2006,17(7):1510-1516. |
| |
| Authors: | LI Bo-Tao and LUO Jun-Zhou |
| |
| Affiliation: | Department of Computer Science and Engineering, Southeast University, Nanjing 210096, China |
| |
| Abstract: | |
| |
| Keywords: | non-repudiation timeliness SVO logic formal analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
