Safety Decidability for Pre-Authorization Usage Control with Identifier Attribute Domains | IEEE Journals & Magazine | IEEE Xplore