• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Formal methods for eternal networked software systems >Modelling Secure Systems Evolution:Abstract and Concrete Change Specifications
【24h】

Modelling Secure Systems Evolution:Abstract and Concrete Change Specifications

机译：安全系统演化建模：抽象和具体的变更规范

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Developing security-critical systems is difficult, and there are many well-known examples of vulnerabilities exploited in practice. In fact, there has recently been a lot of work on methods, techniques, and tools to improve this situation already at the system specification and design. However, security-critical systems are increasingly long-living and undergo evolution throughout their lifetime. Therefore, a secure software development approach that supports maintaining the needed levels of security even through later software evolution is highly desirable. In this chapter, we recall the UMLsec approach to model-based security and discuss on tools and techniques to model and verify evolution of UMLsec models.
机译：开发对安全至关重要的系统非常困难，并且在实践中有许多众所周知的漏洞利用示例。实际上，最近在系统规范和设计方面已经有很多方法，技术和工具方面的工作来改善这种情况。但是，安全关键型系统的寿命越来越长，并且在其整个生命周期中都在不断发展。因此，非常需要即使在以后的软件开发中也能够维持所需的安全级别的安全软件开发方法。在本章中，我们回顾了基于模型的安全性的UMLsec方法，并讨论了用于对UMLsec模型进行建模和验证的工具和技术。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号