Formal Analysis Of Multi-party Non-repudiation Protocols Without TTP

2010Computer Science被引 1

摘要

Non-repudiation service is crucial to electronic commerce. Now multi-party non-repudiation is a new focus of research. This paper presents a multi-party non-repudiation protocol, based on a group encryption scheme. A multi-party non-repudiation problem is defined in this paper. This definition and the resulting protocol are more general than the other comparable work. At last, an example of fair multi-party non-repudiation protocol without a trusted third party (TTP) is given out, which uses formal method of SVO logic to analyze the protocol and prove its correctness.

引用本文（GB/T 7714）

Xiaoqiong Wang, Xueming Wang. Formal Analysis Of Multi-party Non-repudiation Protocols Without TTP[J]. 未知来源, 2010.

引文网络

参考文献与被引分析加载中…

DOI：https://doi.org/10.1109/icciis.2010.33

本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。