Model-Based Security Vulnerability Testing.

Percy Antonio Pari Salas Padmanabhan Krishnan Kelvin J. Ross Model-Based Security Vulnerability Testing. 284-296 2007 ASWEC http://doi.ieeecomputersociety.org/10.1109/ASWEC.2007.31 conf/aswec/2007 db/conf/aswec/aswec2007.html#SalasKR07