1 To examine a relationship amongst RBAC models [FCK95, GB98, Sa98], Access Control Calculus for Distributed Systems [ABLP93], Deontic Logic for Security Policy [CS96].
2 To develop a unified theory based on Logic Programming [Ko79, Ll93] for expressing
