1) 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框架下的可靠性和完备性。
2) non repudiation cryptographic protocol
非否认密码协议
3) Fair non-repudiation protocol
公平非否认协议
1.
Improvement of Kim's fair non-repudiation protocol
Kim公平非否认协议的改进
6) deniable authentication protocol
可否认认证协议
1.
New identity based non-interactive deniable authentication protocol;
基于身份的非交互可否认认证协议
补充资料：非想非非想处天
1.佛教语。即三界中无色界第四天。此天没有欲望与物质﹐仅有微妙的思想。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条