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

定　價(jià)：￥29.50

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

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787302198789	出版時(shí)間：	2009-07-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	236	字?jǐn)?shù)：

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

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

作者簡(jiǎn)介

暫缺《UML安全系統(tǒng)開(kāi)發(fā)》作者簡(jiǎn)介

圖書(shū)目錄

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