DocumentCode
3144617
Title
An optimal solution to the secure reader-writer problem
Author
Benson, Glenn
Author_Institution
Trusted Information Systems, Glenwood, MD, USA
fYear
1992
fDate
4-6 May 1992
Firstpage
251
Lastpage
258
Abstract
A synchronization mechanism that communicates information from a writer to a reader without permitting information flow in the reverse direction is presented. The synchronization mechanism takes advantage of a priori knowledge of the semantics of communicated information and is optimal because it does not require blocking, busy wait states, an unbounded number of rereads of data, or inefficient use of system resources. The mechanism has been implemented in the Trusted Mach (TMach) operating system´s file system. The TMach´s file system is described, and it is shown how performance is enhanced through the use of the synchronization mechanism
Keywords
operating systems (computers); security of data; synchronisation; TMach; Trusted Mach; file system; information flow; operating system; secure reader-writer problem; synchronization mechanism; Context; Information security; Information systems; Sockets;
fLanguage
English
Publisher
ieee
Conference_Titel
Research in Security and Privacy, 1992. Proceedings., 1992 IEEE Computer Society Symposium on
Conference_Location
Oakland, CA
Print_ISBN
0-8186-2825-1
Type
conf
DOI
10.1109/RISP.1992.213256
Filename
213256
Link To Document