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 voor dit werk

Onderzoeksoutput › Academic

7 Citaten (Scopus)

Samenvatting

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.

Originele taal-2	English
Titel	Concurrency, Graphs and Models
Subtitel	Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Redacteuren	Pierpaolo Degano, Rocco De Nicola, José Meseguer
Plaats van productie	Berlin, Heidelberg
Uitgeverij	Springer Berlin Heidelberg
Pagina's	439-456
Aantal pagina's	18
ISBN van elektronische versie	978-3-540-68679-8
ISBN van geprinte versie	978-3-540-68676-7
DOI's	https://doi.org/10.1007/978-3-540-68679-8_27
Status	Published - 2008

Publicatie series

Naam	Lecture Notes in Computer Science
Uitgeverij	Springer
Volume	5065
ISSN van elektronische versie	0302-9743

Toegang tot document

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

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

Handle.net

Permanente koppeling

Document onder embargo

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

Citeer dit

Bucur, D., & Nielsen, M. (2008). Secure Data Flow in a Calculus for Context Awareness. In P. Degano, R. De Nicola, & J. Meseguer (editors), Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (blz. 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 (uitgave), 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, blz. 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. uitgave / Pierpaolo Degano; Rocco De Nicola; José Meseguer. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. blz. 439-456 (Lecture Notes in Computer Science ; Vol. 5065).

Onderzoeksoutput › 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

Samenvatting

Publicatie series

Toegang tot document

Handle.net

Document onder embargo

Vingerafdruk

Citeer dit