A Formal Methodology Applied to Secure Over-the-Air Automotive Applications
適用於安全的空中汽車應用的形式化方法論 摘要 未來汽車應用中預期的高複雜性將要求經常更新支持這些應用的電子設備。 即使車載設備值得信賴，對空中交換的潛在攻擊也對安全性和安全性提出了嚴格的要求。 爲了解決對安全屬性的形式驗證，我們先前已經引入了AVATAR UML配置文件，其方法論涵蓋了需求，分析，設計和形式驗證階段[1]。 現在，我們建議將AVATAR擴展到在所有方法論階段和相同模型中都支持安全性
相關文章
- 1. Services to Secure Your Applications
- 2. Ajax: A New Approach to Web Applications
- 3. Developing Secure Applications for the Cloud
- 4. A Review on Deep Learning Techniques Applied to Semantic Segmentation
- 5. Formal language
- 6. Fiber-reinforced polymer composites for Structural Applications: Electric vehicles applications
- 7. A Five-Minute Guide to Ph.D. Program Applications
- 8. highgui module1(Adding a Trackbar to our applications)
- 9. introduction to Monitoring Serverless Applications
- 10. Agile Methodology
- 更多相關文章...
- • PHP Secure E-mails - PHP教程
- • ASP ServerVariables 集合 - ASP 教程
- • 委託模式
- • Kotlin學習（二）基本類型
相關標籤/搜索
每日一句
-
每一个你不满意的现在，都有一个你没有努力的曾经。
歡迎關注本站公眾號,獲取更多信息
相關文章
- 1. Services to Secure Your Applications
- 2. Ajax: A New Approach to Web Applications
- 3. Developing Secure Applications for the Cloud
- 4. A Review on Deep Learning Techniques Applied to Semantic Segmentation
- 5. Formal language
- 6. Fiber-reinforced polymer composites for Structural Applications: Electric vehicles applications
- 7. A Five-Minute Guide to Ph.D. Program Applications
- 8. highgui module1(Adding a Trackbar to our applications)
- 9. introduction to Monitoring Serverless Applications
- 10. Agile Methodology