Automatic Verification Analysis Technology of Network Security Domain
Xiaofeng Liu,Bin Tan,Lan Qiu,Huanru Wang
Telecommunications Science . 2015, (1): 171 -175 .  DOI: 10.11959/j.issn.1000-0801.2015020

Copyright of Website: China InfoCom Media Group
Address: F2, Beiyang Chenguang Building, Shunbatiao No.1 Courtyard, Fengtai District, Beijing, China       Postal Code: 100079
Tel: （010）53879277、53879278、53879279        Email: dxkx@ptpress.com.cn