安全苛求软件需求规格中的安全特性验证方法

王飞郭渊博李波郝耀辉

Validation method of security features in safety critical software requirements specification

WANG Fei GUO Yuanbo LI Bo HAO Yaohui

计算机应用 . 2013, (07): 2041 -2045 . DOI: 10.11772/j.issn.1001-9081.2013.07.2041