Ontology Model-Based Static Analysis of Security Vulnerabilities. - Lian Yu; Shizhong Wu; Tao Guo 001; Guowei Dong; Cheng-Cheng Wan; Yin-Hang Jing (ICICS, 2011)