F. B. Schneider, Enforceable security policies, ACM Transactions on Information and System Security, vol.3, issue.1, pp.30-50, 2000.
DOI : 10.1145/353323.353382
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.1853

K. W. Hamlen, G. Morrisett, and F. B. Schneider, Computability classes for enforcement mechanisms, ACM Transactions on Programming Languages and Systems, vol.28, issue.1, pp.175-205, 2006.
DOI : 10.1145/1111596.1111601

M. Viswanathan, Foundations for the run-time analysis of software systems, 2000.

J. Ligatti, L. Bauer, and D. Walker, Runtime Enforcement of Nonsafety Policies

J. Ligatti, L. Bauer, and D. Walker, Enforcing Non-safety Security Policies with Program Monitors, In: ESORICS, pp.355-373, 2005.
DOI : 10.1007/11555827_21
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.7862

P. W. Fong, Access control by tracking shallow execution history, IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004, pp.0-43, 2004.
DOI : 10.1109/SECPRI.2004.1301314
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.1172

E. Chang, Z. Manna, and A. Pnueli, The Safety-Progress Classification, 1992.
DOI : 10.1007/978-3-642-58041-3_5

E. Y. Chang, Z. Manna, and A. Pnueli, Characterization of temporal property classes, In: Automata, Languages and Programming, pp.474-486, 1992.
DOI : 10.1007/3-540-55719-9_97

L. Lamport, Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering, vol.3, issue.2, pp.125-143, 1977.
DOI : 10.1109/TSE.1977.229904

B. Alpern and F. B. Schneider, Defining liveness, Information Processing Letters, vol.21, issue.4, 1984.
DOI : 10.1016/0020-0190(85)90056-0

Y. Falcone, J. C. Fernandez, and L. Mounier, Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties, Verimag Research Report, vol.3, 2008.
DOI : 10.1145/298595.298598
URL : https://hal.archives-ouvertes.fr/hal-00346063

Z. Manna and A. Pnueli, A hierarchy of temporal properties (invited paper, PODC '90: Proceedings of the ninth annual ACM symposium on Principles of distributed computing, pp.377-410, 1989.

R. S. Streett, Propositional Dynamic Logic of looping and converse, Proceedings of the thirteenth annual ACM symposium on Theory of computing , STOC '81, pp.375-383, 1981.
DOI : 10.1145/800076.802492

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Property specification patterns for finite-state verification. In: FMSP '98: Proceedings of the second workshop on Formal methods in software practice, pp.7-15, 1998.