Secure Data Flow in a Calculus for Context Awareness

Doina Bucur; Mogens Nielsen

doi:10.1007/978-3-540-68679-8_27

Secure Data Flow in a Calculus for Context Awareness

Doina Bucur, Mogens Nielsen

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

7 Citations (Scopus)

Abstract

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 language	English
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
Publisher	Springer
Pages	439-456
Number of pages	18
ISBN (Electronic)	978-3-540-68679-8
ISBN (Print)	978-3-540-68676-7
DOIs	https://doi.org/10.1007/978-3-540-68679-8_27
Publication status	Published - 2008
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	5065
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-540-68679-8_27

Cite this

@inbook{aed4c2f64e7c4affbcc08cf5eaeb07c1,

title = "Secure Data Flow in a Calculus for Context Awareness",

abstract = "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.",

author = "Doina Bucur and Mogens Nielsen",

year = "2008",

doi = "10.1007/978-3-540-68679-8_27",

language = "English",

isbn = "978-3-540-68676-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "439--456",

editor = "Pierpaolo Degano and {De Nicola}, Rocco and Jos{\'e} Meseguer",

booktitle = "Concurrency, Graphs and Models",

address = "Germany",

}

Secure Data Flow in a Calculus for Context Awareness. / Bucur, Doina; Nielsen, Mogens.
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. ed. / Pierpaolo Degano; Rocco De Nicola; José Meseguer. Berlin, Heidelberg: Springer, 2008. p. 439-456 (Lecture Notes in Computer Science; Vol. 5065).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - Secure Data Flow in a Calculus for Context Awareness

AU - Bucur, Doina

AU - Nielsen, Mogens

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-68679-8_27

DO - 10.1007/978-3-540-68679-8_27

M3 - Chapter

SN - 978-3-540-68676-7

T3 - Lecture Notes in Computer Science

SP - 439

EP - 456

BT - Concurrency, Graphs and Models

A2 - Degano, Pierpaolo

A2 - De Nicola, Rocco

A2 - Meseguer, José

PB - Springer

CY - Berlin, Heidelberg

ER -

Secure Data Flow in a Calculus for Context Awareness

Abstract

Publication series

Access to Document

Fingerprint

Cite this