1) Three-party Cryptographic Protocols
三方密码协议
1.
Research on Formal Analysis of Three-party Cryptographic Protocols;
三方密码协议的形式化分析研究
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密码协议)。
补充资料：三联体密码
三联体密码
〖HT5”SS〗triplet code
决定蛋白质中氨基酸顺序的核苷酸顺序，由3个连续的核苷酸组成的密码子构成。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条