Secure Data Flow in a Calculus for Context Awareness [chapter]

Doina Bucur, Mogens Nielsen
2008 Lecture Notes in Computer Science  
We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computing agents can provide and discover contextual information and are owners of security policies. Simple access control to contextual information is not sufficient to insure confidentiality in Global Computing, therefore our security policies regulate agents' rights to the provision and discovery of contextual information over
more » ... ibuted flows of actions. A type system enforcing security policies by a combination of static and dynamic checking of mobile agents is provided, together with its type soundness.
doi:10.1007/978-3-540-68679-8_27 fatcat:ujdnbltnbngvzhqspdzdozaogi