Armin Lunkeit. A Graph-Based Approach for Analysis of Software Security. In Thomas Bauer, Jürgen Großmann, Fredrik Seehusen, Ketil Stølen, Marc-Florian Wendland, editors, Risk Assessment and Risk-Driven Testing - First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers. Volume 8418 of Lecture Notes in Computer Science, pages 68-79, Springer, 2013. [doi]
Abstract is missing.