相关推荐

RFC指导的网络协议实现漏洞挖掘技术研究

  • 作者:陈婧婷
  • 出版社:中国科学院信息工程研究所
  • 出版年:2024

RPKI数据同步及验证优化机制研究与实现

  • 作者:詹子林
  • 出版社:中国科学院计算机网络信息中心
  • 出版年:2023

安全协议自动形式化验证及在智能合约安全分析的应用研究

  • 作者:汪万森
  • 出版社:中国科学技术大学
  • 出版年:2024

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

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