{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T05:57:52Z","timestamp":1785304672819,"version":"3.55.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032054340","type":"print"},{"value":"9783032054357","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,9,12]],"date-time":"2025-09-12T00:00:00Z","timestamp":1757635200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,12]],"date-time":"2025-09-12T00:00:00Z","timestamp":1757635200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-05435-7_10","type":"book-chapter","created":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T01:30:27Z","timestamp":1757727027000},"page":"160-180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Instrumenting Runtime Enforcement"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Hublet","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Basin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Linda","family":"Hu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sr\u0111an","family":"Krsti\u0107","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lennard","family":"Reese","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,9,12]]},"reference":[{"key":"10_CR1","unstructured":"Aceto, L., Cassar, I., Francalanza, A., Ing\u00f3lfsd\u00f3ttir, A.: On runtime enforcement via suppressions. In: Schewe, S., Zhang, L. (edis.) Conference on Concurrency Theory (CONCUR 2018), Leibniz International Proceedings in Informatics (LIPIcs), pp. 34:1\u201334:17, Dagstuhl, Germany, 2018. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik (2018)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Aceto, L., Cassar, I., Francalanza, A., Ingolfsdottir, A.: Bidirectional runtime enforcement of first-order branching-time properties. Logical Methods Comput. Sci. 19 (2023)","DOI":"10.46298\/lmcs-19(1:14)2023"},{"issue":"2","key":"10_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR4","series-title":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-642-16161-2_19","volume-title":"Security and Privacy in Communication Networks","author":"G Bai","year":"2010","unstructured":"Bai, G., Gu, L., Feng, T., Guo, Y., Chen, X.: Context-aware usage control for android. In: Jajodia, S., Zhou, J. (eds.) SecureComm 2010. LNICST, vol. 50, pp. 326\u2013343. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16161-2_19"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Basin, D., Klaedtke, F., M\u00fcller, S., Zalinescu, E.: Monitoring metric first-order temporal properties. J. ACM (JACM) 62(2), 15:1\u201315:45 (2015)","DOI":"10.1145\/2699444"},{"key":"10_CR6","unstructured":"Cassar, I., Francalanza, A., Aceto, L., Ing\u00f3lfsd\u00f3ttir, A.: Developing theoretical foundations for runtime enforcement. CoRR arxiv:1804.08917 (2018)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Charafeddine, H., El-Harake, K., Falcone, Y., Jaber, M.: Runtime enforcement for component-based systems. In: Symposium on Applied Computing, pp. 1789\u20131796. ACM (2015)","DOI":"10.1145\/2695664.2695879"},{"issue":"2","key":"10_CR8","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1145\/210197.210200","volume":"20","author":"J Chomicki","year":"1995","unstructured":"Chomicki, J.: Efficient checking of temporal integrity constraints using bounded history encoding. Trans. Datab. Syst. (TODS) 20(2), 149\u2013186 (1995)","journal-title":"Trans. Datab. Syst. (TODS)"},{"key":"10_CR9","unstructured":"OASIS XACML\u00a0Technical Committee. eXtensible Access Control Markup Language (XACML) Version 1.0. Technical Report oasis-xacml-1.0, OASIS (2003)"},{"key":"10_CR10","unstructured":"Erlingsson, \u00da.: The inlined reference monitor approach to security policy enforcement. PhD thesis, Cornell University (2004)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Erlingsson, U., Schneider, F.B.: Sasi enforcement of security policies: a retrospective. In: New Security Paradigms, pp. 87\u201395 (1999)","DOI":"10.1145\/335169.335201"},{"issue":"3","key":"10_CR12","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s10009-016-0413-6","volume":"19","author":"Y Falcone","year":"2017","unstructured":"Falcone, Y., Jaber, M.: Fully automated runtime enforcement of component-based systems with formal and sound recovery. J. Softw. Tools Technol. Transf. (STTT) 19(3), 341\u2013365 (2017)","journal-title":"J. Softw. Tools Technol. Transf. (STTT)"},{"key":"10_CR13","doi-asserted-by":"publisher","unstructured":"Hublet, F., Basin, D., Krsti\u0107, S.: Real-time policy enforcement with metric first-order temporal logic. In: European Symposium on Research in Computer Security (ESORICS), pp.211\u2013232. Springer, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-031-17146-8_11","DOI":"10.1007\/978-3-031-17146-8_11"},{"key":"10_CR14","doi-asserted-by":"publisher","unstructured":"Hublet, F., Basin, D., Krsti\u0107, S.: Enforcing the GDPR. In: European Symposium on Research in Computer Security (ESORICS), pp. 400\u2013422. Springer, Heidelberg (2023). https:\/\/doi.org\/10.1007\/978-3-031-51476-0_20","DOI":"10.1007\/978-3-031-51476-0_20"},{"issue":"1","key":"10_CR15","first-page":"597","volume":"2024","author":"F Hublet","year":"2024","unstructured":"Hublet, F., Basin, D., Krsti\u0107, S.: User-controlled privacy: Taint, track, and control. Proc. Priv. Enhancing Technol. 2024(1), 597\u2013616 (2024)","journal-title":"Proc. Priv. Enhancing Technol."},{"key":"10_CR16","unstructured":"Fran\u00e7ois Hublet, Alexander Kvamme, and Srdan Krstic. Towards an enforceable GDPR specification. CoRR, abs\/2402.17350, 2024"},{"key":"10_CR17","doi-asserted-by":"publisher","unstructured":"Hublet, F., Lima, L., Basin, D., Krsti\u0107, S., Traytel, D.: Scaling up proactive enforcement. In: Piskac, R., Rakamari\u0107, Z. (eds.) Computer Aided Verification (CAV), pp. 370\u2013392. Springer, Heidelberg (2025). https:\/\/doi.org\/10.1007\/978-3-031-98682-6_19","DOI":"10.1007\/978-3-031-98682-6_19"},{"key":"10_CR18","doi-asserted-by":"publisher","unstructured":"Hublet, F., Lima, L., Basin, D., Krsti\u0107, S., Traytel, D.: Proactive real-time first-order enforcement. In: Gurfinkel, A., Ganesh, V. (eds.) Computer Aided Verification (CAV), vol. 14682 of LNCS, pp. 156\u2013181. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-65630-9_8","DOI":"10.1007\/978-3-031-65630-9_8"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Hublet, F., Basin, D., Hu, L., Krsti\u0107, S., Reese, L.: Instrumenting runtime enforcement. Technical report, ETH Z\u00fcrich (2025). Extended version. https:\/\/doi.org\/10.5281\/zenodo.16530943","DOI":"10.1007\/978-3-032-05435-7_10"},{"key":"10_CR20","unstructured":"Hublet, F., Basin, D., Hu, L., Krsti\u0107, S., Reese, L.: InstrLib (2025). https:\/\/github.com\/runtime-enforcement\/instrlib"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/s10207-004-0046-8","volume":"4","author":"J Ligatti","year":"2005","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Edit automata: enforcement mechanisms for run-time security policies. J. Inf. Secur. 4, 2\u201316 (2005)","journal-title":"J. Inf. Secur."},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-15497-3_6","volume-title":"Computer Security \u2013 ESORICS 2010","author":"J Ligatti","year":"2010","unstructured":"Ligatti, J., Reddy, S.: A theory of runtime enforcement, with results. In: Gritzalis, D., Preneel, B., Theoharidou, M. (eds.) ESORICS 2010. LNCS, vol. 6345, pp. 87\u2013100. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15497-3_6"},{"key":"10_CR23","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. Laboratory for Computer Science, Massachusetts Institute of Technology (1988)"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-35632-2_23","volume-title":"Runtime Verification","author":"S Pinisetty","year":"2013","unstructured":"Pinisetty, S., Falcone, Y., J\u00e9ron, T., Marchand, H., Rollet, A., Nguena Timo, O.L.: Runtime enforcement of timed properties. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol. 7687, pp. 229\u2013244. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35632-2_23"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Rasthofer, S., Arzt, S., Lovat, E., Bodden, E.: Droidforce: enforcing complex, data-centric, system-wide policies in android. In: Availability, Reliability and Security, pp. 40\u201349. IEEE (2014)","DOI":"10.1109\/ARES.2014.13"},{"key":"10_CR26","unstructured":"Sarraf, S.: Optus breach occurred due to a coding error, alleges ACMA. CSO Online (2022)"},{"issue":"1","key":"10_CR27","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"F Schneider","year":"2000","unstructured":"Schneider, F.: Enforceable security policies. Trans. Inf. Syst. Sec. 3(1), 30\u201350 (2000)","journal-title":"Trans. Inf. Syst. Sec."}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05435-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,28]],"date-time":"2026-07-28T16:48:06Z","timestamp":1785257286000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05435-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,12]]},"ISBN":["9783032054340","9783032054357"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05435-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,12]]},"assertion":[{"value":"12 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Graz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/rv25.isec.tugraz.at\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}