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]

Authors

Yiwen Liang

This author has not been identified. Look up 'Yiwen Liang' in Google

Wenjun Deng

This author has not been identified. Look up 'Wenjun Deng' in Google