Abstract: By studying the automatic verification analysis techniques of network security domain, a secure domain topology automatically restore and security domains devices interconnected relations, security domain boundaries and border access control policy automatic verification were achieved. Through automation, normalization and processes curing methods, violations of the security domain provisions of the act were detected. It ensures border access control policy is minimized and network security domain is divided continued compliance, reduces the risks associated with the security domain management.


论文引用格式：刘晓峰,谭 彬,邱 岚等.网络安全域自动核查分析技术及应用.电信科学，2015020
Liu X F,Tan B,Qiu L,et al.Automatic verification analysis technology of network security domain.Telecommunications Science,2015020