Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis

doi 10.1109/csf.2008.10