Accession Number:

ADA238924

Title:

Probabilistic Interference in Restrictive Systems

Descriptive Note:

Rept. for Jun-Nov 1989

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC

Personal Author(s):

Report Date:

1991-06-20

Pagination or Media Count:

34.0

Abstract:

Probabilistic interference in nondeterministic machines can be exploited by trojan horses to reliably leak information to unauthorized users. This problem has been noted by other researchers but has not previously been addressed. We extend McCulloughs restrictiveness to additionally prevent probabilistic interference. Then, to illustrate the use of our extension, we develop a nondeterministic system that solves a denial of service problem, and we use our definition to prove that the system is secure. Finally, we prove a limited composability result.

Subject Categories:

  • Statistics and Probability
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE