Dianxin kexue (Jan 2015)

Automatic Verification Analysis Technology of Network Security Domain

  • Xiaofeng Liu,
  • Bin Tan,
  • Lan Qiu,
  • Huanru Wang

Journal volume & issue
Vol. 31
pp. 171 – 175

Abstract

Read online

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.

Keywords