CSC News
Xie 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.
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 Homepage