FORMAL ANALYSIS OF MULTI-PARTY NON-REPUDIATION PROTOCOLS

摘要：

Non-repudiation service is crucial to electronic commerce. Now multi-party non-repudiation is a new focus of research. We define multi-party non-repudiation problem. Our definitions and the resulting protocol are more general than the ones given in the only comparable work, a multi-party certified mail protocol. Finally we also give an example of a fair multi-party non-repudiation protocol based on a double group encryption scheme ,and use formal method of SVO logic to analyze the protocol and proves its correctness.

关键词： Non-repudiation Multi-party protocols Group encryption scheme E-commerce SVO Logic.

作者: Wang Xue-Ming Li Xiang

作者单位: Computer Science and Technology College, Guizhou University, Guiyang 550025 China Institute of Software and Theory, GuiZhou University, Guiyang 550025, China

会议类型: 国际会议

会议名称: 5th International Conference on e-Engineering & Digital Enterprise Technology(第5届e工程及数字企业国际学术会议)

会议地点: 贵阳

会议语种:英文

页码: 89-93

在线出版日期: 2006-08-16（万方平台首次上网日期，不代表论文的发表时间）