2) 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框架下的可靠性和完备性。
3) deniable authentication protocol
可否认认证协议
1.
New identity based non-interactive deniable authentication protocol;
基于身份的非交互可否认认证协议
4) non-repudiation protocol
不可否认协议
1.
New improvement of Zhou-Gollmann s non-repudiation protocol;
对Zhou-Gollmann不可否认协议的一种新改进
2.
In order to carry out the functions of trade non-repudiation and privacy protection of E-commerce, the non-repudiation protocol NRP3 is improved.
为了实现电子商务中交易的不可否认和隐私信息保护,对不可否认协议NRP3进行了改进,并基于修改后的NRP3进行了具有不可否认和隐私保护功能的电子商务原型系统开发。
3.
A formal method based on logic for designing non-repudiation protocols with TTP is presented.
针对目前尚无不可否认协议的形式化设计方法,提出一种基于逻辑的不可否认协议形式化设计方法,包括逻辑语言、定理、推理规则及合成规则。
5) non repudiation cryptographic protocol
非否认密码协议
6) Fair non-repudiation protocol
公平非否认协议
1.
Improvement of Kim's fair non-repudiation protocol
Kim公平非否认协议的改进
补充资料：否认
不承认：矢口～ㄧ～事实。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条