Computationally secure information flow - Laud, Peeter (Verfasser) (Universität des Saarlandes, Saarbrücken, 2004)