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