不可否认协议形式化分析的SVO逻辑方法

• 作者: 罗军舟 黎波涛
• 来源期刊: 东南大学学报（自然科学版）
• 学科: 工学
• 关键词: 不可否认 公平性 SVO逻辑 形式化分析
• 年，卷（期）: 2005,（5）
• 页码范围: 688-691
• 页数: 4页
• 分类号: TP393
• 字数: 3115字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-0505.2005.05.007

摘要

使用SVO逻辑对Zhou-Gollmann的公平不可否认协议的一个改进协议进行了形式化分析.在分析该协议的过程中,分析了使用SVO逻辑分析不可否认协议时存在的一些问题,这是分析过程无法发现Zhou-Gollmann不可否认协议的原因.这些问题包括协议目标的确定,协议时限性的描述与分析,协议初始假设集的确定等.分析协议时,不仅需要证明协议的最终目标,还需要证明中间目标.通过对SVO逻辑的语法进行扩展,使其具有显式的时间描述能力,从而能够分析不可否认协议的时限性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗军舟	东南大学计算机科学与工程系	165	4086	26.0	60.0
2	黎波涛	东南大学计算机科学与工程系	5	79	4.0	5.0