基于系统理论过程分析的安全关键软件安全性验证方法
王鹏, 吴康, 阎芳, 汪克念, 张啸晨
Security verification method of safety critical software based on system theoretic process analysis
WANG Peng, WU Kang, YAN Fang, WANG Kenian, ZHANG Xiaochen
计算机应用
.
2019, (11): 3298
-3303
.
DOI: 10.11772/j.issn.1001-9081.2019040688
