A nonmonotonic modal authorization logic for pervasive computing.
Ali Noorollahi RavariMehran S. FallahPublished in: Secur. Commun. Networks (2015)
Keyphrases
- pervasive computing
- modal logic
- nonmonotonic logics
- ambient intelligence
- default logic
- daily life
- ubiquitous computing
- defeasible logic
- mobile devices
- temporal logic
- access control
- context awareness
- computing environments
- service discovery
- mobile computing
- autoepistemic logic
- nonmonotonic reasoning
- context aware
- logic programming
- tableau calculus
- classical logic
- smart environments
- pervasive computing environments
- pervasive environments
- information retrieval
- activity recognition
- model checking
- database systems