An Access Control Language Based on Term Rewriting and Description Logic.
Michele BaggiDemis BallisMoreno FalaschiPublished in: WFLP (2010)
Keyphrases
- access control
- description logics
- term rewriting
- operational semantics
- knowledge base
- fine grained
- terminological knowledge
- dynamic access control
- theorem proving
- theorem prover
- knowledge representation
- role based access control
- snomed ct
- reasoning tasks
- security policies
- formal semantics
- modal operators
- access control policies
- natural language
- transitive closure of roles
- semantic web
- data mining
- domain specific
- machine learning