"Analyzing web access control policies."

Vladimir Kolovski, James A. Hendler, Bijan Parsia (2007)
maintained by Schloss Dagstuhl LZI, founded at University of Trier