基于抽象状态机的安全协议形式化验证

出版社:中国科学院
出版年:2011
作者:彭建华
资源类型:图书
细分类型:中文文献,学位论文
相关推荐

AACS安全协议的形式化验证

  • 作者:王薇
  • 出版年:2009

基于状态转移系统的安全协议形式化建模方法的研究

  • 作者:岳庆刚
  • 出版社:中国科学院
  • 出版年:2012

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

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

分布式共识协议的形式化验证

  • 作者:高嵩
  • 出版社:中国科学院软件研究所
  • 出版年:2024

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

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

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

  • 作者:李建华
  • ISBN:9787111297260
  • 出版社:机械工业出版社
  • 出版年:2010