Works (6)

2012 journal article

First step towards automatic correction of firewall policy faults

ACM Transactions on Autonomous and Adaptive Systems, 7(2).

By: F. Chen, A. Liu, J. Hwang & T. Xie

Source: NC State University Libraries
Added: August 6, 2018

2012 conference paper

Selection of regression system tests for security policy evolution

2012 proceedings of the 27th ieee/acm international conference on automated software engineering (ase), 266–269.

By: J. Hwang, T. Xie, D. El Kateb, T. Mouelhi & Y. Le Traon

Source: NC State University Libraries
Added: August 6, 2018

2011 journal article

Designing fast and scalable XACML policy evaluation engines

IEEE Transactions on Computers, 60(12), 1802–1817.

By: A. Liu, F. Chen, J. Hwang & T. Xie

Source: NC State University Libraries
Added: August 6, 2018

2011 journal article

Model checking for verification of mandatory access control models and properties

International Journal of Software Engineering and Knowledge Engineering, 21(1), 103–127.

By: V. Hu, D. Kuhn, T. Xie & J. Hwang

Source: NC State University Libraries
Added: August 6, 2018

2009 conference paper

Detection of multiple-duty-related security leakage in access control policies

2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement, Proceedings, 65–74.

By: J. Hwang, T. Xie & V. Hu

Source: NC State University Libraries
Added: August 6, 2018

2009 conference paper

Fault localization for firewall policies

2009 28th ieee international symposium on reliable distributed systems, proceedings, 100–106.

By: J. Hwang, T. Xie, F. Chen & A. Liu

Source: NC State University Libraries
Added: August 6, 2018