Towards Modal Logic Formalization of Role-Based Access Control with Object Classes.

Junghwa Chae

Browse the full FORTE paper archive.