Verify Consistency between Security Policy and Firewall Policy with Answer Set Programming

Yiwen Liang, Wenjun Deng. Verify Consistency between Security Policy and Firewall Policy with Answer Set Programming. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 1: Artificial Intelligence, December 12-14, 2008, Wuhan, China. pages 196-200, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.