@MastersThesis{ th:Tasch2013, author = {Markus Tasch}, title = {Exemplary Specification of Integrity Requirements by Information-Flow Properties}, type = {Bachelor Thesis}, school = {TU Darmstadt}, year = 2013 }