123,123

內(nèi)容簡(jiǎn)介

　　《軟件安全性需求形式化建模和驗(yàn)證》基于軟件安全性領(lǐng)域內(nèi)的非常不錯(cuò)標(biāo)準(zhǔn)和手冊(cè)，將形式化理論和方法應(yīng)用于軟件安全性需求建模和驗(yàn)證工作中，以一個(gè)前后完整的需求建模和驗(yàn)證工作過程來體現(xiàn)形式化理論和方法對(duì)軟件安全性需求建模和驗(yàn)證的支持能力，詳細(xì)介紹了軟件安全性需求的工作過程，以及形式化方法對(duì)軟件安全性需求過程的支持方法。

作者簡(jiǎn)介

暫缺《軟件安全性需求形式化建模和驗(yàn)證》作者簡(jiǎn)介

圖書目錄

●章緒論
1.1研究工作的意義
1.2國(guó)內(nèi)外相關(guān)研究現(xiàn)狀
1.2.1軟件安全性概況
1.2.2軟件安全性需求建模
1.2.3軟件安全性需求驗(yàn)證
1.2.4自動(dòng)化工具
1.2.5小結(jié)
1.3研究?jī)?nèi)容與創(chuàng)新
1.4結(jié)構(gòu)框架
1.5本章小結(jié)
第2章基本概念和方法
2.1軟件安全性
2.1.1軟件安全性定義
2.1.2軟件安全性需求定義
2.2形式化方法
2.2.1概述
2.1.2本體
2.1.3Petri網(wǎng)
2.2.4模型檢驗(yàn)
2.2.5分析和說明
2.3本章小結(jié)
……