| 不可否认协议形式化分析的SVO逻辑方法 |
| |
| 引用本文： | 黎波涛,罗军舟.不可否认协议形式化分析的SVO逻辑方法[J].东南大学学报(自然科学版),2005,35(5):688-691. |
| |
| 作者姓名： | 黎波涛 罗军舟 |
| |
| 作者单位： | 东南大学计算机科学与工程系,南京,210096;东南大学计算机科学与工程系,南京,210096 |
| |
| 基金项目： | 江苏省“网络与信息安全”重点实验室计划资助项目（BM20033201）、江苏省高技术研究资助项目（BG2004036）. |
| |
| 摘 要： | 使用SVO逻辑对Zhou-Gollmann的公平不可否认协议的一个改进协议进行了形式化分析．在分析该协议的过程中，分析了使用SVO逻辑分析不可否认协议时存在的一些问题，这是分析过程无法发现Zhou-Gollmann不可否认协议的原因．这些问题包括协议目标的确定，协议时限性的描述与分析，协议初始假设集的确定等．分析协议时，不仅需要证明协议的最终目标，还需要证明中间目标．通过对SVO逻辑的语法进行扩展，使其具有显式的时间描述能力，从而能够分析不可否认协议的时限性．
|
| 关 键 词： | 不可否认 公平性 SVO逻辑 形式化分析 |
| 文章编号： | 1001-0505（2005）05-0688-04 |
| 收稿时间： | 01 19 2005 12:00AM |
| 修稿时间： | 2005-01-19 |
Formal analysis of non-repudiation protocols with SVO logic |
| |
| Li Botao,Luo Junzhou.Formal analysis of non-repudiation protocols with SVO logic[J].Journal of Southeast University(Natural Science Edition),2005,35(5):688-691. |
| |
| Authors: | Li Botao Luo Junzhou |
| |
| Institution: | Department of Computer Science and Engineering, Southeast University, Nanjing 210096, China |
| |
| Abstract: | |
| |
| Keywords: | non-repudiation fairness SVO logic formal analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
