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密码协议)。
补充资料：密码
按特定的法则编成，用于将明的信息变换为密的或将密的信息变换为明的，以实现秘密通信的手段。编制密码可用手工、机械或电子技术实现，可对文字、声音、图像和数据等进行加密或脱密。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条