《軟體安全性需求形式化建模和驗證》是2019年11月1日江蘇大學出版社出版的圖書，作者是李震。
基本介紹
- 中文名：軟體安全性需求形式化建模和驗證
- 作者：李震
- 出版社：江蘇大學出版社
- ISBN：9787568401128
內容簡介,圖書目錄,
內容簡介
《軟體安全性需求形式化建模和驗證》基於軟體安全性領域內的非常不錯標準和手冊，將形式化理論和方法套用於軟體安全性需求建模和驗證工作中，以一個前後完整的需求建模和驗證工作過程來體現形式化理論和方法對軟體安全性需求建模和驗證的支持能力，詳細介紹了軟體安全性需求的工作過程，以及形式化方法對軟體安全性需求過程的支持方法。
圖書目錄
第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章 軟體安全性需求形式化驗證
……
