• Skip to primary navigation
  • Skip to main content
SRI logo
  • About
    • Press room
    • Our history
  • Expertise
    • Advanced imaging systems
    • Artificial intelligence
    • Biomedical R&D services
    • Biomedical sciences
    • Computer vision
    • Cyber & formal methods
    • Education and learning
    • Innovation strategy and policy
    • National security
    • Ocean & space
    • Quantum
    • QED-C
    • Robotics, sensors & devices
    • Speech & natural language
    • Video test & measurement
  • Ventures
  • NSIC
  • Careers
  • Contact
  • 日本支社
Search
Close
History of innovation November 16, 2021 Computing, Cyber Security, Military, Safety, Seminal Innovations, Software, The 1980s

Computer security theory of noninterference

SRI helped secure computers as early as the 1980s. Computer security theory of noninterference – 1982

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.

ComputingCyber SecurityMilitarySafetySeminal InnovationsSoftwareThe 1980s
Share this

How can we help?

Once you hit send…

We’ll match your inquiry to the person who can best help you.

Expect a response within 48 hours.

Career call to action image

Make your own mark.

Search jobs

Our work

Case studies

Publications

Timeline of innovation

Areas of expertise

Institute

Leadership

Press room

Media inquiries

Compliance

Careers

Job listings

Contact

SRI Ventures

Our locations

Headquarters

333 Ravenswood Ave
Menlo Park, CA 94025 USA

+1 (650) 859-2000

Subscribe to our newsletter


日本支社
SRI International
  • Contact us
  • Privacy Policy
  • Cookies
  • DMCA
  • Copyright © 2022 SRI International