Resolving constraint conflicts
LOMAC: Low Water-Mark integrity protection for COTS environments