安全协议模型与设计

出版社:科学出版社
ISBN:9787030343260
出版年:2012
作者:刘天华
学科:电技术、电子技术
资源类型:图书
细分类型:中文文献
相关推荐

安全协议的概率模型检测

  • 作者:王婷
  • 出版年:2013

基于模型检测的安全协议形式化分析方法的研究

  • 作者:赵振举
  • 出版社:中国科学院
  • 出版年:2011

基于串空间模型分析与验证密码安全协议

  • 作者:石昊苏
  • 出版社:中国科学院
  • 出版年:2004

安全协议分析与设计

  • 作者:卫剑钒
  • ISBN:9787115220028
  • 出版社:人民邮电出版社
  • 出版年:2010