CSC News
August 29, 2007Xie Receives NSF Award to Study New Approach to Testing and Verification of Security Policies
Dr. Tao Xie has been awarded $180,000 by the National Science Foundation to fund his research proposal titled “CT-ISG: Collaborative Research: A New Approach to Testing and Verification of Security Policies.”The award will run from August 1, 2007 through July 31, 2010.
Research Abstract - Security policies such as access control and firewall policies are one of the most fundamental and widely used privacy and security mechanisms. Assuring the correctness of security policies has been a critical and yet challenging task. In this proposal, we propose to develop a uniform representation of security policies across application domains such as XACML access control policies and firewall policies, and a set of novel techniques for testing and verification of both static and stateful policies based on the uniform representation.
Return To News Web Page
