Theft and conspiracy in the Take-Grant protection model
finite set of graph transformation rules
scientific article; zbMATH DE number 3774901