Patrice Clemente, Jonathan Rouzaud-Cornabas, Christian Toinard. From a Generic Framework for Expressing Integrity Properties to a Dynamic mac Enforcement for Operating Systems. Transactions on Computational Science, 11:131-161, 2010. [doi]
Abstract is missing.