公平的多方不可否认协议  

A Fair Multi-Party Non-repudiation Protocol

作　　者：何冰[1] 李肖坚[2] 夏春和[2] 夏克俭[1] 

机构地区：[1]北京科技大学信息工程学院,北京100083 [2]北京航空航天大学计算机学院,北京100083

出　　处：《计算机工程与应用》2005年第27期120-122,156,共4页Computer Engineering and Applications

基　　金：航空基金(编号:03F51060)

摘　　要：电子商务中保证信息交换的不可否认性是一项必不可少的安全服务,而多方不可否认协议则是当前的研究重点之一。论文通过分析当前已发表的多方协议或方案,指出当前多方不可否认协议存在由于发送方占优势导致的不公平问题,并提出了基于双重组加密方法的多方不可否认协议,进一步削弱了发送方的优势。最后用SVO逻辑的形式化分析方法证明了协议的正确性。Non-repudiation service is crucial to electronic commerce.Now multi-party non-repudiation is a new focus of research,This paper discusses the state-of-the-art of the multi-party non-repudiation protocols,analyzes those papers, and shows the common problem that the originator is positioned in an advantageous way,This paper addresses a more fair multi-party non-repudiation protocol based on a double group encryption scheme,then uses formal method of SVO logic to analyze the new protocol and proves its correctness,

关 键 词：公平性 多方不可否认协议 形式化分析 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]