相关推荐

安全协议实施安全性自动化分析与验证

  • 作者:孟博
  • ISBN:9787030625069
  • 出版社:科学出版社
  • 出版年:2019

区块链跨链协议设计与安全性分析

  • 作者:尹铃元
  • 出版社:中国科学院软件研究所
  • 出版年:2022

双场协议的实际安全性分析

  • 作者:王瑞强
  • 出版社:中国科学技术大学
  • 出版年:2023

新型量子密钥分发协议的安全性分析

  • 作者:王荣
  • 出版社:中国科学技术大学
  • 出版年:2021