Secure Data Flow in a Calculus for Context Awareness

Doina Bucur, Mogens Nielsen

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

7 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationConcurrency, Graphs and Models
Subtitle of host publicationEssays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
EditorsPierpaolo Degano, Rocco De Nicola, José Meseguer
Place of PublicationBerlin, Heidelberg
Number of pages18
ISBN (Electronic)978-3-540-68679-8
ISBN (Print)978-3-540-68676-7
Publication statusPublished - 2008
Externally publishedYes

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'Secure Data Flow in a Calculus for Context Awareness'. Together they form a unique fingerprint.

Cite this