Which security policies are enforceable by runtime monitors? A survey
scientific article; zbMATH DE number 6361007