UML安全系统开发

《UML安全系统开发》系统地介绍了通过扩展可视化UML建模语言所建立的安全工程方法--UMLsec方法，以及它在安全软件开发过程中的实际应用。《UML安全系统开发》首先阐述了UM革范诗Lsec方法及其语义，接着论而担同述了UMLsec如何描述系统的安全需求与假设，如何引用精确的语义评估系统规范与安会需求来自的一致性，如何实施安全系统设远一京华计原则和应用安全模式等，并通过大量实例说明了用UMLse360百科c开发安全系统的基本步今修实骤，然后介绍了UMLsec支持工具的开发和使用，最后还氧运为高级专业人员引入了U胡微ML机、UML机系统和安全属性的形式定义，方便规范地验证安全系统。

• 中文名 UML安全系统开发
• 装帧 平装
• 开本 16
• 类别 图书
• 版次 1

编辑推荐

　　《UML安全系统开发》特色:《UML安全系统开发》不仅可以供信息安全和相关专业高年级本科生、硕士生或博士生选作教材或参考教材，还可以供计算机和网络信息系统安全设计和开发的专业人士或相关人士参考使用。《UML安全系统开发》通过采用已经广泛应用的、通用的、标存县特县空导目齐住注准统一建模语言UML，将安全特性自然地融入到软件设计过程之中，形成UMLsec方法。UMLsec方法不同于传统"渗透测试和打补丁"或"形式化规范和验证"方法，它采用可视化来自的UML建模语言，从不同的视角描述系统的不同侧面，并通过粒皮审双述说饭超扩展了语义的UML规范、求精、验证过程，使得开发人员可以把安全集成到软件工程过程的每一个阶段。全书概念清楚。结构合理、逻360百科辑严谨、体系完整、实用性强，是学习和实践安全软件工程方法的一本好音乐判初答投科今答义书。

　　《UML安全系统开发》具有如下特点:

　　◆基于U胡答高深决京色呢较ML扩展语义的安全工程方法

　　◆提供了大量的实例分析

　　◆介绍了支持工具的之运杀正叶样科节握开发

　　◆汇集了作者多年来的研究成果和教学成果

　　过程感知的信息系统

　　软件测试:跨越整个软件开发生命周期

　　软件测教地钟且好油试实践:成为一个高效能的测试专家

　　机器视觉算法与应用

　　数值图养棉药反方法(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 结论