{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T10:29:34Z","timestamp":1743157774583,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319053011"},{"type":"electronic","value":"9783319053028"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-05302-8_11","type":"book-chapter","created":{"date-parts":[[2014,3,20]],"date-time":"2014-03-20T14:31:24Z","timestamp":1395325884000},"page":"178-186","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Quantitative Evaluation of Enforcement Strategies"],"prefix":"10.1007","author":[{"given":"Vincenzo","family":"Ciancia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Martinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteucci","family":"Ilaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Morisset","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,3,21]]},"reference":[{"key":"11_CR1","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/b95712","volume-title":"Semirings for Soft Constraint Solving and Programming","author":"S Bistarelli","year":"2004","unstructured":"Bistarelli, S.: Semirings for Soft Constraint Solving and Programming. LNCS, vol. 2962. Springer, Heidelberg (2004)"},{"issue":"1","key":"11_CR2","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"FB Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. ACM TISSEC 3(1), 30\u201350 (2000)","journal-title":"ACM TISSEC"},{"key":"11_CR3","first-page":"31","volume":"179","author":"F Martinelli","year":"2007","unstructured":"Martinelli, F., Matteucci, I.: Through modeling to synthesis of security automata. ENTCS 179, 31\u201346 (2007)","journal-title":"ENTCS"},{"issue":"1","key":"11_CR4","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":"1\u20132","key":"11_CR5","first-page":"2","volume":"4","author":"L Bauer","year":"2005","unstructured":"Bauer, L., Ligatti, J., Walker, D.: Edit automata: enforcement mechanisms for run-time security policies. Int. J. Inf. Secur. 4(1\u20132), 2\u201316 (2005)","journal-title":"Int. J. Inf. Secur."},{"key":"11_CR6","series-title":"LNCS","first-page":"148","volume-title":"FAST 2011","author":"R Gay","year":"2012","unstructured":"Gay, R., Mantel, H., Sprick, B.: Service automata. In: Barthe, G., Datta, A., Etalle, S. (eds.) FAST 2011. LNCS, vol. 7140, pp. 148\u2013163. Springer, Heidelberg (2012)"},{"key":"11_CR7","series-title":"LNCS","first-page":"184","volume-title":"PAPM-PROBMIV 2001","author":"P Buchholz","year":"2001","unstructured":"Buchholz, P., Kemper, P.: Quantifying the dynamic behavior of process algebras. In: de Luca, L., Gilmore, S. (eds.) PAPM-PROBMIV 2001. LNCS, vol. 2165, pp. 184\u2013199. Springer, Heidelberg (2001)"},{"key":"11_CR8","unstructured":"Easwaran, A., Kannan, S., Lee, I.: Optimal control of software ensuring safety and functionality. Technical report MS-CIS-05-20, University of Pennsylvania (2005)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Martinelli, F., Morisset, C.: Quantitative access control with partially-observable markov decision processes. In: Proceedings of CODASPY \u201912, pp. 169\u2013180. ACM (2012)","DOI":"10.1145\/2133601.2133623"},{"key":"11_CR10","series-title":"LNCS","first-page":"73","volume-title":"ESSoS 2011","author":"N Bielova","year":"2011","unstructured":"Bielova, N., Massacci, F.: Predictability of enforcement. In: Erlingsson, \u00da., Wieringa, R., Zannone, N. (eds.) ESSoS 2011. LNCS, vol. 6542, pp. 73\u201386. Springer, Heidelberg (2011)"},{"issue":"2","key":"11_CR11","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."},{"key":"11_CR12","series-title":"LNCS","first-page":"1","volume-title":"STM 2012","author":"P Dr\u00e1bik","year":"2013","unstructured":"Dr\u00e1bik, P., Martinelli, F., Morisset, C.: Cost-aware runtime enforcement of security policies. In: J\u00f8sang, A., Samarati, P., Petrocchi, M. (eds.) STM 2012. LNCS, vol. 7783, pp. 1\u201316. Springer, Heidelberg (2013)"},{"key":"11_CR13","series-title":"LNCS","first-page":"22","volume-title":"MMM-ACNS 2012","author":"F Martinelli","year":"2012","unstructured":"Martinelli, F., Matteucci, I., Morisset, C.: From qualitative to quantitative enforcement of security policy. In: Kotenko, I., Skormin, V. (eds.) MMM-ACNS 2012. LNCS, vol. 7531, pp. 22\u201335. Springer, Heidelberg (2012)"},{"key":"11_CR14","series-title":"LNCS","first-page":"306","volume-title":"ISC 2012","author":"P Dr\u00e1bik","year":"2012","unstructured":"Dr\u00e1bik, P., Martinelli, F., Morisset, C.: A quantitative approach for inexact enforcement of security policies. In: Gollmann, D., Freiling, F.C. (eds.) ISC 2012. LNCS, vol. 7483, pp. 306\u2013321. Springer, Heidelberg (2012)"},{"key":"11_CR15","series-title":"LNCS","first-page":"33","volume-title":"STM 2012","author":"G Caravagna","year":"2013","unstructured":"Caravagna, G., Costa, G., Pardini, G.: Lazy security controllers. In: J\u00f8sang, A., Samarati, P., Petrocchi, M. (eds.) STM 2012. LNCS, vol. 7783, pp. 33\u201348. Springer, Heidelberg (2013)"},{"key":"11_CR16","series-title":"LNCS","first-page":"309","volume-title":"POST 2012","author":"D Basin","year":"2012","unstructured":"Basin, D., Jug\u00e9, V., Klaedtke, F., Z\u0103linescu, E.: Enforceable security policies revisited. In: Degano, P., Guttman, J.D. (eds.) POST 2012. LNCS, vol. 7215, pp. 309\u2013328. Springer, Heidelberg (2012)"},{"issue":"1","key":"11_CR17","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.tcs.2005.08.006","volume":"346","author":"A Lluch-Lafuente","year":"2005","unstructured":"Lluch-Lafuente, A., Montanari, U.: Quantitative mu-calculus and ctl defined over constraint semirings. TCS 346(1), 135\u2013160 (2005)","journal-title":"TCS"},{"issue":"3","key":"11_CR18","first-page":"43","volume":"190","author":"V Ciancia","year":"2007","unstructured":"Ciancia, V., Ferrari, G.L.: Co-algebraic models for quantitative spatial logics. ENTCS 190(3), 43\u201358 (2007)","journal-title":"ENTCS"},{"issue":"8","key":"11_CR19","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1002\/stvr.441","volume":"22","author":"F Martinelli","year":"2012","unstructured":"Martinelli, F., Matteucci, I.: A framework for automatic generation of security controller. Softw. Test. Verif. Reliab. 22(8), 563\u2013582 (2012)","journal-title":"Softw. Test. Verif. Reliab."}],"container-title":["Lecture Notes in Computer Science","Foundations and Practice of Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05302-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,25]],"date-time":"2024-05-25T06:01:14Z","timestamp":1716616874000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05302-8_11"}},"subtitle":["Position Paper"],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319053011","9783319053028"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05302-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"21 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}