Nexus authorization logic (NAL): Design rationale and applications.
Fred B. SchneiderKevin WalshEmin Gün SirerPublished in: ACM Trans. Inf. Syst. Secur. (2011)
Keyphrases
- design rationale
- semi automatic
- formal semantics
- modeling language
- access control
- software application
- conflict resolution
- development process
- logic programming
- modal logic
- design patterns
- metamodel
- domain specific
- formal representation
- cooperative
- artificial intelligence
- online learning
- object oriented
- role based access control
- database systems