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

书籍简介:

本书基于软件安全性领域内的权威标准和手册，将形式化理论和方法应用于软件安全性需求建模和验证工作中，以一个前后完整的需求建模和验证工作过程来体现形式化理论和方法对软件安全性需求建模和验证的支持能力，详细介绍了软件安全性需求的工作过程，以及形式化方法对软件安全性需求过程的支持方法。

书籍规格:

书籍信息归属:

软件安全性需求形式化建模和验证是江苏大学出版社于2019.11出版的中图分类号为 TP311.5 的主题关于 软件可靠性 的书籍。