@article{RoschkeChengMeinel2013,
  author    = {Sebastian Roschke and Feng Cheng and Christoph Meinel},
  title     = {High-quality attack graph-based IDS correlation},
  journal   = {Logic journal of the IGPL},
  volume    = {21},
  number    = {4},
  pages     = {571 -- 591},
  doi       = {10.1093/jigpal/jzs034},
  year      = {2013},
}