Discovering and Mitigating New Attack Paths Using Graphical Security Models | IEEE Conference Publication | IEEE Xplore