@MastersThesis{ th:Specht2012a, author = {Daniel Specht}, school = {TU Darmstadt}, month = {September}, title = {A Formal Model and Tool for Data Flow Security in Computer Networks}, type = {Bachelor Thesis}, year = 2012 }