From a Generic Framework for Expressing Integrity Properties to a Dynamic MAC Enforcement for Operating Systems

Publication
Transactions on Computational Science XI

Related