The 1st workshop on model-based verification validation: Directed acyclic graph modeling of security policies for firewall testing

摘要

3rd IEEE International Conference on Secure Software Integration Reliability Improvement, SSIRI 2009; Shanghai; China; 8 July 2009 through 10 July 2009