促进现代汽车系统安全测试的的形式化模型
密码学与安全
2018-05-16 v1 软件工程
摘要
确保汽车内部系统无安全漏洞至关重要，尤其是由于安全性与其他属性（如安全和可靠性）之间的关系。我们提供了一个以模型为基础的框架的起点，该框架旨在支持现代汽车的安全测试。我们使用通信顺序进程（CSP）创建车辆总线系统的架构模型，以及针对这些系统的初始攻击集合。尽管这一贡献代表了初步步骤，但我们着眼于生成测试代码以检验车辆总线系统安全性的最终目标。我们提出了所创建模型的后续方向，并考虑了它们与商业工程工具的潜在集成。
引用
@article{arxiv.1805.05520,
title = {A Formal Model to Facilitate Security Testing in Modern Automotive Systems},
author = {Eduardo dos Santos and Andrew Simpson and Dominik Schoop},
journal= {arXiv preprint arXiv:1805.05520},
year = {2018}
}
备注
In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636