{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T16:15:33Z","timestamp":1757780133358,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642337031"},{"type":"electronic","value":"9783642337048"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33704-8_3","type":"book-chapter","created":{"date-parts":[[2012,10,9]],"date-time":"2012-10-09T13:12:43Z","timestamp":1349788363000},"page":"22-35","source":"Crossref","is-referenced-by-count":10,"title":["From Qualitative to Quantitative Enforcement of Security Policy"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Martinelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilaria","family":"Matteucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Morisset","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Andersen, H.R.: Partial model checking. In: LICS 1995: Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science, p. 398. IEEE Computer Society (1995)","DOI":"10.1109\/LICS.1995.523274"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0304-3975(02)00442-5","volume":"303","author":"A. Arnold","year":"2003","unstructured":"Arnold, A., Vincent, A., Walukiewicz, I.: Games for synthesis of controllers with partial observation. Theoretical Computer Science\u00a0303(1), 7\u201334 (2003)","journal-title":"Theoretical Computer Science"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s001650200022","volume":"13","author":"E. Badouel","year":"2002","unstructured":"Badouel, E., Caillaud, B., Darondeau, P.: Distributing finite automata through petri net synthesis. Journal on Formal Aspects of Computing\u00a013, 447\u2013470 (2002)","journal-title":"Journal on Formal Aspects of Computing"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/11560586_9","volume-title":"Theoretical Computer Science","author":"M. Bartoletti","year":"2005","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.-L.: Checking Risky Events Is Enough for Local Policies. In: Coppo, M., Lodi, E., Pinna, G.M. (eds.) ICTCS 2005. LNCS, vol.\u00a03701, pp. 97\u2013112. Springer, Heidelberg (2005)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-642-28641-4_17","volume-title":"Principles of Security and Trust","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.) Principles of Security and Trust. LNCS, vol.\u00a07215, pp. 309\u2013328. Springer, Heidelberg (2012)"},{"key":"3_CR6","first-page":"95","volume-title":"Proceedings of the FLoC 2002 Workshop on Foundations of Computer Security","author":"L. Bauer","year":"2002","unstructured":"Bauer, L., Ligatti, J., Walker, D.: More enforceable security policies. In: Proceedings of the FLoC 2002 Workshop on Foundations of Computer Security, July 25-26, pp. 95\u2013104. DIKU Technical Report, Copenhagen (2002)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Bauer, L., Ligatti, J., Walker, D.: Edit automata: Enforcement mechanisms for run-time security policies. International Journal of Information Security\u00a04(1-2) (2005)","DOI":"10.1007\/s10207-004-0046-8"},{"key":"3_CR8","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, \u00da., Wieringa, R., Zannone, N. (eds.) ESSoS 2011. LNCS, vol.\u00a06542, pp. 73\u201386. Springer, Heidelberg (2011)"},{"key":"3_CR9","unstructured":"Brewer, D.F.C., Nash, M.J.: The Chinese Wall Security Policy. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 329\u2013339 (May 1989)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Bruns, G., Huth, M.: Access-control policies via Belnap logic: Effective and efficient composition and analysis. In: Proceedings of the CSF 2008, pp. 163\u2013176. IEEE Computer Society (2008)","DOI":"10.1109\/CSF.2008.10"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BFb0000462","volume-title":"Algebraic Methodology and Software Technology","author":"G. Bruns","year":"1997","unstructured":"Bruns, G., Sutherland, I.: Model Checking and Fault Tolerance. In: Johnson, M. (ed.) AMAST 1997. LNCS, vol.\u00a01349, pp. 45\u201359. Springer, Heidelberg (1997)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Cheng, P.-C., Rohatgi, P., Keser, C., Karger, P.A., Wagner, G.M., Reninger, A.S.: Fuzzy multi-level security: An experiment on quantified risk-adaptive access control. In: Proceedings of Security and Privacy 2007, pp. 222\u2013230. IEEE (2007)","DOI":"10.1109\/SP.2007.21"},{"issue":"2","key":"3_CR13","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1016\/j.camwa.2011.08.046","volume":"63","author":"G. Costa","year":"2012","unstructured":"Costa, G., Matteucci, I.: Gate automata-driven run-time enforcement. Computers & Mathematics with Applications\u00a063(2), 518\u2013524 (2012)","journal-title":"Computers & Mathematics with Applications"},{"key":"3_CR14","unstructured":"Dr\u00e1bik, P., Martinelli, F., Morisset, C.: Cost-aware runtime enforcement of security policies. In: Proceedings of the Security and Trust Management 2012. LNCS (to appear, 2012)"},{"key":"3_CR15","unstructured":"Dr\u00e1bik, P., Martinelli, F., Morisset, C.: A quantitative approach for the inexact enforcement of security policies. In: Proceedings of the Information Security Conference 2012. LNCS (to appear, 2012)"},{"key":"3_CR16","unstructured":"Ferraiolo, D.F., Kuhn, D.R.: Role-based access control. In: Proceedings of the 15th National Computer Security Conference, pp. 554\u2013563 (1992)"},{"issue":"1","key":"3_CR17","first-page":"5","volume":"15","author":"A. J\u00f8sang","year":"2009","unstructured":"J\u00f8sang, A.: Conditional reasoning with subjective logic. Multiple-Valued Logic and Soft Computing\u00a015(1), 5\u201338 (2009)","journal-title":"Multiple-Valued Logic and Soft Computing"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-15152-1_1","volume-title":"Trust, Privacy and Security in Digital Business","author":"L. Krautsevich","year":"2010","unstructured":"Krautsevich, L., Lazouski, A., Martinelli, F., Mori, P., Yautsiukhin, A.: Usage Control, Risk and Trust. In: Katsikas, S., Lopez, J., Soriano, M. (eds.) TrustBus 2010. LNCS, vol.\u00a06264, pp. 1\u201312. Springer, Heidelberg (2010)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-642-28879-1_14","volume-title":"Data Privacy Management and Autonomous Spontaneus Security","author":"L. Krautsevich","year":"2012","unstructured":"Krautsevich, L., Martinelli, F., Morisset, C., Yautsiukhin, A.: Risk-Based Auto-delegation for Probabilistic Availability. In: Garcia-Alfaro, J., Navarro-Arribas, G., Cuppens-Boulahia, N., de Capitani di Vimercati, S. (eds.) DPM 2011 and SETOP 2011. LNCS, vol.\u00a07122, pp. 206\u2013220. Springer, Heidelberg (2012)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/3-540-44618-4_9","volume-title":"CONCUR 2000 - Concurrency Theory","author":"O. Kupferman","year":"2000","unstructured":"Kupferman, O., Madhusudan, P., Thiagarajan, P.S., Vardi, M.Y.: Open Systems in Reactive Environments: Control and Synthesis. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, p. 92. Springer, Heidelberg (2000), citeseer.ist.psu.edu\/kupferman00open.html"},{"key":"3_CR21","unstructured":"Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems (extended abstract), http:\/\/citeseer.ist.psu.edu\/302111.html"},{"issue":"1","key":"3_CR22","doi-asserted-by":"publisher","first-page":"1057","DOI":"10.1016\/S0304-3975(02)00596-0","volume":"290","author":"F. Martinelli","year":"2003","unstructured":"Martinelli, F.: Analysis of security protocols as open systems. Theoretical Computer Science\u00a0290(1), 1057\u20131106 (2003)","journal-title":"Theoretical Computer Science"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Martinelli, F., Matteucci, I.: A framework for automatic generation of security controller. STVR Journal (2010)","DOI":"10.1002\/stvr.441"},{"key":"3_CR24","unstructured":"Martinelli, F., Matteucci, I.: Partial model checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties. Technical report, IIT-CNR. Presented at the International Workshop on Foundations of Computer Security, FCS 2005 (2005)"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11494881_8","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"F. Martinelli","year":"2005","unstructured":"Martinelli, F.: Towards an Integrated Formal Analysis for Security and Trust. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 115\u2013130. Springer, Heidelberg (2005)"},{"key":"3_CR26","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.entcs.2006.08.029","volume":"179","author":"F. Martinelli","year":"2007","unstructured":"Martinelli, F., Matteucci, I.: Through modeling to synthesis of security automata. Electr. Notes Theor. Comput. Sci.\u00a0179, 31\u201346 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"3_CR27","first-page":"169","volume-title":"Proceedings of CODASPY 2012","author":"F. Martinelli","year":"2012","unstructured":"Martinelli, F., Morisset, C.: Quantitative access control with partially-observable markov decision processes. In: Proceedings of CODASPY 2012, pp. 169\u2013180. ACM, New York (2012), http:\/\/doi.acm.org\/10.1145\/2133601.2133623"},{"key":"3_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/357195.357196","volume":"5","author":"P. Merlin","year":"1983","unstructured":"Merlin, P., Bochmann, G.V.: On the Construction of Submodule Specification and Communication Protocols. ACM Transactions on Programming Languages and Systems\u00a05, 1\u201325 (1983)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR29","first-page":"157","volume-title":"Proceedings of CODASPY 2012","author":"I. Molloy","year":"2012","unstructured":"Molloy, I., Dickens, L., Morisset, C., Cheng, P.-C., Lobo, J., Russo, A.: Risk-based security decisions under uncertainty. In: Proceedings of CODASPY 2012, pp. 157\u2013168. ACM, New York (2012), http:\/\/doi.acm.org\/10.1145\/2133601.2133622"},{"key":"3_CR30","unstructured":"Moses, T.: eXtensible Access Control Markup Language TC v2.0 (XACML) (February 2005), http:\/\/docs.oasis-open.org\/xacml\/2.0\/access_control-xacml-2.0-core-spec-os.pdf"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Ni, Q., Bertino, E., Lobo, J.: D-algebra for composing access control policy decisions. In: Li, W., Susilo, W., Tupakula, U.K., Safavi-Naini, R., Varadharajan, V. (eds.) ASIACCS, pp. 298\u2013309. ACM (2009)","DOI":"10.1145\/1533057.1533097"},{"issue":"1","key":"3_CR32","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"F.B. Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Transactions on Information and System Security\u00a03(1), 30\u201350 (2000)","journal-title":"ACM Transactions on Information and System Security"},{"issue":"3","key":"3_CR33","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0890-5401(89)90031-X","volume":"81","author":"R.S. Street","year":"1989","unstructured":"Street, R.S., Emerson, E.A.: An automata theoretic procedure for the propositional \u03bc-calculus. Information and Computation\u00a081(3), 249\u2013264 (1989)","journal-title":"Information and Computation"},{"key":"3_CR34","unstructured":"Walukiewicz, I.: A Complete Deductive System for the \u03bc-Calculus. Ph.D. thesis, Institute of Informatics, Warsaw University (June 1993)"},{"key":"3_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/BFb0023741","volume-title":"Computer-Aided Verification","author":"H. Wong-Toi","year":"1991","unstructured":"Wong-Toi, H., Dill, D.L.: Synthesizing Processes and Schedulers from Temporal Specifications. In: Clarke, E., Kurshan, R.P. (eds.) CAV 1990. LNCS, vol.\u00a0531, pp. 272\u2013281. Springer, Heidelberg (1991)"}],"container-title":["Lecture Notes in Computer Science","Computer Network Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33704-8_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T08:30:10Z","timestamp":1744273810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33704-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642337031","9783642337048"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33704-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}