安全UML

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


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

显示结果1到13,共13个。
按年份排序(引用)

  1. Bouquet,Fabrice;Peureux,Fabien;Ambert,Fabrice:功能和安全测试生成的基于模型的测试(2014)
  2. 本杰明·费比安(Fabian,Benjamin);Gürses,Seda;Heisel,Maritta;Santen,Thomas;Schmidt,Holger:安全需求工程方法的比较(2010)ioport公司
  3. Gunawan,Linda Ariani;Herrmann,Peter;Kraemer,Frank Alexander:使用面向协作的模型将安全方面集成到系统开发中(2010)
  4. Siveroni,Igor;Zisman,Andrea;Spanoudakis,George:基于UML的静态安全验证框架(2010)ioport公司
  5. Brucker,Achim D.;Wolff,Burkhart:面向对象规范的语义、计算和分析(2009)
  6. Jürjens,Jan:基于流的密码协议领域特定语言(2009)
  7. Breu,Ruth;Popp,Gerhard;Alam,Muhammad:基于模型的访问策略开发(2007)ioport公司
  8. Jürjens,Jan;Shabalin,Pasha:用UML进行安全系统开发的工具(2007)ioport公司
  9. Klarl,Heiko:Modellgetriebene,mustergestützte sicherheit in serviceorientierten architekturen(2007年)ioport公司
  10. Shin,Michael E.;Gomaa,Hassan:将非安全应用程序演化为安全应用程序的软件需求和体系结构建模(2007)
  11. Koch,Manuel;Parisi Presicce,Francesco:访问控制策略的UML规范及其形式验证(2006)ioport公司
  12. Thion,Romuald;Coulondre,Stéphane:信息系统中访问控制的集成:从角色工程到实现(2006)
  13. Lodderstedt,Torsten;Basin,David;Doser,Jürgen:SecureUML:一种基于UML的模型驱动安全建模语言(2002)