https://123dok.net/document/7qv64jdy-formal-enforcement-of-security-policies-an-algebraic-approach.html