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.
2009
2009
Who Can Declassify?
Noninterference provides reliable guarantees for the confidentiality of sensitive information, but it is too restrictive if… 
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… 
2003
2003
Reasoning on AspectJ Programmes
In this paper we suggest that in order to analyse the proper- ties of an AspectJ aspect one can consider the aspect itself and… 
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… 
Highly Cited
1999
Highly Cited
1999
Uplink admission control and soft capacity with MUD in CDMA
This paper presents an analysis of the WCDMA uplink capacity with admission control and multiuser detection (MUD). An uplink… 
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… 
1980
1980
Students' attitudes towards suicide
SummaryAttitudes of 800 college students from nine institutions were assessed by means of a 100 item Suicide Opinion… 
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)