面向AltaRica模型的嵌入式系统安全性验证方法

面向AltaRica模型的嵌入式系统安全性验证方法

仵志鹏，胡军，陈松，石娇洁

Safety Verification Methodology of Embedded System Based on AltaRica Model

WU Zhipeng, HU Jun, CHEN Song, SHI Jiaojie

计算机科学与探索 . 2017, (1): 24 -36 . DOI: 10.3778/j.issn.1673-9418.1511003