统一建模语言(UML)为开发高质量的、低成本和耗时少的安全系统提供了很好的机会。 作为实际行业建模标准,很多开发者在UML方面接受过正规培训。 与先前一些具有一定用户规模的标记语言相比,UML的定义比较精确。 现在已经有多种工具提供了使用UML所需的基本功能(如画UML图的工具). 但为了利用好这个机会,我们也面临着一些挑战:其一,人们需要改写UML,使其适合安全关键系统的应用领域,并推动在这个应用领域内正确使用UML;其二,人们必须开发一些先进的工具,以支持用UML开发安全系统,比如依据安全需求对UML规范进行自动化分析,这就要求解决UML模型语义的灵活性和非二义性之间的矛盾。本书的目标就是克服这些困难。
《国外经典教材·计算机科学与技术:UML安全系统开发》不仅可以供信息安全和相关专业高年级本科生、硕士生或博士生选作教材或参考教材,还可以供计算机和网络信息系统安全设计和开发的专业人士或相关人士参考使用。 《国外经典教材·计算机科学与技术:UML安全系统开发》通过采用已经广泛应用的、通用的、标准统一建模语言UML,将安全特性自然地融入到软件设计过程之中,形成UMLsec方法。UMLsec方法不同于传统“渗透测试和打补丁”或“形式化规范和验证”方法,它采用可视化的UML建模语言,从不同的视角描述系统的不同侧面,并通过扩展了语义的UML规范、求精、验证过程,使得开发人员可以把安全集成到软件工程过程的每一个阶段。全书概念清楚。结构合理、逻辑严谨、体系完整、实用性强,是学习和实践安全软件工程方法的一本好书。 《国外经典教材·计算机科学与技术:UML安全系统开发》具有如下特点: ◆基于UML扩展语义的安全工程方法; ◆提供了大量的实例分析; ◆介绍了支持工具的开发; ◆汇集了作者多年来的研究成果和教学成果。
- 版权: 清华大学出版社
- 出版: 2009-07-01
- 更新: 2023-06-07
- 书号:9787302198789
- 中图:TP312UM
- 学科:工学控制科学与工程工学计算机科学与技术