UML安全系統開發

《UML安全系統開發》系統地介紹了通過擴展可視化UML建模語言所建立的安全工程方法——UMLsec方法，以及它在安全軟體開發過程中的實際套用。《UML安全系統開發》首先闡述了UMLsec方法及其語義，接著論述了UMLsec如何描述系統的安全需求與假設，如何引用精確的語義評估系統規範與安會需求的一致性，如何實施安全系統設計原則和套用安全模式等，並通過大量實例說明了用UMLsec開發安全系統的基本步驟，然後介紹了UMLsec支持工具的開發和使用，最後還為高級專業人員引入了UML機、UML機系統和安全屬性的形式定義，方便規範地驗證安全系統。

基本介紹

• 中文名：UML安全系統開發
• 裝幀：平裝
• 開本：16 開
• 版次：1
• 出版社：清華大學出版社
• 出版時間：2009年
• 作者： Jan Jurjens 

編輯推薦

《UML安全系統開發》特色：《UML安全系統開發》不僅可以供信息安全和相關專業高年級本科生、碩士生或博士生選作教材或參考教材，還可以供計算機和網路信息系統安全設計和開發的專業人士或相關人士參考使用。《UML安全系統開發》通過採用已經廣泛套用的、通用的、標準統一建模語言UML，將安全特性自然地融入到軟體設計過程之中，形成UMLsec方法。UMLsec方法不同於傳統“滲透測試和打補丁”或“形式化規範和驗證”方法，它採用可視化的UML建模語言，從不同的視角描述系統的不同側面，並通過擴展了語義的UML規範、求精、驗證過程，使得開發人員可以把安全集成到軟體工程過程的每一個階段。全書概念清楚。結構合理、邏輯嚴謹、體系完整、實用性強，是學習和實踐安全軟體工程方法的一本好書。

《UML安全系統開發》具有如下特點：

◆基於UML擴展語義的安全工程方法

◆提供了大量的實例分析

◆介紹了支持工具的開發

◆匯集了作者多年來的研究成果和教學成果

過程感知的信息系統

軟體測試：跨越整個軟體開發生命周期

軟體測試實踐：成為一個高效能的測試專家

機器視覺算法與套用

數值方法（C++描述）

Web技術

目錄

第一部分 開場白

第1章 簡介

1.1 對安全的需求

1.2 問題

1.3 原因

1.4 傳統方法

1.5 基於模型的UML安全工程

1.6 概覽

1.6.1 UMLsec擴展

1.6.2 套用

1.6.3 工具支持

1.7 綱要

1.8 怎樣使用本書

第2章 UML構建安全概覽

2.1 使用用例圖獲取安全需求

2.2 使用活動圖的安全交易過程

2.3 使用部署圖的物理安全

2.4 使用順序圖的安全互動過程

2.5 使用狀態圖的安全狀態

第3章 背景知識

3.1 安全工程

3.2 統一建模語言

3.2.1 用例圖

3.2.2 類圖

3.2.3 狀態圖

3.2.4 順序圖

3.2.5 活動圖

3.2.6 部署圖

3.2.7 子系統

3.2.8 UML擴展機制

3.3 UML模型分析

3.3.1 UML表示

3.3.2 形式語義概要

3.3.3 密碼學建模

3.3.4 UML圖的安全分析

3.3.5 重要的安全屬性

第二部分 開發安全系統

第4章 基於模型的UML安全工程

4.1 UMLsec模板

4.1.1 開發安全關鍵系統的UML擴展的需求

4.1.2 擴展

4.1.3 表達需求

4.2 安全系統設計原則

4.3 套用安全模式

4.4 參考文獻註解

4.5 結論

第5章 套用實例

5.1 安全信道

5.2 網路協定TLS的一個變種協定

5.3 通用電子錢包規範

5.3.1 支付業務

5.3.2 充值業務

5.4 開發安全的Java程式

5.4.1 Java的訪問控制

5.4.2 設計過程

5.4.3 例子：商務套用系統

5.5 更多套用

5.5.1 銀行套用系統的建模與驗證

5.5.2 生物特徵認證系統

5.5.3 機動車應急套用系統

5.5.4 德國電子健康卡

5.5.5 啤酒節電子錢包

5.5.6 保險公司的電子簽名體系

5.6 參考文獻註解

5.7 結論