Enforcement of Security Properties for Dynamic MAC Policies | IEEE Conference Publication | IEEE Xplore