Coordinating Processes with Secure Spaces

Get BibTex-formatted data

Download

PDF

Author

Jan Vitek, Ciaran Bryce, Manuel Oriol

Tech report number

CERIAS TR 2003-05

Entry type

article

Abstract

The Linda shared space model and its derivatives provide great flexibility for building parallel and distributed applications composed if independent processes. However, the shared space model does not provide protection against untrustworthy processes. Linda processes communicate by reading and writing messages in a globally visible data space, so a malicious process can launch any number of security attacks. This paper presents the design of a new coordination model which extends Linda with fine grained access control. The semantics of the model which is presented in the context of a process calculus. A prototype of our model, called SecOS, has been implemented in JAVA.

Download

PDF

Date

2002

Journal

Science of Computer Programming

Key alpha

Vitek

Affiliation

Purdue University, University of Geneva

Publication Date

2002-01-01

Keywords

coordination languages, Linda, security, access control

Language

English

Location

A hard-copy of this is in the CERIAS Library

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.

@Article{ Vitek,
	title = "Coordinating Processes with Secure Spaces",
	author = "Jan Vitek, Ciaran Bryce, Manuel Oriol",
	year = "2002",
	journal = "Science of Computer Programming",
	abstract = "The Linda shared space model and its derivatives provide great flexibility for building parallel and distributed applications composed if independent processes.  However, the shared space model does not provide protection against untrustworthy processes.  Linda processes communicate by reading and writing messages in a globally visible data space, so a malicious process can launch any number of security attacks.  This paper presents the design of a new coordination model which extends Linda with fine grained access control.  The semantics of the model which is presented in the context of a process calculus.  A prototype of our model, called SecOS, has been implemented in JAVA. ",
	affiliation = "Purdue University, University of Geneva",
	keywords = "coordination languages, Linda, security, access control",
	language = "English",
}