@article{RecktenwaldSchroepfer2013,
  author    = {Benedikt Recktenwald and David Schr{\"o}pfer},
  title     = {Formale Beschreibung von Sicherheitsl{\"u}cken},
  series = {informatikJournal},
  volume    = {2013/14},
  isbn      = {978-3-00-044321-3},
  pages     = {101 -- 111},
  year      = {2013},
  language  = {de}
}