A Taxonomy of Information Flow Monitors

@inproceedings{Bielova2016ATO,
  title={A Taxonomy of Information Flow Monitors},
  author={Nataliia Bielova and Tamara Rezk},
  booktitle={POST},
  year={2016}
}
We propose a rigorous comparison of information flow monitors with respect to two dimensions: soundness and transparency. For soundness, we notice that the standard information flow security definition called Termination-Insensitive Noninterference TINI allows the presence of termination channels, however it does not describe whether the termination channel was present in the original program, or it was added by a monitor. We propose a stronger notion of noninterference, that we call… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 20 CITATIONS

Block-safe Information Flow Control

VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Impossibility of Precise and Sound Termination-Sensitive Security Enforcements

  • 2018 IEEE Symposium on Security and Privacy (SP)
  • 2018
VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 33 REFERENCES

Value-Sensitive Hybrid Information Flow Control for a JavaScript-Like Language

  • 2015 IEEE 28th Computer Security Foundations Symposium
  • 2015
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Noninterference through Secure Multi-execution

  • 2010 IEEE Symposium on Security and Privacy
  • 2010
VIEW 8 EXCERPTS
HIGHLY INFLUENTIAL

Tight Enforcement of Information-Release Policies for Dynamic Languages

  • 2009 22nd IEEE Computer Security Foundations Symposium
  • 2009
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Gradual Release: Unifying Declassification, Encryption and Key Release Policies

  • 2007 IEEE Symposium on Security and Privacy (SP '07)
  • 2007
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL