Summary Report (Fall 2008 - Summer 2009)

1. Research

• A SSIRI conference paper is accepted.

• Detection of Multiple-Duty-Related Security Leakage in Access Control Policies. [PDF][BibTex]
  JeeHyun Hwang, Tao Xie, and Vincent C. Hu.
  In Proceedings of the 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2009), Shanghai, China, July 2009.
  Acceptance rate: 30/119 = 25%

• A SRDS conference short paper is accepted.

• Fault Localization for Firewall Policies. [PDF][BibTeX]
  JeeHyun Hwang, Tao Xie, Fei Chen, and Alex X. Liu.
  To Appear In Proceedings of the 28th IEEE International Symposium on Reliable Distributed Systems
  (SRDS 2009), Short Paper, Niagara Falls, New York, September 2009.
  Acceptance rate: (23+7)/104 = 29%

• A IJSEKE journal paper is accepted.
• Model Checking for Verification of Mandatory Access Control Models and Properties. [PDF][BibTeX]
  Vincent Hu, Richard Kuhn, Tao Xie, and JeeHyun Hwang.
  To Appear  In International Journal of Software Engineering and Knowledge Engineering.
  2010.

2. Tools

• developing ACPT (Access Control Policy Testing) with NIST 
  

3. Courses

• Passed DR Written PRELIM EXAM

4. Co-review

• Co-Reviewer, WWW, ASE 2009

5. Others

• Fermilab Summer Research Internship '08