Homepage Notables

Liu and Xie receive award from NSF

Alex Liu and Tao Xie (North Carolina State University) have been awarded
a grant from the National Science Foundation for the project entitled "A
New Approach to Testing and Verification of Security Policies". The
project aims to unify application level and network level security
policies, and develop rigorous testing and verification techniques for
unified security policies.