@MastersThesis{ weber:formal, author = {Alexandra Weber}, title = {A Formal Model, a Noninterference Condition, and a Sound Type System for a Certifying Application Store}, type = {Bachelor Thesis}, school = {TU Darmstadt}, year = 2012 }