×

UMLsec公司

swMATH标识: 12754
软件作者: Jürjens J、Shabalin P、Alter E、Gilg A、Höhn S、Kopjev D、Lehrhuber M、Schwarzmüller S、沈S
说明: 对计算机系统的攻击会造成相当大的经济或物理损害。安全关键系统的高质量开发是困难的,主要原因是开发成本与可验证正确性之间的冲突。UML为高质量的关键系统开发提供了前所未有的机会,这在工业环境中是可行的。用于安全系统开发的UML扩展UMLsec有助于克服这些挑战。它使用标准的UML扩展机制,并且可以使用UML简化片段的形式语义来评估UML规范中的漏洞。安全工程的既定规则可以被封装,因此即使不是安全专家的开发人员也可以使用。作为一个例子,UMLsec被用来发现普通电子钱包规范中的一个缺陷,并提出并验证一个修正。更多信息可在UMLsec手册中找到。由于对他的方法的一般描述和数学基础之间有一个明确的分离,这本书非常适合研究人员和研究生在UML或形式化方法和安全性方面的研究生,以及编写关键应用程序的高级专业人员。UMLsec工具:这个工具框架为关键需求提供UML模型的自动验证插件。特别是,它包括对UMLsec模型的自动分析,以满足作为原型的安全需求。输入是一个.zargo或.xmi文件,其中包含用UML工具ArgoUML创建的UML图。这个工具体系结构中许多验证插件的一个特别关注点是安全关键系统
主页: https://www-secse.cs.tu-dortmund.de/secse/pages/research/UMLsec/index_en.shtml
相关软件: 弹跳城堡;乔丹;爪哇蜘蛛;阿格维;马蒂;赫比;达普罗斯;系统建模语言;乌帕阿尔;努西姆;旋转;棱镜
参考文献: 1个出版物

在1个字段中引用

1 计算机科学(68-XX)

按年份引用出版物