Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.

 
  • 串空间模型是一种新兴的密码协议形式化分析工具。
今日热词
目录 附录 查词历史