{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T05:20:44Z","timestamp":1782278444202,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":54,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642255595","type":"print"},{"value":"9783642255601","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-25560-1_1","type":"book-chapter","created":{"date-parts":[[2011,11,10]],"date-time":"2011-11-10T03:28:46Z","timestamp":1320895726000},"page":"1-27","source":"Crossref","is-referenced-by-count":21,"title":["Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms"],"prefix":"10.1007","author":[{"given":"Anupam","family":"Datta","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jeremiah","family":"Blocki","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicolas","family":"Christin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Henry","family":"DeYoung","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Deepak","family":"Garg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Limin","family":"Jia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dilsun","family":"Kaynar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arunesh","family":"Sinha","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"4","key":"1_CR1","doi-asserted-by":"publisher","first-page":"706","DOI":"10.1145\/155183.155225","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Burrows, M., Lampson, B.W., Plotkin, G.D.: A calculus for access control in distributed systems. ACM Trans. Program. Lang. Syst.\u00a015(4), 706\u2013734 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"6","key":"1_CR2","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1007\/BF01213601","volume":"6","author":"K.R. Apt","year":"1994","unstructured":"Apt, K.R., Marchiori, E.: Reasoning about Prolog programs: From modes through types to assertions. Formal Aspects of Computing\u00a06(6), 743\u2013765 (1994)","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"1_CR3","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1137\/S0097539701398375","volume":"32","author":"P. Auer","year":"2003","unstructured":"Auer, P., Cesa-Bianchi, N., Freund, Y., Schapire, R.: The nonstochastic multiarmed bandit problem. SIAM Journal on Computing\u00a032(1), 48\u201377 (2003)","journal-title":"SIAM Journal on Computing"},{"issue":"1","key":"1_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.jcss.2007.04.016","volume":"74","author":"B. Awerbuch","year":"2008","unstructured":"Awerbuch, B., Kleinberg, R.: Online linear optimization and adaptive routing. Journal of Computer and System Sciences\u00a074(1), 97\u2013114 (2008)","journal-title":"Journal of Computer and System Sciences"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-04222-5_9","volume-title":"Frontiers of Combining Systems","author":"F. Baader","year":"2009","unstructured":"Baader, F., Bauer, A., Lippmann, M.: Runtime Verification Using a Temporal Description Logic. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS, vol.\u00a05749, pp. 149\u2013164. Springer, Heidelberg (2009)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-39650-5_10","volume-title":"Computer Security \u2013 ESORICS 2003","author":"M. Backes","year":"2003","unstructured":"Backes, M., Pfitzmann, B., Schunter, M.: A Toolkit for Managing Enterprise Privacy Policies. In: Snekkenes, E., Gollmann, D. (eds.) ESORICS 2003. LNCS, vol.\u00a02808, pp. 162\u2013180. Springer, Heidelberg (2003)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-24622-0_5","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"H. Barringer","year":"2004","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-Based Runtime Verification. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 44\u201357. Springer, Heidelberg (2004)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Barth, A., Datta, A., Mitchell, J.C., Nissenbaum, H.: Privacy and contextual integrity: Framework and applications. In: Proceedings of the 27th IEEE Symposium on Security and Privacy, Oakland, pp. 184\u2013198 (2006)","DOI":"10.1109\/SP.2006.32"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Barth, A., Datta, A., Mitchell, J.C., Sundaram, S.: Privacy and utility in business processes. In: Proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF), pp. 279\u2013294 (2007)","DOI":"10.1109\/CSF.2007.26"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-642-14577-3_16","volume-title":"Financial Cryptography and Data Security","author":"A. Barth","year":"2010","unstructured":"Barth, A., Rubinstein, B.I.P., Sundararajan, M., Mitchell, J.C., Song, D., Bartlett, P.L.: A Learning-Based Approach to Reactive Security. In: Sion, R. (ed.) FC 2010. LNCS, vol.\u00a06052, pp. 192\u2013206. Springer, Heidelberg (2010)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Basin, D., Klaedtke, F., M\u00fcller, S.: Monitoring security policies with metric first-order temporal logic. In: Proceeding of the 15th ACM Symposium on Access Control Models and Technologies (SACMAT), pp. 23\u201334 (2010)","DOI":"10.1145\/1809842.1809849"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-14295-6_1","volume-title":"Computer Aided Verification","author":"D. Basin","year":"2010","unstructured":"Basin, D., Klaedtke, F., M\u00fcller, S.: Policy Monitoring in First-Order Temporal Logic. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 1\u201318. Springer, Heidelberg (2010)"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1023\/A:1025711105609","volume":"11","author":"C. Bettini","year":"2003","unstructured":"Bettini, C., Jajodia, S., Wang, X.S., Wijesekera, D.: Provisions and obligations in policy rule management. Journal of Network and Systems Management\u00a011, 351\u2013372 (2003)","journal-title":"Journal of Network and Systems Management"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Blocki, J., Christin, N., Datta, A., Sinha, A.: Regret minimizing audits: A learning-theoretic basis for privacy protection. In: Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF), pp. 312\u2013327 (2011)","DOI":"10.1109\/CSF.2011.28"},{"key":"1_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1007\/11503415_42","volume-title":"Learning Theory","author":"A. Blum","year":"2005","unstructured":"Blum, A., Mansour, Y.: From External to Internal Regret. In: Auer, P., Meir, R. (eds.) COLT 2005. LNCS (LNAI), vol.\u00a03559, pp. 621\u2013636. Springer, Heidelberg (2005)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Blum, A., Mansour, Y.: Learning, regret minimization, and equilibria. Algorithmic Game Theory, 79\u2013102 (2007)","DOI":"10.1017\/CBO9780511800481.006"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-44618-4_14","volume-title":"CONCUR 2000 - Concurrency Theory","author":"G. Bruns","year":"2000","unstructured":"Bruns, G., Godefroid, P.: Generalized Model Checking: Reasoning About Partial State Spaces. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 168\u2013182. Springer, Heidelberg (2000)"},{"issue":"2","key":"1_CR18","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s10207-007-0017-y","volume":"6","author":"J.G. Cederquist","year":"2007","unstructured":"Cederquist, J.G., Corin, R., Dekker, M.A.C., Etalle, S., den Hartog, J.I., Lenzini, G.: Audit-based compliance control. International Journal of Information Security\u00a06(2), 133\u2013151 (2007)","journal-title":"International Journal of Information Security"},{"key":"1_CR19","unstructured":"Cheng, P.-C., Rohatgi, P.: IT Security as Risk Management: A Research Perspective. IBM Research Report RC24529 (April 2008)"},{"key":"1_CR20","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 the IEEE Symposium on Security and Privacy (2007)","DOI":"10.1109\/SP.2007.21"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Dani, V., Hayes, T.: Robbing the bandit: Less regret in online geometric optimization against an adaptive adversary. In: Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete algorithm, p. 943. ACM (2006)","DOI":"10.1145\/1109557.1109660"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"De Young, H., Garg, D., Jia, L., Kaynar, D., Datta, A.: Experiences in the logical specification of the HIPAA and GLBA privacy laws. In: Proceedings of the 9th Annual ACM Workshop on Privacy in the Electronic Society (WPES) (2010), Full version: Carnegie Mellon University Technical Report CMU-CyLab-10-007","DOI":"10.1145\/1866919.1866930"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-540-74835-9_25","volume-title":"Computer Security \u2013 ESORICS 2007","author":"D.J. Dougherty","year":"2007","unstructured":"Dougherty, D.J., Fisler, K., Krishnamurthi, S.: Obligations and their Interaction with Programs. In: Biskup, J., L\u00f3pez, J. (eds.) ESORICS 2007. LNCS, vol.\u00a04734, pp. 375\u2013389. Springer, Heidelberg (2007)"},{"key":"1_CR24","unstructured":"Fudenberg, D., Tirole, J.: Game theory. MIT Press (1991)"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Garg, D., Jia, L., Datta, A.: Policy auditing over incomplete logs: Theory, implementation and applications. In: Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS (2011)","DOI":"10.1145\/2046707.2046726"},{"key":"1_CR26","unstructured":"Giblin, C., Liu, A.Y., M\u00fcller, S., Pfitzmann, B., Zhou, X.: Regulations expressed as logical models (REALM). In: Proceeding of the 18th Annual Conference on Legal Knowledge and Information Systems (JURIX), pp. 37\u201348 (2005)"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Huth, M.: Model checking vs. generalized model checking: Semantic minimizations for temporal logics. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 158\u2013167 (2005)","DOI":"10.1109\/LICS.2005.28"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/11555827_7","volume-title":"Computer Security \u2013 ESORICS 2005","author":"M. Hilty","year":"2005","unstructured":"Hilty, M., Basin, D., Pretschner, A.: On Obligations. In: di Vimercati, S.d.C., Syverson, P.F., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol.\u00a03679, pp. 98\u2013117. Springer, Heidelberg (2005)"},{"key":"1_CR29","unstructured":"Hulme, G.: Steady Bleed: State of HealthCare Data Breaches. Information Week (September 2010), http:\/\/www.informationweek.com\/blog\/healthcare\/229200720"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Irwin, K., Yu, T., Winsborough, W.H.: On the modeling and analysis of obligations. In: Proceedings of the 13th ACM Conference on Computer and Communications Security (CCS), pp. 134\u2013143 (2006)","DOI":"10.1145\/1180405.1180423"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-04444-1_10","volume-title":"Computer Security \u2013 ESORICS 2009","author":"R. Jagadeesan","year":"2009","unstructured":"Jagadeesan, R., Jeffrey, A., Pitcher, C., Riely, J.: Towards a Theory of Accountability and Audit. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol.\u00a05789, pp. 152\u2013167. Springer, Heidelberg (2009)"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"K\u00fcsters, R., Truderung, T., Vogt, A.: Accountability: definition and relationship to verifiability. In: ACM Conference on Computer and Communications Security, pp. 526\u2013535 (2010)","DOI":"10.1145\/1866307.1866366"},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-642-03748-1_8","volume-title":"Trust, Privacy and Security in Digital Business","author":"P.E. Lam","year":"2009","unstructured":"Lam, P.E., Mitchell, J.C., Sundaram, S.: A Formalization of HIPAA for a Medical Messaging System. In: Fischer-H\u00fcbner, S., Lambrinoudakis, C., Pernul, G. (eds.) TrustBus 2009. LNCS, vol.\u00a05695, pp. 73\u201385. Springer, Heidelberg (2009)"},{"issue":"6","key":"1_CR34","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/MC.2004.17","volume":"37","author":"B.W. Lampson","year":"2004","unstructured":"Lampson, B.W.: Computer security in the real world. IEEE Computer\u00a037(6), 37\u201346 (2004)","journal-title":"IEEE Computer"},{"issue":"2","key":"1_CR35","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1006\/inco.1994.1009","volume":"108","author":"N. Littlestone","year":"1994","unstructured":"Littlestone, N., Warmuth, M.K.: The weighted majority algorithm. Inf. Comput.\u00a0108(2), 212\u2013261 (1994)","journal-title":"Inf. Comput."},{"key":"1_CR36","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1147\/sj.462.0335","volume":"46","author":"Y. Liu","year":"2007","unstructured":"Liu, Y., M\u00fcller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Systems Journal\u00a046, 335\u2013361 (2007)","journal-title":"IBM Systems Journal"},{"key":"1_CR37","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems: Safety","author":"Z. Manna","year":"1995","unstructured":"Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, Heidelberg (1995)"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"May, M.J., Gunter, C.A., Lee, I.: Privacy APIs: Access control techniques to analyze and verify legal privacy policies. In: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (CSFW), pp. 85\u201397 (2006)","DOI":"10.1109\/CSFW.2006.24"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Ni, Q., Bertino, E., Lobo, J.: An obligation model bridging access control policies and privacy policies. In: Proceedings of the 13th ACM Symposium on Access Control Models and Technologies (SACMAT), pp. 133\u2013142 (2008)","DOI":"10.1145\/1377836.1377857"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Nissenbaum, H.: Privacy in Context: Technology, Policy, and the Integrity of Social Life. Stanford University Press (2010)","DOI":"10.1515\/9780804772891"},{"key":"1_CR41","unstructured":"OASIS XACML Committee. Extensible access control markup language (XACML) v2.0 (2004), http:\/\/www.oasis-open.org\/specs\/#xacmlv2.0"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"Park, J., Sandhu, R.: Towards usage control models: beyond traditional access control. In: Proceedings of the 7th ACM Symposium on Access Control Models and Technologies (SACMAT), pp. 57\u201364 (2002)","DOI":"10.1145\/507711.507722"},{"key":"1_CR43","unstructured":"Robertson, J.: New data spill shows risk of online health records. Yahoo News (August 2011), http:\/\/news.yahoo.com\/data-spill-shows-risk-online-health-records-120743449.html"},{"key":"1_CR44","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/s10515-005-6205-y","volume":"12","author":"G. Ro\u015fu","year":"2005","unstructured":"Ro\u015fu, G., Havelund, K.: Rewriting-based techniques for runtime verification. Automated Software Engineering\u00a012, 151\u2013197 (2005)","journal-title":"Automated Software Engineering"},{"key":"1_CR45","doi-asserted-by":"crossref","unstructured":"Roger, M., Goubault-Larrecq, J.: Log auditing through model-checking. In: Proceedings of the 14th IEEE Workshop on Computer Security Foundations (CSF), pp. 220\u2013236 (2001)","DOI":"10.1109\/CSFW.2001.930148"},{"key":"1_CR46","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.entcs.2006.02.006","volume":"144","author":"O. Sokolsky","year":"2006","unstructured":"Sokolsky, O., Sammapun, U., Lee, I., Kim, J.: Run-time checking of dynamic properties. Electronic Notes in Theoretical Computer Science\u00a0144, 91\u2013108 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"1_CR47","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.entcs.2004.01.029","volume":"113","author":"P. Thati","year":"2005","unstructured":"Thati, P., Ro\u015fu, G.: Monitoring algorithms for metric temporal logic specifications. Electronic Notes in Theoretical Computer Science\u00a0113, 145\u2013162 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"1_CR48","unstructured":"Tschantz, M.\u00a0C., Datta, A., Wing, J.: On the semantics of purpose requirements in privacy policies. Tech. Rep. CMU-CS-11-102, Carnegie Mellon University (2010)"},{"key":"1_CR49","unstructured":"US Health and Human Services. HIPAA enforcement, http:\/\/www.hhs.gov\/ocr\/privacy\/hipaa\/enforcement\/index.html (accessed November 19, 2010)"},{"key":"1_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1505","DOI":"10.1007\/3-540-45110-2_22","volume-title":"Genetic and Evolutionary Computation - GECCO 2003","author":"M.D. Vose","year":"2003","unstructured":"Vose, M.D., Wright, A.H., Rowe, J.E.: Implicit Parallelism. In: Cant\u00fa-Paz, E., Foster, J.A., Deb, K., Davis, L., Roy, R., O\u2019Reilly, U.-M., Beyer, H.-G., Kendall, G., Wilson, S.W., Harman, M., Wegener, J., Dasgupta, D., Potter, M.A., Schultz, A., Dowsland, K.A., Jonoska, N., Miller, J., Standish, R.K. (eds.) GECCO 2003. LNCS, vol.\u00a02724, pp. 1505\u20131517. Springer, Heidelberg (2003)"},{"key":"1_CR51","unstructured":"Wall Street Journal. What they know, http:\/\/online.wsj.com\/public\/page\/what-they-know-digital-privacy.html (accessed on September 8, 2011)"},{"issue":"6","key":"1_CR52","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/1349026.1349043","volume":"51","author":"D.J. Weitzner","year":"2008","unstructured":"Weitzner, D.J., Abelson, H., Berners-Lee, T., Feigenbaum, J., Hendler, J.A., Sussman, G.J.: Information accountability. Commun. ACM\u00a051(6), 82\u201387 (2008)","journal-title":"Commun. ACM"},{"key":"1_CR53","doi-asserted-by":"crossref","unstructured":"Zhao, X., Johnson, M.E.: Access governance: Flexibility with escalation and audit. In: HICSS, pp. 1\u201313 (2010)","DOI":"10.1109\/HICSS.2010.42"},{"key":"1_CR54","first-page":"1729","volume":"20","author":"M. Zinkevich","year":"2008","unstructured":"Zinkevich, M., Johanson, M., Bowling, M., Piccione, C.: Regret minimization in games with incomplete information. Advances in Neural Information Processing Systems\u00a020, 1729\u20131736 (2008)","journal-title":"Advances in Neural Information Processing Systems"}],"container-title":["Lecture Notes in Computer Science","Information Systems Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25560-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,15]],"date-time":"2021-12-15T23:17:06Z","timestamp":1639610226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25560-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642255595","9783642255601"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25560-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}