Validation method of security features in safety critical software requirements specification
WANG Fei GUO Yuanbo LI Bo HAO Yaohui
Journal of Computer Applications . 2013, (07): 2041 -2045 .  DOI: 10.11772/j.issn.1001-9081.2013.07.2041