軟件安全性需求形式化建模和驗(yàn)證

●章緒論
1.1研究工作的意義
1.2國內(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研究內(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é)
……