相关推荐

需求驱动的可信软件过程

  • 作者:张璇
  • ISBN:9787030534385
  • 出版社:科学出版社
  • 出版年:2017

基于虚拟可信平台的软件可信性研究

  • 作者:郝瑞
  • ISBN:9787307193208
  • 出版社:武汉大学出版社
  • 出版年:2017

软件安全性需求形式化建模和验证

  • 作者:李震
  • ISBN:9787568401128
  • 出版社:江苏大学出版社
  • 出版年:2019

软件可信性度量评估与增强规范

  • 作者:陈仪香
  • ISBN:9787030625649
  • 出版社:科学出版社
  • 出版年:2019