UML秒 swMATH ID: 12754 软件作者： Jürjens J、Shabalin P、Alter E、Gilg A、Höhn S、Kopjev D、Lehrhuber M、Schwarzmüller S、Shen S 描述： 对计算机系统的攻击可能会造成相当大的经济或物理损失。安全关键系统的高质量开发很困难，主要是因为开发成本与可验证的正确性之间存在冲突。UML为在工业环境中可行的高质量关键系统开发提供了前所未有的机会。用于安全系统开发的UML扩展UMLsec有助于克服这些挑战。它使用标准的UML扩展机制，可以使用简化UML片段的形式语义来评估UML规范中的漏洞。安全工程的既定规则可以封装，因此即使是非安全专家的开发人员也可以使用。例如，UMLsec用于发现通用电子钱包规范中的一个缺陷，并提出和验证更正。有关更多信息，请参阅UMLsec手册。本书将他的方法的一般描述与其数学基础明确区分开来，非常适合UML或正式方法和安全领域的研究人员和研究生，以及编写关键应用程序的高级专业人员。UMLsec-Tool：该工具框架为关键需求提供UML模型的自动验证插件。特别是，它包括对UMLsec模型的自动分析，以满足作为原型包含的安全需求。输入是一个.zargo或.xmi文件，其中包含使用UML工具ArgoUML创建的UML图。此工具体系结构中许多验证插件的一个特别关注点是安全关键型系统 主页： https://www-secse.cs.tu-dortmund.de/secse/pages/research/UMLsec/index_en.shtml网址 相关软件： 跳跃;TGV公司;卢斯特;阿加莎;Z轴;射击类游戏;TorX公司;安全UML;Bouncy城堡;美赞臣;JavaSPI（JavaSPI）;AGVI公司;马氏体;HERBY公司;DaProS公司;系统建模语言;Uppaal公司;NuSMV公司;自旋蛋白;棱镜 引用于： 2文件 全部的 前5名7位作者引用 1 法布里斯·安伯特 1 阿瓦莱，马蒂奥 1 皮耶吉乌塞佩·贝塔萨·科佩特 1 花束，织物 1 法比安·佩鲁克斯 1 阿尔弗雷多·皮隆蒂 1 里卡多·西斯托 连载1篇 1 计算的形式方面 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文