Jeehyun Hwang

Chen, F., Liu, A. X., Hwang, J., & Xie, T. (2012). First step towards automatic correction of firewall policy faults. ACM Transactions on Autonomous and Adaptive Systems, 7(2).

Hwang, J. H., Xie, T., El Kateb, D., Mouelhi, T., & Le Traon, Y. (2012). 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. https://doi.org/10.1145/2351676.2351719

Liu, A. X., Chen, F., Hwang, J. H., & Xie, T. (2011). Designing Fast and Scalable XACML Policy Evaluation Engines. IEEE TRANSACTIONS ON COMPUTERS, 60(12), 1802–1817. https://doi.org/10.1109/tc.2010.274

Hu, V. C., Kuhn, D. R., Xie, T., & Hwang, J. (2011). MODEL CHECKING FOR VERIFICATION OF MANDATORY ACCESS CONTROL MODELS AND PROPERTIES. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 21(1), 103–127. https://doi.org/10.1142/s021819401100513x

Hwang, J. H., Xie, T., & Hu, V. C. (2009). Detection of Multiple-Duty-Related Security Leakage in Access Control Policies. 2009 THIRD IEEE INTERNATIONAL CONFERENCE ON SECURE SOFTWARE INTEGRATION AND RELIABILITY IMPROVEMENT, PROCEEDINGS, pp. 65–74. https://doi.org/10.1109/ssiri.2009.63

Hwang, J. H., Xie, T., Chen, F., & Liu, A. X. (2009). Fault Localization for Firewall Policies. 2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, pp. 100-+. https://doi.org/10.1109/srds.2009.38