SysML Models and Model Transformation for Security
SysML模型和模型转换以实现安全性 摘要 嵌入式系统的安全漏洞已成为网络罪犯非常有价值的目标。 引入SysML-Sechas来针对这些系统在其开发阶段的安全性。 但是，评估这些阶段的攻击抵抗力需要有效地捕获系统的行为，并从这些行为中正式证明安全性。 因此，本文提出（i）增强了新颖的SysML框图和状态机图，以更好地捕获安全功能，以及（ii）从模型到Proverif的转换.ProVerif是首次发
相关文章
- 1. SysML-Sec A model Driven Approach for Designing Safe and Secure Systems
- 2. MEASUREMENT MODELS AND PRINCIPLES FOR SOURCE LOCALIZATION
- 3. [Backbone]5. Model & View, toggle between Models and Views -- 2
- 4. Article - World, View and Projection Transformation Matrices
- 5. Towards the Model-Driven Engineering of Security Requirements for Embedded System
- 6. Maximum Entropy Markov Models for Information Extraction and Segmentation
- 7. SysML——AI-Sys Spring 2019
- 8. Deep Learning Models and Code for Pose Estimation
- 9. SysML-Sec: A Model-Driven Environment for Developing Secure Embedded Systems
- 10. Computational Models for Social and Information Network Analysis
- 更多相关文章...
- • Swift for 循环 - Swift 教程
- • Scala for循环 - Scala教程
- • RxJava操作符（七）Conditional and Boolean
- • 算法总结-股票买卖
相关标签/搜索
每日一句
-
每一个你不满意的现在，都有一个你没有努力的曾经。
欢迎关注本站公众号,获取更多信息
相关文章
- 1. SysML-Sec A model Driven Approach for Designing Safe and Secure Systems
- 2. MEASUREMENT MODELS AND PRINCIPLES FOR SOURCE LOCALIZATION
- 3. [Backbone]5. Model & View, toggle between Models and Views -- 2
- 4. Article - World, View and Projection Transformation Matrices
- 5. Towards the Model-Driven Engineering of Security Requirements for Embedded System
- 6. Maximum Entropy Markov Models for Information Extraction and Segmentation
- 7. SysML——AI-Sys Spring 2019
- 8. Deep Learning Models and Code for Pose Estimation
- 9. SysML-Sec: A Model-Driven Environment for Developing Secure Embedded Systems
- 10. Computational Models for Social and Information Network Analysis