noninterference

Definitions

  • WordNet 3.6
    • n noninterference a foreign policy of staying out of other countries' disputes
    • ***

Usage

In literature:

There are some marvelous cases of recovery and noninterference with pregnancy after injuries from horns of cattle.
"Anomalies and Curiosities of Medicine" by George M. Gould
The duty of noninterference had been admitted by every President.
"A Compilation of the Messages and Papers of the Presidents: Ulysses S. Grant" by James D. Richardson
Even Seward suggested a constitutional amendment guaranteeing noninterference with slavery in the slave states for all time.
"Susan B. Anthony" by Alma Lutz
The Provisional Government followed the policy of noninterference.
"The Story of the Great War, Volume VI (of VIII)" by Various
***

In news:

Obama backs democracy but also noninterference .
***

In science:

This approach is shown to elegantly capture standard notions of noninterference and declassification in the literature as well as information flow properties where sensitive and public data intermingle in delicate ways.
Epistemic Temporal Logic for Information Flow Security
We show this partly by example, and partly by demonstrating how various state-based security conditions related to noninterference [15, 16] (absence of “bad” information flows) and declassification (intended release of information) can be characterized using the logic.
Epistemic Temporal Logic for Information Flow Security
For the standard noninterference attacker able to observe a set of identifiers X during the execution, trace is the function returning the sequence of stores σj (0 ≤ j ≤ i ) restricted to the domain X and where identical consecutive stores are collapsed.
Epistemic Temporal Logic for Information Flow Security
Noninterference We now discuss how the logic applies to information flow security properties, adapted to the present setting of outputonly imperative programs.
Epistemic Temporal Logic for Information Flow Security
We first consider the concept of noninterference .
Epistemic Temporal Logic for Information Flow Security
***