Romuald Thion, Daniel Le Métayer. FLAVOR: A Formal Language for a Posteriori Verification of Legal Rules. In POLICY 2011, IEEE International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy, 6-8 June 2011. pages 1-8, IEEE Computer Society, 2011. [doi]
Abstract is missing.