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

正版新书新华官方库房直发可开电子发票

28.56 6.8折 42 全新

库存5件

江苏南京

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

作者李震

出版社江苏大学出版社

ISBN9787568401128

出版时间2019-11

版次1

装帧平装

开本32开

纸张胶版纸

页数187页

字数162千字

定价42元

货号SC:9787568401128

上书时间2024-09-17

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

商品描述: 内容简介:
本书基于软件安全性领域内的权威标准和手册，将形式化理论和方法应用于软件安全性需求建模和验证工作中，以一个前后完整的需求建模和验证工作过程来体现形式化理论和方法对软件安全性需求建模和验证的支持能力，详细介绍了软件安全性需求的工作过程，以及形式化方法对软件安全性需求过程的支持方法。
目录:
第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本章小结
……

— 没有更多了 —