{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:12:54Z","timestamp":1760202774120,"version":"3.37.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030021450"},{"type":"electronic","value":"9783030021467"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-02146-7_4","type":"book-chapter","created":{"date-parts":[[2018,10,5]],"date-time":"2018-10-05T21:44:02Z","timestamp":1538775842000},"page":"75-96","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Logical Characterization of Differential Privacy via Behavioral Metrics"],"prefix":"10.1007","author":[{"given":"Valentina","family":"Castiglioni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Chatzikokolakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catuscia","family":"Palamidessi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,5]]},"reference":[{"issue":"2","key":"4_CR1","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1109\/TSE.2008.106","volume":"35","author":"L Alfaro de","year":"2009","unstructured":"de Alfaro, L., Faella, M., Stoelinga, M.: Linear and branching system metrics. IEEE Trans. Softw. Eng. 35(2), 258\u2013273 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1022","DOI":"10.1007\/3-540-45061-0_79","volume-title":"Automata, Languages and Programming","author":"L Alfaro de","year":"2003","unstructured":"de Alfaro, L., Henzinger, T.A., Majumdar, R.: Discounting the future in systems theory. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol. 2719, pp. 1022\u20131037. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-45061-0_79"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Majumdar, R., Raman, V., Stoelinga, M.: Game refinement relations and metrics. Log. Methods Comput. Sci. 4(3) (2008)","DOI":"10.2168\/LMCS-4(3:7)2008"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-319-25150-9_21","volume-title":"Theoretical Aspects of Computing - ICTAC 2015","author":"G Bacci","year":"2015","unstructured":"Bacci, G., Bacci, G., Larsen, K.G., Mardare, R.: Converging from branching to linear metrics on\u00a0Markov chains. In: Leucker, M., Rueda, C., Valencia, F.D. (eds.) ICTAC 2015. LNCS, vol. 9399, pp. 349\u2013367. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25150-9_21"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Barthe, G., K\u00f6pf, B., Olmedo, F., B\u00e9guelin, S.Z.: Probabilistic relational reasoning for differential privacy. In: Proceedings of POPL. ACM (2012)","DOI":"10.1145\/2103656.2103670"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Bernardo, M., De Nicola, R., Loreti, M.: Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Log. Methods Comput. Sci. 10(1) (2014)","DOI":"10.2168\/LMCS-10(1:16)2014"},{"issue":"1","key":"4_CR7","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/963927.963929","volume":"5","author":"B Bloom","year":"2004","unstructured":"Bloom, B., Fokkink, W.J., van Glabbeek, R.J.: Precongruence formats for decorated trace semantics. ACM Trans. Comput. Log. 5(1), 26\u201378 (2004)","journal-title":"ACM Trans. Comput. Log."},{"issue":"1","key":"4_CR8","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.tcs.2004.09.035","volume":"331","author":"F Breugel van","year":"2005","unstructured":"van Breugel, F., Worrell, J.: A behavioural pseudometric for probabilistic transition systems. Theor. Comput. Sci. 331(1), 115\u2013142 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"44","DOI":"10.4204\/EPTCS.227.4","volume":"227","author":"Valentina Castiglioni","year":"2016","unstructured":"Castiglioni, V., Gebler, D., Tini, S.: Logical characterization of bisimulation metrics. In: Proceedings of QAPL\u201916. EPTCS 227, 44\u201362 (2016)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"39","DOI":"10.4204\/EPTCS.250.4","volume":"250","author":"Valentina Castiglioni","year":"2017","unstructured":"Castiglioni, V., Tini, S.: Logical characterization of trace metrics. In: Proceedings of QAPL@ETAPS 2017. EPTCS 250, 39\u201374 (2017)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-39077-7_5","volume-title":"Privacy Enhancing Technologies","author":"K Chatzikokolakis","year":"2013","unstructured":"Chatzikokolakis, K., Andr\u00e9s, M.E., Bordenabe, N.E., Palamidessi, C.: Broadening the scope of differential privacy using metrics. In: De Cristofaro, E., Wright, M. (eds.) PETS 2013. LNCS, vol. 7981, pp. 82\u2013102. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39077-7_5"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-662-44584-6_4","volume-title":"CONCUR 2014 \u2013 Concurrency Theory","author":"K Chatzikokolakis","year":"2014","unstructured":"Chatzikokolakis, K., Gebler, D., Palamidessi, C., Xu, L.: Generalized bisimulation metrics. In: Baldan, P., Gorla, D. (eds.) CONCUR 2014. LNCS, vol. 8704, pp. 32\u201346. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44584-6_4"},{"issue":"2","key":"4_CR13","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.entcs.2005.10.033","volume":"153","author":"Y Deng","year":"2006","unstructured":"Deng, Y., Chothia, T., Palamidessi, C., Pang, J.: Metrics for action-labelled quantitative transition systems. Electr. Notes Theor. Comput. Sci. 153(2), 79\u201396 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"4_CR14","unstructured":"Deng, Y., Du, W.: Logical, metric, and algorithmic characterisations of probabilistic bisimulation. CoRR abs\/ arXiv:1103.4577 (2011)"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-16242-8_20","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"Yuxin Deng","year":"2010","unstructured":"Deng, Y., van Glabbeek, R.J.: Characterising probabilistic processes logically - (extended abstract). In: Proceedings of LPAR-17, pp. 278\u2013293 (2010)"},{"issue":"1","key":"4_CR16","first-page":"55","volume":"180","author":"Y Deng","year":"2007","unstructured":"Deng, Y., Palamidessi, C., Pang, J.: Weak probabilistic anonymity. ENTCS 180(1), 55\u201376 (2007)","journal-title":"ENTCS"},{"issue":"3","key":"4_CR17","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/j.tcs.2003.09.013","volume":"318","author":"J Desharnais","year":"2004","unstructured":"Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3), 323\u2013354 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR18","first-page":"413","volume":"2002","author":"J Desharnais","year":"2002","unstructured":"Desharnais, J., Jagadeesan, R., Gupta, V., Panangaden, P.: The metric analogue of weak bisimulation for probabilistic processes. Proc. LICS 2002, 413\u2013422 (2002)","journal-title":"Proc. LICS"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-319-47677-3_5","volume-title":"Dependable Software Engineering: Theories, Tools, and Applications","author":"W Du","year":"2016","unstructured":"Du, W., Deng, Y., Gebler, D.: Behavioural pseudometrics for nondeterministic probabilistic systems. In: Fr\u00e4nzle, M., Kapur, D., Zhan, N. (eds.) SETTA 2016. LNCS, vol. 9984, pp. 67\u201384. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47677-3_5"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Duchi, J.C., Jordan, M.I., Wainwright, M.J.: Local privacy and statistical minimax rates. In: Proceedings of the 54th Annual IEEE Symposium on Foundations of Computer Science (FOCS), pp. 429\u2013438. IEEE Computer Society (2013)","DOI":"10.1109\/FOCS.2013.53"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11787006_1","volume-title":"Automata, Languages and Programming","author":"C Dwork","year":"2006","unstructured":"Dwork, C.: Differential privacy. In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I. (eds.) ICALP 2006. LNCS, vol. 4052, pp. 1\u201312. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11787006_1"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Erlingsson, \u00da., Pihur, V., Korolova, A.: RAPPOR: randomized aggregatable privacy-preserving ordinal response. In: Ahn, G., Yung, M., Li, N. (eds.) Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security (CCS), pp. 1054\u20131067. ACM (2014)","DOI":"10.1145\/2660267.2660348"},{"issue":"1","key":"4_CR23","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1145\/2480359.2429113","volume":"48","author":"Marco Gaboardi","year":"2013","unstructured":"Gaboardi, M., Haeberlen, A., Hsu, J., Narayan, A., Pierce, B.C.: Linear dependent types for differential privacy. In: POPL, pp. 357\u2013370 (2013)","journal-title":"ACM SIGPLAN Notices"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Ghosh, A., Roughgarden, T., Sundararajan, M.: Universally utility-maximizing privacy mechanisms. In: Proceedings of the 41st Annual ACM Symposium on Theory of Computing (STOC), pp. 351\u2013360. ACM (2009)","DOI":"10.1145\/1536414.1536464"},{"key":"4_CR25","unstructured":"Giacalone, A., Jou, C.C., Smolka, S.A.: Algebraic reasoning for probabilistic concurrent systems. In: Proceedings of IFIP Work, Conference on Programming, Concepts and Methods, pp. 443\u2013458 (1990)"},{"issue":"1\u20133","key":"4_CR26","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(86)80031-6","volume":"68","author":"S Graf","year":"1986","unstructured":"Graf, S., Sifakis, J.: A modal characterization of observational congruence on finite terms of CCS. Inf. Control 68(1\u20133), 125\u2013145 (1986)","journal-title":"Inf. Control"},{"issue":"5","key":"4_CR27","first-page":"512","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. FAC 6(5), 512\u2013535 (1994)","journal-title":"FAC"},{"key":"4_CR28","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. J. Assoc. Comput. Mach. 32, 137\u2013161 (1985)","journal-title":"J. Assoc. Comput. Mach."},{"issue":"2","key":"4_CR29","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.ic.2010.11.024","volume":"209","author":"H Hermanns","year":"2011","unstructured":"Hermanns, H., Parma, A., Segala, R., Wachter, B., Zhang, L.: Probabilistic logical characterization. Inf. Comput. 209(2), 154\u2013172 (2011)","journal-title":"Inf. Comput."},{"issue":"7","key":"4_CR30","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"RM Keller","year":"1976","unstructured":"Keller, R.M.: Formal verification of parallel programs. Commun. ACM 19(7), 371\u2013384 (1976)","journal-title":"Commun. ACM"},{"key":"4_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/3-540-61550-4_167","volume-title":"Mathematical Foundations of Computer Science 1996","author":"M Kwiatkowska","year":"1996","unstructured":"Kwiatkowska, M., Norman, G.: Probabilistic metric semantics for a simple language with recursion. In: Penczek, W., Sza\u0142as, A. (eds.) MFCS 1996. LNCS, vol. 1113, pp. 419\u2013430. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61550-4_167"},{"key":"4_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1007\/978-3-642-32589-2_59","volume-title":"Mathematical Foundations of Computer Science 2012","author":"KG Larsen","year":"2012","unstructured":"Larsen, K.G., Mardare, R., Panangaden, P.: Taking it to the limit: approximate reasoning for Markov processes. In: Rovan, B., Sassone, V., Widmayer, P. (eds.) MFCS 2012. LNCS, vol. 7464, pp. 681\u2013692. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32589-2_59"},{"issue":"1","key":"4_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"KG Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Inf. Comput. 94(1), 1\u201328 (1991)","journal-title":"Inf. Comput."},{"key":"4_CR34","first-page":"277","volume":"2008","author":"A Machanavajjhala","year":"2008","unstructured":"Machanavajjhala, A., Kifer, D., Abowd, J.M., Gehrke, J., Vilhuber, L.: Privacy: theory meets practice on the map. Proc. ICDE 2008, 277\u2013286 (2008)","journal-title":"Proc. ICDE"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Narayanan, A., Shmatikov, V.: De-anonymizing social networks. In: Proceedings of S&P 2009, pp. 173\u2013187 (2009)","DOI":"10.1109\/SP.2009.22"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Reed, J., Pierce, B.C.: Distance makes the types grow stronger: a calculus for differential privacy. In: Proceedings of ICFP, pp. 157\u2013168. ACM (2010)","DOI":"10.1145\/1932681.1863568"},{"key":"4_CR37","unstructured":"Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. Ph.D. thesis, MIT (1995)"},{"key":"4_CR38","unstructured":"Smith, A.D.: Efficient, differentially private point estimators. CoRR abs\/ arXiv:0809.4794 (2008)"},{"key":"4_CR39","first-page":"50","volume":"2007","author":"L Song","year":"2007","unstructured":"Song, L., Deng, Y., Cai, X.: Towards automatic measurement of probabilistic processes. Proc. QSIC 2007, 50\u201359 (2007)","journal-title":"Proc. QSIC"},{"key":"4_CR40","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.entcs.2011.09.015","volume":"276","author":"Michael Carl Tschantz","year":"2011","unstructured":"Tschantz, M.C., Kaynar, D., Datta, A.: Formal verification of differential privacy for interactive systems (extended abstract). ENTCS 276, 61\u201379 (2011)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"4_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-662-43613-4_13","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"L Xu","year":"2014","unstructured":"Xu, L., Chatzikokolakis, K., Lin, H.: Metrics for differential privacy in concurrent systems. In: \u00c1brah\u00e1m, E., Palamidessi, C. (eds.) FORTE 2014. LNCS, vol. 8461, pp. 199\u2013215. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43613-4_13"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02146-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,25]],"date-time":"2019-10-25T11:40:35Z","timestamp":1572003635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-02146-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030021450","9783030021467"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02146-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"FACS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Aspects of Component Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pohang","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Korea (Republic of)","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"facs2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sevlab.postech.ac.kr\/facs18","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}