@article{黄锐_3261, author = {[黄锐, 马亮, 秦楠]}, title = {基于系统理论过程分析的软件安全性需求分析与验证方法}, publisher = {《计算机应用》唯一官方网站}, year = {2020}, journal = {计算机应用}, volume = {40}, number = {11}, eid = {3261}, pages = {3261-3266}, keywords = {系统理论过程分析;软件安全需求;形式化方法;模型检验;武器发射控制系统}, doi = http://www.joca.cn/CN/10.11772/j.issn.1001-9081.2020040548 }