DocumentCode
2574648
Title
Probabilistic interference
Author
Gray, James W., III
Author_Institution
US Naval Res. Lab., Washington, DC, USA
fYear
1990
fDate
7-9 May 1990
Firstpage
170
Lastpage
179
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/RISP.1990.63848
Filename
63848
Link To Document