PCAL: Language Support for Proof-Carrying Authorization Systems.
Avik ChaudhuriDeepak GargPublished in: ESORICS (2009)
Keyphrases
- formal languages
- support systems
- natural language
- technical systems
- exception handling
- learning systems
- management system
- programming language
- intelligent systems
- access control
- computer systems
- logic programming
- fine grained
- retrieval systems
- object oriented programming
- user interface
- relational database management systems
- relational databases
- expert systems
- database