back icon
close icon

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


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.

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