AURA: a programming language for authorization and audit.
Limin JiaJeffrey A. VaughanKarl MazurakJianzhou ZhaoLuke ZarkoJoseph SchorrSteve ZdancewicPublished in: ICFP (2008)
Keyphrases
- programming language
- access control
- gray level
- object oriented
- software engineering
- general purpose
- strongly typed
- high level
- logic programming
- data abstraction
- programming environment
- conflict resolution
- object oriented programming
- intrusion detection
- computer programs
- database languages
- specification language
- abstract data types
- programming tool
- data mining techniques
- concurrent programming
- denotational semantics
- functional language
- high level programming language
- machine learning
- database applications
- database language
- java language