Confinement Properties for Multi-Threaded Programs

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1999
Accession Number
ADA495120

Entities

People

  • Dennis Volpano
  • Geoffrey B. Smith

Organizations

  • Florida International University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Computer Science
  • Computers
  • Cybersecurity
  • Language
  • Markov Chains
  • Multithreading
  • Observation
  • Probability
  • Probability Distributions
  • Programming Languages
  • Security
  • Semantics
  • Theoretical Computer Science
  • Transitions

Fields of Study

  • Computer science

Readers

  • Government and Public Administration Law.
  • Mathematical Modeling and Probability Theory.