Christian W. Probst Jan Willemson Wolter Pieters The Attack Navigator. 1-17 2015 GraMSec https://doi.org/10.1007/978-3-319-29968-6_1 conf/csfw/2015gramsec db/conf/csfw/gramsec2015.html#ProbstWP15