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

^*Corresponding author for this work

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

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 Berlin Heidelberg
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

Publication series

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

Access to Document

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

http://dx.doi.org/10.1007/978-3-540-68679-8_27

Handle.net

Persistent link

Embargoed Document

Secure Data Flow in a Calculus for Context Awareness
Final publisher's version, 187 KB
Request copy

Cite this

Bucur, D., & Nielsen, M. (2008). Secure Data Flow in a Calculus for Context Awareness. In P. Degano, R. De Nicola, & J. Meseguer (Eds.), Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (pp. 439-456). (Lecture Notes in Computer Science ; Vol. 5065). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-68679-8_27

@inbook{d6235f7050d4409b84606b685d8315e3,

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{\textquoteright} 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 Berlin Heidelberg",

pages = "439--456",

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

booktitle = "Concurrency, Graphs and Models",

}

Bucur, D & Nielsen, M 2008, Secure Data Flow in a Calculus for Context Awareness. in P Degano, R De Nicola & J Meseguer (eds), Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Lecture Notes in Computer Science , vol. 5065, Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 439-456. https://doi.org/10.1007/978-3-540-68679-8_27

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 Berlin Heidelberg, 2008. p. 439-456 (Lecture Notes in Computer Science ; Vol. 5065).

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

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 Berlin Heidelberg

CY - Berlin, Heidelberg

ER -

Secure Data Flow in a Calculus for Context Awareness

Abstract

Publication series

Access to Document

Handle.net

Embargoed Document

Fingerprint

Cite this