Formal analysis of usage control policies.

Boulares Ouchenne, Ousmane Kon

Browse the full SIN paper archive.