安全UML

SecureUML:一种基于UML的模型驱动安全建模语言。提出了一种基于统一建模语言(UML)的安全分布式系统模型驱动开发的建模语言。我们的方法基于基于角色的访问控制,并为指定授权约束提供额外的支持。我们展示了如何使用UML在应用程序的总体设计中指定与访问控制相关的信息,以及如何使用这些信息自动生成完整的访问控制基础设施。我们的方法可以用来提高安全分布式系统开发过程中的生产率以及由此产生的系统的质量。


zbMATH中的参考文献(参考文献13条,1标准件)

显示第13至第13个结果。
按年份排序(引用)

  1. 花束,法布里斯;佩鲁克斯,法比安;Ambert,Fabrice:功能和安全测试生成的基于模型的测试(2014)
  2. 费边,本杰明;居尔塞,色达;海塞尔,玛丽塔;桑顿,托马斯;Schmidt,Holger:安全需求工程方法的比较(2010)ioport公司
  3. 古纳万,琳达阿里亚尼;赫尔曼,彼得;Kraemer,Frank Alexander:使用面向协作的模型将安全方面集成到系统开发中(2010)
  4. 伊戈尔·西弗罗尼;兹曼,安德里亚;George Spanoudakis:一个基于UML的静态安全验证框架(2010)ioport公司
  5. 布鲁克,阿希姆D。;Wolff,Burkhart:面向对象规范的语义、计算和分析(2009)
  6. Jürjens,Jan:基于流的密码协议领域特定语言(2009)
  7. 布鲁,露丝;波普,格哈德;阿拉姆,穆罕默德:基于模型的准入政策制定(2007年)ioport公司
  8. Jürjens,一月;Shabalin,Pasha:UML安全系统开发工具(2007)ioport公司
  9. Klarl,Heiko:Modellgetriebene,mustergestützte sicherheit in serviceorientierten architekturen(2007年)ioport公司
  10. 申,迈克尔E。;Gomaa,Hassan:将非安全应用程序演化为安全应用程序的软件需求和体系结构建模(2007)
  11. 科赫,曼纽尔;Parisi Presicce,Francesco:访问控制策略的UML规范及其形式化验证(2006)ioport公司
  12. 蒂昂,罗穆阿尔德;Coulondre,Stéphane:信息系统中访问控制的集成:从角色工程到实现(2006)
  13. 洛德斯泰特,托尔斯滕;盆地,大卫;Doser,Jürgen:SecureUML:一种基于UML的模型驱动安全建模语言(2002)