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

摘要：

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

关键词：不可否认协议、形式化设计、逻辑、可信第三方

所属期刊栏目：34

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金69931040;江苏省自然科学基金BK2004015

在线出版日期：2008-05-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：164-166