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

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

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.

Udgivelsesdato: June 11

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	5065
Sider (fra-til)	439-456
Antal sider	17
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-540-68679-8_27
Status	Udgivet - 2008

Adgang til dokumentet

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

Citationsformater

@article{d69fe9f0d65911dcbc43000ea68e967b,

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. Udgivelsesdato: June 11",

keywords = "Ubiquitous Computing, context awareness, security, Mobile Ambients, type system",

author = "Doina Bucur and Mogens Nielsen",

year = "2008",

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

language = "English",

volume = "5065",

pages = "439--456",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

}

TY - JOUR

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. Udgivelsesdato: June 11

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. Udgivelsesdato: June 11

KW - Ubiquitous Computing

KW - context awareness

KW - security

KW - Mobile Ambients

KW - type system

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

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

M3 - Journal article

SN - 0302-9743

VL - 5065

SP - 439

EP - 456

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -