CSC News

August 29, 2007

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.

Return To News Homepage