1. Windows access control demystified;govindavajhala,2006
2. Status of the MulVAL project;govindavajhala,2006
3. Automatic configuration vulnerability analysis;govindavajhala,2007
4. A formal approach to practical network security management;govindavajhala,2006
5. Overview on attack graph generation and visualization technology