A Method of Software System Security Verification and Evaluation Based on Extension of AADL Model
1977 ◽
Vol 16
(03)
◽
pp. 144-153
◽
Keyword(s):