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

全新正版极速发货

20.73 4.9折 42 全新

库存5件

广东广州

认证卖家担保交易快速发货售后保障

作者李震

出版社江苏大学出版社

ISBN9787568401128

出版时间2019-11

装帧平装

开本32开

定价42元

货号1202013217

上书时间2024-08-06

已实名已认证进店收藏店铺

商品描述: 目录
第1章绪论
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本章小结
……

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

— 没有更多了 —