Capture phrases in quotes for more specific queries (e.g. "rocket ship" or "Fred Lynn")

1982

Computer security theory of noninterference

SRI helped secure computers as early as the 1980s

Researchers in SRI’s Computer Science Laboratory developed the theory of non-interference, one of the most influential theoretical approaches to the study of computer security.

The theory provides a formal foundation for the specification and analysis of security policies and the mechanisms that enforce them. The idea of noninterference is relatively simple: a security domain is noninterfering with another domain if no action performed by the security domain can influence subsequent outputs seen by the other domain.

Noninterference has been quite successful in providing formal underpinnings for military multilevel security policies and for the methods of verifying their implementations.

close check icon

Message Sent

Success! - Thank you for your interest.

cookiebot
cookiebot

SRI and its partners use cookies to improve your browsing experience. If you continue to use this website without changing your cookie settings, you are consenting to the use of cookies by SRI and its partners. For more information on SRI’s privacy practices, including how to decline the use of cookies, please read our Privacy Statement.

I agree
share dwonload plus email external external project copy play call directions linkedin