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

Glenn Bruns Michael Huth Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis. 163-176 2008 CSF http://doi.ieeecomputersociety.org/10.1109/CSF.2008.10 conf/csfw/2008 db/conf/csfw/csf2008.html#BrunsH08