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

定　價：￥29.50

作　者：	（德）朱爾斯（Jürjens,J.）著，沈晴霓等譯
出版社：	清華大學(xué)出版社
叢編項：	國外經(jīng)典教材·計算機科學(xué)與技術(shù)
標(biāo)　簽：	程序設(shè)計

購買這本書可以去

ISBN：	9787302198789	出版時間：	2009-07-01	包裝：	平裝
開本：	16開	頁數(shù)：	236	字數(shù)：

內(nèi)容簡介

　　《國外經(jīng)典教材·計算機科學(xué)與技術(shù)：UML安全系統(tǒng)開發(fā)》系統(tǒng)地介紹了通過擴展可視化UML建模語言所建立的安全工程方法——UMLsec方法，以及它在安全軟件開發(fā)過程中的實際應(yīng)用，目標(biāo)是使得開發(fā)人員可以把安全集成到軟件工程過程的每一個階段中。書中首先闡述了UMLsec方法及其語義，接著論述了UMLsec如何描述系統(tǒng)的安全需求與假設(shè)，如何引用精確的語義評估系統(tǒng)規(guī)范與安會需求的一致性，如何實施安全系統(tǒng)設(shè)計原則和應(yīng)用安全模式等，并通過大量實例說明了用UMLsec開發(fā)安全系統(tǒng)的基本步驟，然后介紹了UMLsec支持工具的開發(fā)和使用，最后還為高級專業(yè)人員引入了UML機、UML機系統(tǒng)和安全屬性的形式定義，方便他們規(guī)范和驗證安全系統(tǒng)。

作者簡介

暫缺《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　生物特征認證系統(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　證明
參考文獻