Specification and Verification of Constraints in Role Based Access Control for Enterprise Security System.

Grzegorz Kolaczek

Browse the full WETICE paper archive.