@INPROCEEDINGS{hwang08:systematic,
    author = {JeeHyun Hwang and Tao Xie and Fei Chen and Alex X. Liu},
    title = {Systematic Structural Testing of Firewall Policies},
    booktitle = {Proc. 27th IEEE International Symposium on Reliable Distributed Systems  (SRDS 2008)},
    month = {October},
    year = {2008}, 
    location = {Napoli, Italy},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications.htm},
}

@ARTICLE{hu10:model,
    author = {Vincent Hu and Richard Kuhn and Tao Xie and JeeHyun Hwang},

    title = {Model Checking for Verification of Mandatory Access Control Models and Properties},
    journal = {International Journal of Software Engineering and Knowledge Engineering},
     year = {2010},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications.htm},
}

@INPROCEEDINGS{hwang09:fault,
    author = {JeeHyun Hwang and Tao Xie and Fei Chen and Alex X. Liu},
    title = {Fault Localization for Firewall Policies},
    booktitle = {Proc. 28th IEEE International Symposium on Reliable Distributed Systems  (SRDS 2009), Short Paper},
    month = {September},
    year = {2009}, 
    location = {Niagara Falls, New York},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications/srds09.pdf},
}


@INPROCEEDINGS{hwang09:detection,
    author = {JeeHyun Hwang and Tao Xie and Vincent C. Hu},
    title = {Detection of Multiple-Duty-Related Security Leakage in Access Control Policies},
    booktitle = {Proc. 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2009)},
    month = {July},
    year = {2009}, 
    pages = {59--68},

    location = {Shanghai, China},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications/ssiri09-policy.pdf},
}

@INPROCEEDINGS{li08:multiple,
    author = {Nuo Li and JeeHyun Hwang and Tao Xie},
    title = {Multiple-Implementation Testing for {XACML} Implementations},
    booktitle = {Proc. Workshop on Testing, Analysis and Verification of Web Software  (TAV-WEB 2008)},
    month = {July},
    year = {2008}, 
    location = {Seattle, WA},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications/tav-web08.pdf},
}

@INPROCEEDINGS{liu08:xengine,
    author = {Alex X. Liu and Fei Chen and JeeHyun Hwang and Tao Xie},
    title = {XEngine: A Fast and Scalable {XACML} Policy Evaluation Engine},
    booktitle = {Proc. International Conference on Measurement and Modeling of Computer Systems  (SIGMETRICS 2008)},
    month = {June},
    year = {2008}, 
    location = {Annapolis, Maryland},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications/sigmetrics08-xengine.pdf},
}

@INPROCEEDINGS{hu07:conformance,
    author = {Vincent C. Hu and Evan Martin and JeeHyun Hwang and Tao Xie},

    title = {Conformance Checking of Access Control Policies Specified in {XACML}},
    booktitle = {Proc. 1st IEEE International Workshop on Security in Software Engineering (IWSSE 2007)},
    month = {July},
    year = {2007}, 
    location = {Beijing, China},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications/iwsse07.pdf},
}