Probabilistic Interference in Restrictive Systems
Rept. for Jun-Nov 1989
NAVAL RESEARCH LAB WASHINGTON DC
Pagination or Media Count:
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.
- Statistics and Probability
- Computer Systems Management and Standards