Content dependent information flow control
scientific article; zbMATH DE number 6688098
scientific article