Skip to search formSkip to main contentSkip to account menu

Non-interference (security)

Known as: Non-interference 
Non-interference is a strict multilevel security policy model, first described by Goguen and Meseguer in 1982, and amplified further in 1984.
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Bell–LaPadula modelComputer security modelInformationLanguage-based security

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Towards Quantitative Analysis of Opacity
Opacity is a general approach for describing and unifying security properties expressed as predicates. A predicate is opaque if… 
2008
2008
Al2O3-coated microcantilevers for detection of moisture at ppm level
2007
2007
A Hardware Platform for Utilizing TV Bands With a Wi-Fi Radio
The Federal Communications Commission (FCC) is currently exploring the use of TV bands for unlicensed communication. This step… 
2007
2007
A Library for Secure Multi-threaded Information Flow in Haskell
Li and Zdancewic have recently proposed an approach to provide information-flow security via a library rather than producing a… 
Highly Cited
2006
Highly Cited
2006
Unrestricted Transactional Memory: Supporting I/O and System Calls Within Transactions
Hardware transactional memory has great potential to simplify the creation of correct and efficient multithreaded programs… 
Highly Cited
2003
Highly Cited
2003
Interference Analysis for AspectJ
AspectJ is a language implementing aspect-oriented programming on top of Java. Besides modification of program flow and state… 
Highly Cited
2001
Highly Cited
2001
Information flow control in role-based model for distributed objects
Various kinds of distributed applications are realized in object-based frameworks. Object-based technologies are used to design… 
1997
1997
Design and Analysis of an Adaptive Policy for Secure Real-Time Locking Protocol
1996
1996
Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics
A carefully designed concurrent object-oriented language can provide a suitable target for a compositional design process that… 
1986
1986
The Origins of the Religion Clauses of the Constitution
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)