软件安全性需求形式化建模和验证
正版新书 新华官方库房直发 可开电子发票
￥ 28.56 6.8折 ￥ 42 全新
库存5件
作者李震
出版社江苏大学出版社
ISBN9787568401128
出版时间2019-11
版次1
装帧平装
开本32开
纸张胶版纸
页数187页
字数162千字
定价42元
货号SC:9787568401128
上书时间2024-10-31
- 在售商品 暂无
- 平均发货时间 16小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
内容简介:
本书基于软件安全性领域内的权威标准和手册，将形式化理论和方法应用于软件安全性需求建模和验证工作中，以一个前后完整的需求建模和验证工作过程来体现形式化理论和方法对软件安全性需求建模和验证的支持能力，详细介绍了软件安全性需求的工作过程，以及形式化方法对软件安全性需求过程的支持方法。
目录:
第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本章小结
……
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价