Abstractions of non-interference security: probabilistic versus possibilistic
scientific article; zbMATH DE number 6419442
scientific article