"Security policy in a declarative style."

Rachid Echahed, Frédéric Prost (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics