MARC状态：审校 文献类型：中文图书 浏览次数：73
- 题名/责任者:
- 软件安全性需求形式化建模和验证/李震著
- 出版发行项:
- 镇江:江苏大学出版社,2019
- ISBN及定价:
- 978-7-5684-0112-8/CNY42.00
- 载体形态项:
- 187页:图;22cm
- 个人责任者:
- 李震 著
- 学科主题:
- 软件可靠性
- 中图法分类号:
- TP311.5
- 提要文摘附注:
- 本书共分为8个章节。第1章介绍背景和意义；第2章介绍相关的基本概念和方法；第3章介绍国内外公认的软件安全性领域相关的权威标准和手册；第4章针对软件系统模型的安全性和复杂性特征，提出了软件安全Petri网模型——SEPN，并给出了SEPN的形式定义、迁移的使能条件和引发运算规则；第5章从遴选的安全性领域相关的权威标准和手册中提取出软件安全性需求的静态需求，利用本体模型中的概念和关联描述静态验证所需的形式化验证规则；第6章介绍了软件安全性需求建模和验证工具原型的设计和开发；第7章：实验和实例；第8章：结论与展望。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP311.5/41012 | 60248667 |  临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
| TP311.5/41012 | 60248668 | 临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
| TP311.5/41012 | 60248669 | 临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
| TP311.5/41012 | 72342409 | 自然书库（3F东）
|
可借 | 自然书库（3F东） | |
| TP311.5/41012 | 72342410 | 自然书库（3F东）
|
可借 | 自然书库（3F东） |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架