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

图书标准信息

• 作者 李震 著
• 出版社 江苏大学出版社
• 出版时间 2019-11
• 版次 1
• ISBN 9787568401128
• 定价 42.00元
• 装帧 平装
• 开本 32开
• 纸张 胶版纸
• 页数 187页
• 字数 162千字

【内容简介】

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

【目录】

章绪论
1.1研究工作的意义
1.2外相关研究现状
1.2.1软件安全概况
1.2.2软件安全需求建模
1.2.3软件安全需求验证
1.2.4自动化工具
1.2.5小结
1.3研究内容与创新
1.4结构框架
1.5本章小结
第2章基本概念和方法
2.1软件安全
2.1.1软件安全定义
2.1.2软件安全需求定义
2.2形式化方法
2.2.1概述
2.1.2本体
2.1.3petri网
2.2.4模型检验
2.2.5分析和说明
2.3本章小结
……