1) Rational Cryptographic Protocols
理性密码协议
1.
In this paper,the analytical method of rational cryptographic protocols is used to increase the reasonableness and fairness of the escrowing scheme.
文章利用理性密码协议分析方法,对其进行了改进,增强了托管方案的合理性和公平性。
2) cryptographic protocol
密码协议
1.
Strand space model to prove the security of cryptographic protocols;
用于密码协议安全性证明的串空间模型
2.
Petri net method in cryptographic protocol verification;
密码协议验证中的Petri网方法
3.
Modeling Analysis for a Cryptographic Protocol Using Coloured Petri Net;
有色Petri网的一种密码协议建模分析
3) cryptographic protocols
密码协议
1.
Formal model for cryptographic protocols based on problem-solving theory;
一种基于问题求解理论的密码协议形式模型
2.
Research on Planning-based Automatic Verification Technology for Cryptographic Protocols;
基于规划的密码协议自动化验证技术研究
3.
Research on Formal Analysis of Three-party Cryptographic Protocols;
三方密码协议的形式化分析研究
4) TMN cryptographic protocol
TMN密码协议
1.
Some new attacks on the TMN cryptographic protocol;
TMN密码协议的新的攻击
5) TW Cryptographic Protocol
TW密码协议
1.
Using Running Model for TW Cryptographic Protocol Analysis;
运行模式法分析TW密码协议
6) Helsinki cryptographic protocol
Helsinki密码协议
1.
A methodology was presented for using running modes, a general method proposed by the authors,to analyzed a key establishment protocol (the Helsinki cryptographic protocol) of ISO/IEC DIS 11770-3.
基于作者提出的运行模式法分析了ISO/IEC DIS 11770-3所提出的一个密钥建立协议(Helsinki密码协议)。
补充资料：保密码
| 保密码 secure code 由密钥控制的消息或信号变形处理的一族规则。可供选取的这一种或那一种对应关系（特定的变形规则）称为密钥。数字信号可以直接由相同速率的序列密码加密。数字保密是否能被破译，主要取决于序列密码的性质，如果序列密码是随机的和不重复使用的，即一次一密体制，便不可能被破译。事实上序列密码通常是由有限的随机数组成的密钥，通过一个算法器产生的序列，不论这个算法器怎样复杂，总是属于有限状态机。因此，输出的序列终归是周期性的伪随机序列。为了不重复使用，密码的周期应大于最长的信号持续时间。实现这一点并不困难，较复杂的序列密码的周期往往以若干年来计算。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条