A Mandatory Access Control (MAC) security module for Mirage Xenstore