图书介绍

UML安全系统开发2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

（德）JanJurjens著著
出版社：北京：清华大学出版社
ISBN：9787302198789
出版时间：2009
标注页数：236页
文件大小：54MB
文件页数：252页
主题词：面向对象语言，UML－程序设计

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：9af56a05d83a54e3b7b25ca1490cea18

下载说明

UML安全系统开发PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第一部分开场白3

第1章简介3

1.1对安全的需求3

1.2问题3

1.3原因3

1.4传统方法4

1.5基于模型的UML安全工程6

1.6概览7

1.6.1 UMLsec扩展7

1.6.2应用7

1.6.3工具支持8

1.7纲要9

1.8怎样使用本书10

第2章 UML构建安全概览11

2.1使用用例图获取安全需求11

2.2使用活动图的安全交易过程12

2.3使用部署图的物理安全13

2.4使用顺序图的安全交互过程13

2.5使用状态图的安全状态15

第3章背景知识16

3.1安全工程16

3.2统一建模语言（Unified Modeling Language）18

3.2.1用例图（Use Case Diagrams）19

3.2.2类图（Class Diagrams）19

3.2.3状态图（Statechart Diagrams）20

3.2.4顺序图（Sequence Diagrams）21

3.2.5活动图（Activity Diagrams）22

3.2.6部署图（Deployment Diagrams）23

3.2.7子系统（Subsystems）24

3.2.8 UML扩展机制25

3.3 UML模型分析25

3.3.1 UML表示26

3.3.2形式语义概要26

3.3.3密码学建模27

3.3.4 UML图的安全分析29

3.3.5重要的安全属性31

第二部分开发安全系统37

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

4.1 UMLsec模板37

4.1.1开发安全关键系统的UML扩展的需求37

4.1.2扩展38

4.1.3表达需求51

4.2安全系统设计原则51

4.3应用安全模式52

4.4参考文献注解54

4.5结论55

第5章应用实例56

5.1安全信道56

5.2网络协议TLS的一个变种协议60

5.3通用电子钱包规范66

5.3.1支付业务67

5.3.2充值业务74

5.4开发安全的Java程序90

5.4.1 Java的访问控制90

5.4.2设计过程91

5.4.3例子：商务应用系统93

5.5更多应用95

5.5.1银行应用系统的建模与验证95

5.5.2生物特征认证系统96

5.5.3机动车应急应用系统97

5.5.4德国电子健康卡97

5.5.5啤酒节电子钱包97

5.5.6保险公司的电子签名体系97

5.6参考文献注解97

5.7结论98

第三部分工具支持101

第6章 UMLsec的工具支持101

6.1用分析工具扩展UML用例工具101

6.1.1元对象工具MOF（Meta-Object Facility）101

6.1.2用元数据仓库MDR实现基于XML的数据绑定103

6.2 UMLsec自动化工具104

6.2.1工具的功能104

6.2.2实现细节106

6.2.3模型检测UMLsec规范107

6.2.4自动化定理证明107

6.2.5产生基于Prolog的攻击107

6.3运行时数据的连接模型：SAP R／3权限108

6.3.1安全规则的自动化分析109

6.3.2实例数据111

6.3.3评估规则113

6.4将模型与代码连接起来116

6.4.1测试序列的生成116

6.4.2代码生成与代码分析118

6.5参考文献注解119

6.6结论120

第7章形式化基础121

7.1 UML状态机121

7.2 UML状态机系统127

7.3求精130

7.4信任-保证规范133

7.5推理安全性质133

7.5.1求精136

7.5.2机密性137

7.5.3完整性139

7.5.4真实性139

7.5.5新鲜性140

7.5.6安全信息流141

7.6参考文献注解142

7.7结论142

第8章使用UML的形式化系统开发144

8.1 UML片段形式语义144

8.1.1一般概念146

8.1.2类图151

8.1.3状态图152

8.1.4序列图161

8.1.5活动图164

8.1.6部署图166

8.1.7子系统166

8.2使用UML开发171

8.2.1求精172

8.2.2信任-保证规范174

8.2.3在UML中推理安全性质174

8.3参考文献注解175

8.4结论176

第四部分尾声179

第9章其他相关研究179

9.1更多关于UMLsec方法的资料179

9.2其他的安全工程方法179

9.2.1软件工程与安全性179

9.2.2 UML的其他使用方法180

9.2.3应用于安全领域的形式化方法181

9.2.4其他非功能性需求183

第10章展望184

第五部分附录187

附录A 面向UML 2.0187

附录B UML状态机规则的语义189

附录C 证明191

C.1 UML状态机191

C.2求精192

C.3信任-保证规范193

C.4安全性质的推理194

C.5用UML进行形式化系统开发197

C.6可靠信道199

C.7 Internet TLS协议的一个变种200

C.8通用电子钱包规范204

C.8.1支付业务204

C.8.2充值业务207

参考文献210