A Formal Methodology Applied to Secure Over-the-Air Automotive Applications

適用於安全的空中汽車應用的形式化方法論 摘要 未來汽車應用中預期的高複雜性將要求經常更新支持這些應用的電子設備。 即使車載設備值得信賴，對空中交換的潛在攻擊也對安全性和安全性提出了嚴格的要求。 爲了解決對安全屬性的形式驗證，我們先前已經引入了AVATAR UML配置文件，其方法論涵蓋了需求，分析，設計和形式驗證階段[1]。 現在，我們建議將AVATAR擴展到在所有方法論階段和相同模型中都支持安全性

>>阅读原文<<