軟件安全性需求形式化建模和驗證

定　價：￥42.00

作　者：	李震著
出版社：	江蘇大學出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

ISBN：	9787568401128	出版時間：	2019-11-01	包裝：	平裝
開本：	32開	頁數：	187	字數：

內容簡介

　　《軟件安全性需求形式化建模和驗證》基于軟件安全性領域內的非常不錯標準和手冊，將形式化理論和方法應用于軟件安全性需求建模和驗證工作中，以一個前后完整的需求建模和驗證工作過程來體現形式化理論和方法對軟件安全性需求建模和驗證的支持能力，詳細介紹了軟件安全性需求的工作過程，以及形式化方法對軟件安全性需求過程的支持方法。

作者簡介

暫缺《軟件安全性需求形式化建模和驗證》作者簡介

圖書目錄

●章緒論
1.1研究工作的意義
1.2國內外相關研究現狀
1.2.1軟件安全性概況
1.2.2軟件安全性需求建模
1.2.3軟件安全性需求驗證
1.2.4自動化工具
1.2.5小結
1.3研究內容與創(chuàng)新
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本章小結
……