基于系统理论过程分析的软件安全性需求分析与验证方法

秦楠, 马亮, 黄锐

Software safety requirement analysis and verification method based on system theoretic process analysis

QIN Nan, MA Liang, HUANG Rui

计算机应用 . 2020, (11): 3261 -3266 . DOI: 10.11772/j.issn.1001-9081.2020040548