Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+

Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou

Usage control models provide an integration of access control, digital rights, and trust management. To achieve this integration, usage control models support additional concepts s…