{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T05:56:56Z","timestamp":1785304616565,"version":"3.55.0"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,4,24]],"date-time":"2014-04-24T00:00:00Z","timestamp":1398297600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int. J. Inf. Secur."],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s10207-014-0239-8","type":"journal-article","created":{"date-parts":[[2014,4,22]],"date-time":"2014-04-22T23:57:03Z","timestamp":1398211023000},"page":"47-60","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":44,"title":["Modeling runtime enforcement with mandatory results automata"],"prefix":"10.1007","volume":"14","author":[{"given":"Egor","family":"Dolzhenko","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jay","family":"Ligatti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Srikar","family":"Reddy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,4,24]]},"reference":[{"key":"239_CR1","doi-asserted-by":"crossref","unstructured":"Aktug, I., Dam, M., Gurov, D.: Provably correct runtime monitoring. In: Proceedings of the 15th International Symposium on Formal Methods, May 2008","DOI":"10.1007\/978-3-540-68237-0_19"},{"key":"239_CR2","doi-asserted-by":"crossref","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett. 21(4), 181\u2013185 (Oct. 1985)","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"239_CR3","doi-asserted-by":"crossref","unstructured":"Basin, D., Jug\u00e9, V., Klaedtke, F., Z\u0103linescu, E.: Enforceable security policies revisited. ACM Trans. Inf. Syst. Secur. 16(1) 3:1\u20133:26 (2013)","DOI":"10.1145\/2487222.2487225"},{"key":"239_CR4","doi-asserted-by":"crossref","unstructured":"Bauer, L., Ligatti, J., Walker, D.: Composing security policies with polymer. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (2005)","DOI":"10.1145\/1065010.1065047"},{"issue":"3","key":"239_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1525880.1525882","volume":"18","author":"L Bauer","year":"2009","unstructured":"Bauer, L., Ligatti, J., Walker, D.: Composing expressive runtime security policies. ACM Trans. Softw. Eng. Methodol. 18(3), 1\u201343 (2009)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"3","key":"239_CR6","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.entcs.2009.06.037","volume":"229","author":"D Beauquier","year":"2009","unstructured":"Beauquier, D., Cohen, J., Lanotte, R.: Security policies enforcement using finite edit automata. Electron. Notes Theor. Comput. Sci. 229(3), 19\u201335 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"239_CR7","doi-asserted-by":"crossref","unstructured":"Bielova, N., Massacci, F.: Predictability of enforcement. In: Proceedings of the International Symposium on Engineering Secure Software and Systems, vol. 6542, pp. 73\u201386. Springer (2011)","DOI":"10.1007\/978-3-642-19125-1_6"},{"issue":"1","key":"239_CR8","doi-asserted-by":"crossref","first-page":"51","DOI":"10.3233\/JCS-2011-0431","volume":"20","author":"N Bielova","year":"2012","unstructured":"Bielova, N., Massacci, F.: Iterative enforcement by suppression: towards practical enforcement theories. J. Comput. Secur. 20(1), 51\u201379 (2012)","journal-title":"J. Comput. Secur."},{"key":"239_CR9","volume-title":"Security in Computing Systems: Challenges, Approaches and Solutions","author":"J Biskup","year":"2009","unstructured":"Biskup, J.: Security in Computing Systems: Challenges, Approaches and Solutions. Springer, Berlin (2009)"},{"key":"239_CR10","doi-asserted-by":"crossref","unstructured":"Dam, M., Jacobs, B., Lundblad, A., Piessens, F.: Security monitor inlining for multithreaded java. In: Proceedings of the European Conference on Object-Oriented Programming (ECOOP), July 2009","DOI":"10.1007\/978-3-642-03013-0_25"},{"key":"239_CR11","doi-asserted-by":"crossref","unstructured":"Devriese, D., Piessens, F.: Non-interference through secure multi-execution. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 109\u2013124, May 2010","DOI":"10.1109\/SP.2010.15"},{"key":"239_CR12","unstructured":"Erlingsson, \u00da.: The inlined reference monitor approach to security policy enforcement. Ph.D. thesis, Cornell University, Jan. 2004"},{"key":"239_CR13","doi-asserted-by":"crossref","unstructured":"Finnis, J., Saigal, N., Iamnitchi, A., Ligatti, J.: A location-based policy-specification language for mobile devices. Pervasive Mob. Comput. J. 8(3), 402\u2013414 (June 2012)","DOI":"10.1016\/j.pmcj.2010.11.003"},{"key":"239_CR14","doi-asserted-by":"crossref","unstructured":"Fong, P.W.L.: Access control by tracking shallow execution history. In: Proceedings of the IEEE Symposium on Security and Privacy, May 2004","DOI":"10.1109\/SECPRI.2004.1301314"},{"key":"239_CR15","doi-asserted-by":"crossref","unstructured":"Hamlen, K., Morrisett, G., Schneider, F.B.: Computability classes for enforcement mechanisms. ACM Trans. Progr. Lang. Syst. 28(1), 175\u2013205 (Jan. 2006)","DOI":"10.1145\/1111596.1111601"},{"key":"239_CR16","unstructured":"Khoury, R., Tawbi, N.: Corrective enforcement of security policies. In: Pierpaolo, D., Sandro, E., Joshua, G.(eds.) Formal Aspects of Security and Trust, Lecture Notes in Computer Science, vol. 6561, pp. 176\u2013190. Springer Berlin, Heidelberg (2011). doi: 10.1007\/978-3-64219751-2_12"},{"key":"239_CR17","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.: An overview of AspectJ. In: European Conference on Object-oriented Programming. Springer (2001)","DOI":"10.1007\/3-540-45337-7_18"},{"key":"239_CR18","doi-asserted-by":"crossref","unstructured":"Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswantathan M.: Computational analysis of run-time monitoring: fundamentals of Java-MaC Electron. Notes Theor. Comput. Sci. 70(4), 80\u201394 (2002). doi: 10.1016\/S1571-0661(04)80578-4","DOI":"10.1016\/S1571-0661(04)80578-4"},{"key":"239_CR19","unstructured":"Lamport, L.: Logical foundation. In: Lecture Notes in Computer Science, vol. 190, pp. 119\u2013130 (1985)"},{"key":"239_CR20","doi-asserted-by":"crossref","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Run-time enforcement of nonsafety policies. ACM Trans. Inf. Syst. Secur. 12(3), 1\u201341 (Jan. 2009)","DOI":"10.1145\/1455526.1455532"},{"key":"239_CR21","doi-asserted-by":"crossref","unstructured":"Ligatti, J., Reddy, S.: A theory of runtime enforcement, with results. In: Proceedings of the European Symposium on Research in Computer Security (ESORICS), Sept. 2010","DOI":"10.1007\/978-3-642-15497-3_6"},{"key":"239_CR22","unstructured":"Pretschner, A., Buechler, M., Harvan, M., Schaefer, C., Walter, T.: Usage control enforcement with data flow tracking for x11. In: Proceedings of 5th International Workshop on Security and Trust Management, pp. 124\u2013137 (2009)"},{"key":"239_CR23","doi-asserted-by":"crossref","unstructured":"Pretschner, A., Hilty, M., Basin, D., Schaefer, C., Walter, T.: Mechanisms for usage control. In: Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security (2008)","DOI":"10.1145\/1368310.1368344"},{"issue":"1","key":"239_CR24","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"FB Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Trans. Inf. Syst. Secur. 3(1), 30\u201350 (2000)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"issue":"2\u20134","key":"239_CR25","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1016\/j.ic.2007.07.009","volume":"206","author":"C Talhi","year":"2008","unstructured":"Talhi, C., Tawbi, N., Debbabi, M.: Execution monitoring enforcement under memory-limitation constraints. Inf. Comput. 206(2\u20134), 158\u2013184 (2008)","journal-title":"Inf. Comput."},{"key":"239_CR26","unstructured":"Viswanathan, M.: Foundations for the run-time analysis of software systems. Ph.D. thesis, University of Pennsylvania (2000)"},{"key":"239_CR27","doi-asserted-by":"crossref","unstructured":"Yu, D., Chander, A., Islam, N., Serikov, I.: Javascript instrumentation for browser security. In: Proceedings of the Symposium on Principles of Programming Languages, pp. 237\u2013249 (2007)","DOI":"10.1145\/1190215.1190252"}],"container-title":["International Journal of Information Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-014-0239-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10207-014-0239-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-014-0239-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,9]],"date-time":"2019-08-09T16:23:31Z","timestamp":1565367811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10207-014-0239-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,24]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["239"],"URL":"https:\/\/doi.org\/10.1007\/s10207-014-0239-8","relation":{},"ISSN":["1615-5262","1615-5270"],"issn-type":[{"value":"1615-5262","type":"print"},{"value":"1615-5270","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4,24]]}}}