Title :
Probabilistic interference
Author :
Gray, James W., III
Author_Institution :
US Naval Res. Lab., Washington, DC, USA
Abstract :
D. McCullough´s (1988) state machine formulism and definition of restrictiveness are restated. An example system is presented which illustrates the problem of probabilistic interference. An extension to McCullough´s work that solves the problem of probabilistic interference is developed. A series of examples are presented which are designed to show the application of this extension. An example which is a novel solution to the so-called secure readers-writers problem is also presented
Keywords :
information theory; probability; security of data; probabilistic interference; restrictiveness; secure readers-writers problem; state machine formulism; Access control; Computer crime; Computer security; Delay; Information technology; Interconnected systems; Interference; Invasive software; Laboratories; Timing;
Conference_Titel :
Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-2060-9
DOI :
10.1109/RISP.1990.63848
