2) Fair non-repudiation protocol
公平非否认协议
1.
Improvement of Kim's fair non-repudiation protocol
Kim公平非否认协议的改进
3) Non-repudiation protocol
非否认协议
1.
Formal analysis technology of non-repudiation protocols;
非否认协议形式化分析技术
2.
This paper analyzes a non-repudiation protocol using formal methods,and modifies some flaws of the protocol.
本文运用SVO逻辑对一个非否认协议实例进行了有效的形式化分析 ,并对协议的缺陷进行了改进 。
3.
This paper extends UCSA framework based on predecessors\' contribution,defines the ideal functionality and formal definition of sender\'s non-repudiation protocols and analyzes whether the two are identical under the UCSA framework by simulation and execution trace analysis.
为了使该框架能够分析发送者非否认协议,提出发送者非否认性的理想功能和形式化定义,利用分析执行序列和构造模拟进程的方法分析两者在UCSA框架下的可靠性和完备性。
4) multi-party non-repudiation protocol
多方不可否认协议
1.
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.
电子商务中保证信息交换的不可否认性是一项必不可少的安全服务,而多方不可否认协议则是当前的研究重点之一。
6) non repudiation cryptographic protocol
非否认密码协议
补充资料：多方
多方面：～设法。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条