Confinement Properties for Multi-Threaded Programs

Thumbnail Image
Files
Volpano_Smith_Confinement_Multi-Threaded_1998.pdf (2.51 MB)
Authors
Volpano, Dennis
Smith, Geoffrey
Subjects
Advisors
Date of Issue
1999
Date
1999
Publisher
Language
Abstract
Given a program that has access to some private information, how can we ensure that it does not improperly leak the information? We formalize the desired security property as a property called noninterference. We discuss versions of noninterference appropriate for multi-threaded programs with probabilistic scheduling and describe rules for ensuring noninterference.
Type
Description
URI
https://hdl.handle.net/10945/35275
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Electronic Notes in Theoretical Computer Science, 20, 1999.
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Collections
Publications