Specifying context-aware runtime security policies using an algebraic policy specification language.
Takuo WatanabeKiyoshi YamadaNaoyuki NagatouPublished in: IASTED Conf. on Software Engineering (2004)
Keyphrases
- specification language
- context aware
- security policies
- access control policies
- ubiquitous computing environments
- access control
- formal specification
- contextual information
- programming language
- network security
- ubiquitous computing
- description language
- context awareness
- security requirements
- ambient intelligence
- mobile devices
- distributed systems
- conflict resolution
- mobile users
- mobile computing
- context aware systems
- ubiquitous learning
- context aware services
- distributed environment
- context aware computing
- current context
- database
- context aware ubiquitous learning
- high level
- databases