Runtime Enforcement of Security Policies on Black Box Reactive Programs

@inproceedings{Ngo2015RuntimeEO,
  title={Runtime Enforcement of Security Policies on Black Box Reactive Programs},
  author={Minh Ngo and Fabio Massacci and Dimiter Milushev and Frank Piessens},
  booktitle={POPL},
  year={2015}
}
Security enforcement mechanisms like execution monitors are used to make sure that some untrusted program complies with a policy. Different enforcement mechanisms have different strengths and weaknesses and hence it is important to understand the qualities of various enforcement mechanisms. This paper studies runtime enforcement mechanisms for reactive programs. We study the impact of two important constraints that many practical enforcement mechanisms satisfy: (1) the enforcement mechanism… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.

References

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

Hyperproperties

M. R. Clarkson, F. B. Schneider
  • JCS, 18:1157– 1210, September
  • 2010
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Enforceable security policies

  • Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems]
  • 2003
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

SASI enforcement of security policies: a retrospective

  • Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00
  • 2000
VIEW 15 EXCERPTS
HIGHLY INFLUENTIAL

Stateful Declassification Policies for Event-Driven Programs

  • 2014 IEEE 27th Computer Security Foundations Symposium
  • 2014
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Noninterference through Secure Multi-execution

  • 2010 IEEE Symposium on Security and Privacy
  • 2010
VIEW 12 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

Computability classes for enforcement mechanisms

  • ACM Trans. Program. Lang. Syst.
  • 2006
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL