简·朱尔延斯 使用UML确保系统开发的安全。 （英语） Zbl 1054.68031号 柏林：施普林格出版社（ISBN 3-540-00701-6/hbk）。xix，309页。(2005). 出版商描述：对计算机系统的攻击可能会造成相当大的经济或物理损失。安全关键系统的高质量开发很困难，主要是因为开发成本与可验证的正确性之间存在冲突。Jürjens介绍了用于安全系统开发的UML扩展UMLsec。它使用标准的UML扩展机制，并且可以使用UML简化片段的形式语义来评估UML规范中的漏洞。安全工程的既定规则可以封装，因此即使是非安全专家的开发人员也可以使用。举一个例子，Jürjens发现了通用电子钱包规范中的一个缺陷，并提出并验证了一个修正。本书将他的方法的一般描述与其数学基础明确区分开来，非常适合UML或正式方法和安全领域的研究人员和研究生，以及编写关键应用程序的高级专业人员。 引用于4文件 MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 关键词：安全;UML规范 软件：卡斯珀 PDF格式BibTeX公司 XML格式引用 \textit{Jürjens}，使用UML进行安全系统开发。柏林：施普林格（2005年；Zbl 1054.68031） 全文： 内政部