Enforcement monitoring wrt. the safety-progress classification of properties: NOTE: ACM has found that the authors of this paper failed to cite a work they previously published with much identical content entitled Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. Published in December 2008 in the Springer LNCS series for the ICISS 2008 conference DOI= http://dx.doi.org/10.1007/978-3-540-89862-7_3

Authors:
Yliès Falcone;Jean-Claude Fernandez;Laurent Mounier
Affiliations:
U of Grenoble I, Grenoble, France;U of Grenoble I, Grenoble, France;U of Grenoble I, Grenoble, France
Venue:
Proceedings of the 2009 ACM symposium on Applied Computing
Year:
2009

Citing 14
Cited 4

SASI enforcement of security policies: a retrospective

Proceedings of the 1999 workshop on New security paradigms
Enforceable security policies

ACM Transactions on Information and System Security (TISSEC)
Characterization of Temporal Property Classes

ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Propositional Dynamic Logic of looping and converse

STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Defining Liveness

Defining Liveness
IRM Enforcement of Java Stack Inspection

SP '00 Proceedings of the 2000 IEEE Symposium on Security and Privacy
Foundations for the run-time analysis of software systems

Foundations for the run-time analysis of software systems
The inlined reference monitor approach to security policy enforcement

The inlined reference monitor approach to security policy enforcement
Computability classes for enforcement mechanisms

ACM Transactions on Programming Languages and Systems (TOPLAS)
Valgrind: a framework for heavyweight dynamic binary instrumentation

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Proving the Correctness of Multiprocess Programs

IEEE Transactions on Software Engineering
Run-Time Enforcement of Nonsafety Policies

ACM Transactions on Information and System Security (TISSEC)
Composing expressive runtime security policies

ACM Transactions on Software Engineering and Methodology (TOSEM)
Enforcing non-safety security policies with program monitors

ESORICS'05 Proceedings of the 10th European conference on Research in Computer Security

Using equivalence relations for corrective enforcement of security policies

MMM-ACNS'10 Proceedings of the 5th international conference on Mathematical methods, models and architectures for computer network security
You should better enforce than verify

RV'10 Proceedings of the First international conference on Runtime verification
Predictability of enforcement

ESSoS'11 Proceedings of the Third international conference on Engineering secure software and systems
Runtime enforcement monitors: composition, synthesis, and enforcement abilities

Formal Methods in System Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

Runtime enforcement is a powerful technique to ensure that a program will respect a given set of properties. We extend previous works on this topic in several directions. Firstly, we propose a generic notion of enforcement monitors based on a memory device and finite sets of control states and enforcement operations. Moreover, we specify their enforcement abilities wrt. the general safety-progress classification of properties. Furthermore, we propose a systematic technique to produce an enforcing monitor from the automaton recognizing a given safety, guarantee, or response property. Finally, we depict a prototype toolbox implementing the features proposed in this paper.