@MastersThesis{ sauer:informationsflusssicherheit, author = {Jens Sauer}, title = {Informationsflusssicherheit in Systemen mit zwei Prozessoren}, school = {TU Darmstadt}, type = {Master Thesis}, month = {January}, year = 2012, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2012/Masterthesis_Sauer_2012.pdf} }