相关推荐

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

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

基于UVM的AHB总线协议桥分析与验证

  • 作者:郝美琪
  • 出版社:中国科学院大学集成电路学院
  • 出版年:2022

安全协议形式化分析与验证

  • 作者:肖美华
  • ISBN:9787030626332
  • 出版社:科学出版社
  • 出版年:2019

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

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