A semantic approach to secure information flow
scientific article; zbMATH DE number 1454815