Percy Antonio Pari Salas, Padmanabhan Krishnan, Kelvin J. Ross. Model-Based Security Vulnerability Testing. In 18th Australian Software Engineering Conference (ASWEC 2007), April 10-13, 2007, Melbourne, Australia. pages 284-296, IEEE Computer Society, 2007. [doi]
Abstract is missing.