Accession Number:

ADA495120

Title:

Confinement Properties for Multi-Threaded Programs

Descriptive Note:

Journal article

Corporate Author:

FLORIDA INTERNATIONAL UNIV MIAMI SCHOOL OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1999-01-01

Pagination or Media Count:

12.0

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE