Andrei Sabelfeld, Andrew C. Myers: Language-based information-flow security. IEEE J. Sel. Areas Commun. 21(1): 5-19 (2003)