1) Non-repudiation
非否认
1.
Model Checking Analysis of Probabilistic Non-repudiation Protocol;
概率非否认协议的模型检测分析
2.
Multi-party non-repudiation protocol supporting transparent offline TTP
支持透明离线TTP的多方非否认协议
2) non-repudiation
非否认性
1.
In order to analyze the non-repudiation and fairness properties under one frame, a set of first-order logic syntax and semantics for non-repudiation protocols was proposed, and a model was built.
为了将密码协议的非否认性和公平性统一在一个框架之下更好地进行分析,提出了一套适用于分析非否认性和公平性的一阶逻辑语法和语义。
2.
In particular,it can be used by certified mail protocol,and based on the scheme a multi-party certified mail protocol is proposed,its fairness and non-repudiation are proved.
本文在已有的两方签密方案的基础上结合组可验证的签密方案,提出了一种新的、可用于多方认证邮件协议的签密方案,进而设计出了异步的一对多的认证邮件协议,并证明了该协议的公平性与非否认性。
3.
Non-repudiation and fairness properties mainly solve the attacks from the internal entities.
随着军队信息化建设进程的快速推进,来自内部实体的攻击严重威胁着军队的信息安全,非否认性和公平性主要解决的就是来自协议内部实体之间的攻击。
3) non-repudiation
非可否认
1.
Formal analysis of non-repudiation protocol by spi
spi演算证明协议非可否认性
4) 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框架下的可靠性和完备性。
5) non-repudiation
非否认机制
补充资料：非想非非想处天
1.佛教语。即三界中无色界第四天。此天没有欲望与物质﹐仅有微妙的思想。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条