A logical specification for usage control.

Xinwen Zhang, Jaehong Park, Francesco Parisi-Presicce, Ravi S. Sandhu

Browse the full SACMAT paper archive.