作者：李震著
出版社： 江苏大学出版社
CIP号：2019237356
书号：978-7-5684-0112-8
出版地：镇江
出版时间：2019.11
定价：￥42.0
本书基于软件安全性领域内的权威标准和手册，将形式化理论和方法应用于软件安全性需求建模和验证工作中，以一个前后完整的需求建模和验证工作过程来体现形式化理论和方法对软件安全性需求建模和验证的支持能力，详细介绍了软件安全性需求的工作过程，以及形式化方法对软件安全性需求过程的支持方法。