A formal model for hierarchical policy contexts | IEEE Conference Publication | IEEE Xplore