UML安全系統(tǒng)開發(fā)

第一部分 開場白
　第1章　簡介
1.1　對安全的需求
1.2　問題
1.3　原因
1.4　傳統(tǒng)方法
1.5　基于模型的UML安全工程
1.6　概覽
　 1.6.1　UMLsec擴展
　 1.6.2　應(yīng)用
　 1.6.3　工具支持
1.7 綱要
1.8　怎樣使用本書
　第2章　UML構(gòu)建安全概覽
2.1　使用用例圖獲取安全需求
2.2　使用活動圖的安全交易過程
2.3　使用部署圖的物理安全
2.4　使用順序圖的安全交互過程
2.5　使用狀態(tài)圖的安全狀態(tài)
　第3章　背景知識
3.1　安全工程
3.2　統(tǒng)一建模語言（Unified Modeling Language）
　 3.2.1　用例圖（Use Case Diagrams）
　 3.2.2　類圖（Class Diagrams）
　 3.2.3　狀態(tài)圖（Statechart Diagrams）
　 3.2.4　順序圖（Sequence Diagrams）
　 3.2.5　活動圖（Activity Diagrams）
　 3.2.6　部署圖（Deployment Diagrams）
　 3.2.7　子系統(tǒng)（Subsystems）
　 3.2.8　UML擴展機制
　　3.3　UML模型分析
　 3.3.1　UML表示
　 3.3.2　形式語義概要
　 3.3.3　密碼學(xué)建模
　 3.3.4　UML圖的安全分析
　 3.3.5　重要的安全屬性
第二部分 開發(fā)安全系統(tǒng)
　第4章　基于模型的UML安全工程
4.1　UMLsec模板
　 4.1.1 開發(fā)安全關(guān)鍵系統(tǒng)的UML擴展的需求
　 4.1.2　擴展
　 4.1.3　表達需求
　4.2　安全系統(tǒng)設(shè)計原則
　 4.3　應(yīng)用安全模式
　 4.4　參考文獻注解
　 4.5　結(jié)論
　第5章　應(yīng)用實例
5.1　安全信道
5.2　網(wǎng)絡(luò)協(xié)議TLS的一個變種協(xié)議
5.3　通用電子錢包規(guī)范
　 5.3.1 支付業(yè)務(wù)
　 5.3.2　充值業(yè)務(wù)
　 5.4　開發(fā)安全的Java程序
　 5.4.1　Java的訪問控制
　 5.4.2　設(shè)計過程
　 5.4.3　例子：商務(wù)應(yīng)用系統(tǒng)
　 5.5　更多應(yīng)用
　 5.5.1　銀行應(yīng)用系統(tǒng)的建模與驗證
　 5.5.2　生物特征認(rèn)證系統(tǒng)
第三部分　工具支持
　第6章　UMLsec的工具支持
　第7章　形式化基礎(chǔ)
　第8章　使用UML的形式化系統(tǒng)開發(fā)
第四部分　尾聲
　第9章　其他相關(guān)研究
　第10章　展望
第五部分　附錄
　附錄A　面向UML 2.0
附錄B　UML狀態(tài)機規(guī)則的語義
　附錄C　證明
參考文獻