{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T02:39:40Z","timestamp":1725849580196},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319303024"},{"type":"electronic","value":"9783319303031"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30303-1_7","type":"book-chapter","created":{"date-parts":[[2016,2,24]],"date-time":"2016-02-24T10:41:07Z","timestamp":1456310467000},"page":"102-116","source":"Crossref","is-referenced-by-count":8,"title":["Runtime Enforcement with Partial Control"],"prefix":"10.1007","author":[{"given":"Rapha\u00ebl","family":"Khoury","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Hall\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,2,25]]},"reference":[{"issue":"4","key":"7_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.: Defining liveness. Inf. Process. Lett. 21(4), 181\u2013185 (1985)","journal-title":"Inf. Process. Lett."},{"issue":"1","key":"7_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/2487222.2487225","volume":"16","author":"D Basin","year":"2013","unstructured":"Basin, D., Jug\u00e9, V., Klaedtke, F., Zalinescu, E.: Enforceable security policies revisited. ACM Trans. Inf. Syst. Secur. 16(1), 3 (2013)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"7_CR3","unstructured":"Bauer, L., Ligatti, J., Walker, D.: More enforceable security policies. In: Foundations of Computer Security, Copenhagen, Denmark (2002)"},{"issue":"1","key":"7_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(91)90258-4","volume":"84","author":"D Beauquier","year":"1991","unstructured":"Beauquier, D., Pin, J.-E.: Languages and scanners. Theoret. Comput. Sci. 84(1), 3\u201321 (1991)","journal-title":"Theoret. Comput. Sci."},{"issue":"4","key":"7_CR5","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10207-011-0137-2","volume":"10","author":"N Bielova","year":"2011","unstructured":"Bielova, N., Massacci, F.: Do you really mean what you actually enforced? - edit automata revisited. Int. J. Inf. Secur. 10(4), 239\u2013254 (2011)","journal-title":"Int. J. Inf. Secur."},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-642-19125-1_6","volume-title":"Engineering Secure Software and Systems","author":"N Bielova","year":"2011","unstructured":"Bielova, N., Massacci, F.: Predictability of enforcement. In: Erlingsson, U., Wieringa, R., Zannone, N. (eds.) ESSoS 2011. LNCS, vol. 6542, pp. 73\u201386. Springer, Heidelberg (2011)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-642-04766-4_17","volume-title":"Identity and Privacy in the Internet Age","author":"N Bielova","year":"2009","unstructured":"Bielova, N., Massacci, F., Micheletti, A.: Towards practical enforcement theories. In: J\u00f8sang, A., Maseng, T., Knapskog, S.J. (eds.) NordSec 2009. LNCS, vol. 5838, pp. 239\u2013254. Springer, Heidelberg (2009)"},{"issue":"2","key":"7_CR8","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/2220365.2220366","volume":"34","author":"E Bodden","year":"2012","unstructured":"Bodden, E., Lam, P., Hendren, L.J.: Partially evaluating finite-state runtime monitors ahead of time. ACM Trans. Program. Lang. Syst. 34(2), 7 (2012)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"4","key":"7_CR9","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.cose.2010.11.004","volume":"30","author":"H Chabot","year":"2011","unstructured":"Chabot, H., Khoury, R., Tawbi, N.: Extending the enforcement power of truncation monitors using static analysis. Comput. & Secur. 30(4), 194\u2013207 (2011)","journal-title":"Comput. & Secur."},{"key":"7_CR10","series-title":"NATO ASI Series","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-1-4615-3846-2","volume-title":"Logic and Algebra of Specifications","author":"E Chang","year":"1991","unstructured":"Chang, E., Manna, Z., Pnueli, A.: The safety-progress classification. In: Bauer, F., Brauer, W., Schwichtenberg, H. (eds.) Logic and Algebra of Specifications. NATO ASI Series, vol. 94, pp. 143\u2013202. Springer, Heidelberg (1991)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-540-89862-7_3","volume-title":"Information Systems Security","author":"Y Falcone","year":"2008","unstructured":"Falcone, Y., Fernandez, J.-C., Mounier, L.: Synthesizing enforcement monitors wrt. the safety-progress classification of properties. In: Sekar, R., Pujari, A.K. (eds.) ICISS 2008. LNCS, vol. 5352, pp. 41\u201355. Springer, Heidelberg (2008)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-04694-0_4","volume-title":"Runtime Verification","author":"Y Falcone","year":"2009","unstructured":"Falcone, Y., Fernandez, J.-C., Mounier, L.: Runtime verification of safety-progress properties. In: Bensalem, S., Peled, D.A. (eds.) RV 2009. LNCS, vol. 5779, pp. 40\u201359. Springer, Heidelberg (2009)"},{"key":"7_CR13","unstructured":"Fong, P.: Access control by tracking shallow execution history. In: Proceedings of the 2004 IEEE Symposium on Security and Privacy, California, USA, May, Oakland (2004)"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/1111596.1111601","volume":"28","author":"KW Hamlen","year":"2006","unstructured":"Hamlen, K.W., Morrisett, G., Schneider, F.B.: Computability classes for enforcement mechanisms. ACM Trans. Program. Lang. Syst. 28, 175\u2013205 (2006)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Khoury, R., Hall\u00e9, S.: Runtime enforcement with partial control. Technical report, Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi (2015)","DOI":"10.1007\/978-3-319-30303-1_7"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-642-14706-7_11","volume-title":"Computer Network Security","author":"R Khoury","year":"2010","unstructured":"Khoury, R., Tawbi, N.: Using equivalence relations for corrective enforcement of security policies. In: Kotenko, I., Skormin, V. (eds.) MMM-ACNS 2010. LNCS, vol. 6258, pp. 139\u2013154. Springer, Heidelberg (2010)"},{"issue":"2","key":"7_CR17","doi-asserted-by":"publisher","first-page":"10:1","DOI":"10.1145\/2240276.2240281","volume":"15","author":"R Khoury","year":"2012","unstructured":"Khoury, R., Tawbi, N.: Corrective enforcement: A new paradigm of security policy enforcement by monitors. ACM Trans. Inf. Syst. Secur. 15(2), 10:1\u201310:27 (2012)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"issue":"1","key":"7_CR18","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.cosrev.2012.01.001","volume":"6","author":"R Khoury","year":"2012","unstructured":"Khoury, R., Tawbi, N.: Which security policies are enforceable by runtime monitors? a survey. Comput. Sci. Rev. 6(1), 27\u201345 (2012)","journal-title":"Comput. Sci. Rev."},{"issue":"5","key":"7_CR19","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1145\/503271.503260","volume":"26","author":"G Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E.: Aspect-oriented programming. SIGSOFT Softw. Eng. Notes 26(5), 313 (2001)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"4","key":"7_CR20","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/S1571-0661(04)80578-4","volume":"70","author":"M Kim","year":"2002","unstructured":"Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswanathan, M.: Computational analysis of run-time monitoring - fundamentals of java-mac. Electr. Notes Theor. Comput. Sci. 70(4), 80\u201394 (2002)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"2","key":"7_CR21","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"3","author":"L Lamport","year":"1977","unstructured":"Lamport, L.: Proving the correctness of multiprocess programs. IEEE Trans. Softw. Eng. 3(2), 125\u2013143 (1977)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1\u20132","key":"7_CR22","first-page":"2","volume":"4","author":"J Ligatti","year":"2004","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Edit automata: Enforcement mechanisms for run-time security policies. Int. J. Inf. Secur. 4(1\u20132), 2\u201316 (2004)","journal-title":"Int. J. Inf. Secur."},{"issue":"3","key":"7_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1455526.1455532","volume":"12","author":"J Ligatti","year":"2009","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Run-time enforcement of nonsafety policies. ACM Trans. Inf. Syst. Secur. 12(3), 1\u201341 (2009)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"7_CR24","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)"},{"key":"7_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-642-16612-9_12","volume-title":"Runtime Verification","author":"P Meredith","year":"2010","unstructured":"Meredith, P., Ro\u015fu, G.: Runtime verification with the RV system. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 136\u2013152. Springer, Heidelberg (2010)"},{"issue":"1","key":"7_CR26","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. Inf. Syst. Secur. 3(1), 30\u201350 (2000)","journal-title":"Inf. Syst. Secur."},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Talhi, C., Tawbi, N., Debbabi, M.: Execution monitoring enforcement for limited-memory systems. In: Proceedings of the PST 2006 Conference (Privacy, Security, Trust), October 2006","DOI":"10.1145\/1501434.1501480"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Talhi, C., Tawbi, N., Debbabi, M.: Execution monitoring enforcement under memory-limitation constraints. In: Proceedings of FCS-ARSPA 2006 (Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis) associated with FLOC 2006 (Federated Logic Conference), August 2006","DOI":"10.1145\/1501434.1501480"},{"issue":"1","key":"7_CR29","doi-asserted-by":"publisher","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-limitations constraints. Inf. Comput. 206(1), 158\u2013184 (2008)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Foundations and Practice of Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30303-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,5]],"date-time":"2022-06-05T01:21:16Z","timestamp":1654392076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30303-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319303024","9783319303031"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30303-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}