SysML Models and Model Transformation for Security

SysML模型和模型轉換以實現安全性 摘要 嵌入式系統的安全漏洞已成爲網絡罪犯非常有價值的目標。 引入SysML-Sechas來針對這些系統在其開發階段的安全性。 但是，評估這些階段的攻擊抵抗力需要有效地捕獲系統的行爲，並從這些行爲中正式證明安全性。 因此，本文提出（i）增強了新穎的SysML框圖和狀態機圖，以更好地捕獲安全功能，以及（ii）從模型到Proverif的轉換.ProVerif是首次發

>>阅读原文<<