一种不可否认协议形式化设计方法

• 作者: 伏飞 刘晶 肖军模 陆阳
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 不可否认协议 形式化设计 逻辑 可信第三方
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 安全技术
• 页码范围: 164-166
• 页数: 3页
• 分类号: TP309
• 字数: 3014字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.04.058

摘要

针对目前尚无不可否认协议的形式化设计方法,提出一种基于逻辑的不可否认协议形式化设计方法,包括逻辑语言、定理、推理规则及合成规则.协议设计者用逻辑语言描述协议目标,由该目标出发,运用合成规则逐步推导出一个含可信第三方的不可否认协议.实例证明该方法可以很好地用于辅助不可否认协议的设计与改进.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘晶	解放军理工大学通信工程学院	10	21	3.0	4.0
2	伏飞	解放军理工大学通信工程学院	9	26	3.0	5.0
3	肖军模	解放军理工大学通信工程学院	62	313	10.0	15.0
4	陆阳	解放军理工大学通信工程学院	2	1	1.0	1.0