Rule formats for compositional non-interference properties
scientific article; zbMATH DE number 2099291