• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Advanced information systems engineering workshops >Lightweight Formal Verification in Real World, A Case Study
【24h】

Lightweight Formal Verification in Real World, A Case Study

机译：真实世界中的轻量级形式验证，案例研究

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

摘要

To security oriented large-scale projects, formal verification is widely used to assure the satisfaction of claimed security properties. Although complete formal verification and validation requires a great amount of time and resources, applying lightweight formal methods to partial specifications reduces the required efforts to a convenient amount, while can still uncover sensitive software design problems. This paper describes our experience of applying lightweight formal verification to the authentication system of webinos, a substantial cross-device software infrastructure developed in a large scale EU funded project. The paper details the approach, the properties analysed, the lessons learned and concludes with possible recommendations for practitioners and designers about how to use lightweight formal verification in real world projects.
机译：对于面向安全的大型项目，形式验证广泛用于确保要求保护的安全性得到满足。尽管完整的形式验证和确认需要大量时间和资源，但是将轻量级形式方法应用于部分规范会减少所需的工作量，同时仍然可以发现敏感的软件设计问题。本文介绍了我们将轻量级形式验证应用于webinos身份验证系统的经验，webinos是在欧盟资助的大型项目中开发的强大的跨设备软件基础结构。本文详细介绍了方法，分析的属性，经验教训，并为从业人员和设计人员提供了有关在现实世界项目中如何使用轻量级形式验证的建议。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号