An Integrated Formal Model for Context-Aware Systems.

Eun-Sun Cho Tae-Seob Yoon Joong-Hyun Choi Joon-Young Paik Sumi Helal

Published in: COMPSAC Workshops (2013)

Keyphrases

formal model
context aware systems
context aware
context awareness
ubiquitous computing
formal models
user context
context aware services
security properties
ambient intelligence
security patterns
current context
contextual information
mobile computing