Enforcement and validation (at runtime) of various notions of opacity
scientific article; zbMATH DE number 6518611