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 distributed 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.
|Title of host publication||Concurrency, Graphs and Models|
|Subtitle of host publication||Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday|
|Editors||Pierpaolo Degano, Rocco De Nicola, José Meseguer|
|Place of Publication||Berlin, Heidelberg|
|Number of pages||18|
|Publication status||Published - 2008|
|Name||Lecture Notes in Computer Science|