Deny-monotone composition of hierarchical access control policies in distributed systems: a formal algebraic approach
<title>Abstract</title> Modern distributed systems built from microservices, multi-cloud deployments and edge nodes rely on fine-grained access control policies that combine att...