The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design.
英
美
摘要密码协议分析与设计的基础是对其进行形式化建模。
目录
查词历史
英 汉