Year: 1999
Type: article
Abstract: Given a program that has access to some private information, how can we ensure that it does not improperly leak the information? We formalize the desired security property as a property called noninterference. We discuss versions of noninterference appropriate for multi-threaded programs with probabilistic scheduling and describe rules for ensuring noninterference.
Authors: Geoffrey Smith, Dennis Volpano
Institutions: Florida International University, Naval Postgraduate School
Language: English
Subfield: Hardware and Architecture
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W2009417104