ARSL: A Language for Authorization Rule Specification in Software Security.
Weider D. YuEllora NayakPublished in: ISCC (2006)
Keyphrases
- specification language
- formal language
- programming language
- access control
- language learning
- event condition action
- formal languages
- natural language
- fine grained
- action language
- definition language
- classification rules
- linear temporal logic
- high level
- object oriented programming
- grammar rules
- operational semantics
- active databases
- formal specification
- temporal logic
- database systems