Confinement Properties for Programming Languages
MetadataShow full item record
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
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.