网络安全域自动核查分析技术及应用
刘晓峰,谭 彬,邱 岚,王焕如
Automatic Verification Analysis Technology of Network Security Domain
Liu Xiaofeng,Tan Bin,Qiu Lan and Wang Huanru
电信科学 . 2015, (1): 2015020 .