暂无评论
图文详情
- ISBN:9787568401128
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 开本:32开
- 页数:187
- 出版时间:2019-11-01
- 条形码:9787568401128 ; 978-7-5684-0112-8
内容简介
本书基于软件安全性领域内的非常不错标准和手册,将形式化理论和方法应用于软件安全性需求建模和验证工作中,以一个前后完整的需求建模和验证工作过程来体现形式化理论和方法对软件安全性需求建模和验证的支持能力,详细介绍了软件安全性需求的工作过程,以及形式化方法对软件安全性需求过程的支持方法。
目录
第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.2.2 本体
2.2.3 Petri网
2.2.4 模型检验
2.2.5 分析和说明
2.3 本章小结
第3章 软件安全性需求过程
3.1 标准和手册
3.2 过程概述
3.3 软件和系统安全性子过程
3.3.1 初步危险分析
3.3.2 识别安全关键软件
3.3.3 风险分级
3.4 软件安全性策划子过程
3.4.1 刻画安全关键软件
3.4.2 确定软件风险指数
3.4.3 确定安全性工作
3.5 软件需求子过程
3.5.1 通用安全性需求获取
3.5.2 特定安全性需求获取
3.5.3 需求关键性分析
3.6 本章小结
第4章 软件安全性需求形式化建模
4.1 基于本体的静态建模
4.1.1 本体建模
4.1.2 E-R模型概貌
4.1.3 软件和系统安全性阶段子模型
4.1.4 软件安全性策划阶段子模型
4.1.5 软件需求阶段子模型
4.2 基于Petri网的动态建模
4.2.1 基本Petri网
4.2.2 软件安全Petri网
4.3 本章小结
第5章 软件安全性需求形式化验证
……
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.2.2 本体
2.2.3 Petri网
2.2.4 模型检验
2.2.5 分析和说明
2.3 本章小结
第3章 软件安全性需求过程
3.1 标准和手册
3.2 过程概述
3.3 软件和系统安全性子过程
3.3.1 初步危险分析
3.3.2 识别安全关键软件
3.3.3 风险分级
3.4 软件安全性策划子过程
3.4.1 刻画安全关键软件
3.4.2 确定软件风险指数
3.4.3 确定安全性工作
3.5 软件需求子过程
3.5.1 通用安全性需求获取
3.5.2 特定安全性需求获取
3.5.3 需求关键性分析
3.6 本章小结
第4章 软件安全性需求形式化建模
4.1 基于本体的静态建模
4.1.1 本体建模
4.1.2 E-R模型概貌
4.1.3 软件和系统安全性阶段子模型
4.1.4 软件安全性策划阶段子模型
4.1.5 软件需求阶段子模型
4.2 基于Petri网的动态建模
4.2.1 基本Petri网
4.2.2 软件安全Petri网
4.3 本章小结
第5章 软件安全性需求形式化验证
……
展开全部
本类五星书
本类畅销
-
由浅入深学习SAP财务
¥67.3¥118.0 -
Excel 实战应用大全
¥15.9¥49.8 -
网络社团结构成因探究及其对网络中同步动力学行为的影响
¥32.4¥45.0 -
网络节点异质性预测研究及其对网络中信息-疾病耦合动力学行为的影响
¥32.4¥45.0 -
基于近邻思想和同步模型的聚类算法
¥46.6¥59.0 -
PYTORCH深度学习指南:编程基础 卷I
¥74.3¥99.0 -
智能图像处理技术及应用研究
¥35.8¥65.0 -
MATLAB计算机视觉与深度学习实战(第2版)
¥89.6¥128.0 -
遥感影像智能处理与分析
¥37.4¥52.0 -
人工智能+机器人入门与实战(修订版)用树莓派+Python+OpenCV制作计算
¥51.0¥69.8 -
技术之外
¥33.8¥69.0 -
系统集成项目管理工程师考试大纲(
¥12.9¥15.0 -
网络工程师教程(第2版)
¥69.3¥99.0 -
图解TCP/IP(第6版)
¥58.3¥79.8 -
PPT完美设计入门与进阶
¥68.6¥98.0 -
企业级应用开发实战
¥41.9¥59.9 -
MIDJOURNEY AI绘画艺术创作教程:关键词设置、艺术家与风格应用175例
¥56.8¥98.0 -
写给大家看的MIDJOURNEY设计书
¥48.9¥69.8 -
TensorFlow机器学习实用指南
¥65.5¥119.0 -
软件文化基础(第二版)
¥104.3¥149.0