Another look at security definitions
scientific article; zbMATH DE number 6160575