Static confidentiality enforcement for distributed programs Sabelfeld, Andrei Mantel, Heiko 2002 - TUHH Open Research