{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T20:47:30Z","timestamp":1725828450372},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232003"},{"type":"electronic","value":"9783319232010"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-23201-0_56","type":"book-chapter","created":{"date-parts":[[2015,8,27]],"date-time":"2015-08-27T11:57:35Z","timestamp":1440676655000},"page":"557-566","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Critical Information Diffusion Systems"],"prefix":"10.1007","author":[{"given":"R\u00e9mi","family":"Delmas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Polacsek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,28]]},"reference":[{"unstructured":"Department Of Defense Standard Department Of Defense Trusted Computer System Evaluation Criteria (1985)","key":"56_CR1"},{"key":"56_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-642-38709-8_3","volume-title":"Advanced Information Systems Engineering","author":"M Barhamgi","year":"2013","unstructured":"Barhamgi, M., Benslimane, D., Oulmakhzoune, S., Cuppens-Boulahia, N., Cuppens, F., Mrissa, M., Taktak, H.: Secure and privacy-preserving execution model for data services. In: Salinesi, C., Norrie, M.C., Pastor, \u00d3. (eds.) CAiSE 2013. LNCS, vol. 7908, pp. 35\u201350. Springer, Heidelberg (2013)"},{"unstructured":"Bieber, P., Cuppens, F.: Expression of confidentiality policies with deontic logic. In: Meyer, J.J.C., Wieringa, R.J. (eds.) Deontic Logic in Computer Science: Normative System Specification, pp. 103\u2013123. John Wiley & Sons, Inc. (1993)","key":"56_CR3"},{"issue":"1","key":"56_CR4","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1108\/14654659910266691","volume":"1","author":"J Browne","year":"1999","unstructured":"Browne, J., Zhang, J.: Extended and virtual enterprises similarities and differences. International Journal of Agile Management Systems 1(1), 30\u201336 (1999)","journal-title":"International Journal of Agile Management Systems"},{"doi-asserted-by":"crossref","unstructured":"Castaneda, H.N.: Thinking and doing. D. Reidel, Dordrecht (1975)","key":"56_CR5","DOI":"10.1007\/978-94-010-9888-5"},{"unstructured":"Dal Bello, B.R.: Managing risk in space. Federation of American Scientists, Public Interest Report, Winter (2011)","key":"56_CR6"},{"key":"56_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-642-38709-8_19","volume-title":"Advanced Information Systems Engineering","author":"R Delmas","year":"2013","unstructured":"Delmas, R., Polacsek, T.: Formal methods for exchange policy specification. In: Salinesi, C., Norrie, M.C., Pastor, \u00d3. (eds.) CAiSE 2013. LNCS, vol. 7908, pp. 288\u2013303. Springer, Heidelberg (2013)"},{"key":"56_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/978-3-319-19069-3_10","volume-title":"CAISE 2015: Proceedings of tAdvanced Information Systems Engineering","author":"R Delmas","year":"2015","unstructured":"Delmas, R., Polacsek, T.: Need-to-share & non-diffusion requirements verification in exchange policies. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 151\u2013165. Springer, Heidelberg (2015)"},{"issue":"4","key":"56_CR9","doi-asserted-by":"crossref","first-page":"660","DOI":"10.5465\/amr.1998.1255632","volume":"23","author":"JH Dyer","year":"1998","unstructured":"Dyer, J.H., Singh, H.: The Relational View: Cooperative Strategy and Sources of Interorganizational Competitive Advantage. The Academy of Management Review 23(4), 660\u2013679 (1998)","journal-title":"The Academy of Management Review"},{"key":"56_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-25867-4_1","volume-title":"Regulated Agent-Based Social Systems","author":"B Edmonds","year":"2004","unstructured":"Edmonds, B.: How formal logic can fail to be useful for modelling or designing MAS. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS (LNAI), vol. 2934, pp. 1\u201315. Springer, Heidelberg (2004)"},{"unstructured":"Gallier, J.H.: Logic for Computer Science: Foundations of Automatic Theorem Proving, chap. 10, pp. 448\u2013476. Wiley (1987)","key":"56_CR11"},{"issue":"5","key":"56_CR12","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/S1473-3099(01)00148-7","volume":"1","author":"DL Heymann","year":"2001","unstructured":"Heymann, D.L., Rodier, G.R.: Hot spots in a wired world: \n                    \n                      \n                    \n                    $$\\{$$\n                  WHO\n                    \n                      \n                    \n                    $$\\}$$\n                   surveillance of emerging and re-emerging infectious diseases. The Lancet Infectious Diseases 1(5), 345\u2013353 (2001)","journal-title":"The Lancet Infectious Diseases"},{"unstructured":"Kalam, A.A.E., Baida, R.E., Balbiani, P., Benferhat, S., Cuppens, F., Deswarte, Y., Miege, A., Saurel, C., Trouessin, G.: Organization based access control. In: IEEE 4th International Workshop on Policies for Distributed Systems and Networks Proceedings, POLICY 2003. IEEE (2003)","key":"56_CR13"},{"key":"56_CR14","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1197\/jamia.M1356","volume":"11","author":"KD Mandl","year":"2004","unstructured":"Mandl, K.D., Overhage, J., Wagner, M.M., Lober, W.B., Sebastiani, P., Mostashari, F., Pavlin, J.A., Gesteland, P.H., Treadwell, T., Koski, E., Hutwagner, L., Buckeridge, D.L., Aller, R.D., Grannis, S.: Implementing syndromic surveillance: a practical guide informed by the early experience. Journal of the American Medical Informatics Association 11, 141\u2013150 (2004)","journal-title":"Journal of the American Medical Informatics Association"},{"issue":"1","key":"56_CR15","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1023\/A:1004943332720","volume":"59","author":"J McCarthy","year":"1997","unstructured":"McCarthy, J.: Modality, si! modal logic, no!. Studia Logica 59(1), 29\u201332 (1997)","journal-title":"Studia Logica"},{"key":"56_CR16","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1186\/1472-6947-8-29","volume":"8","author":"J Meynard","year":"2008","unstructured":"Meynard, J., Chaudet, H., Texier, G., Ardillon, V., Ravachol, F., Deparis, X., Jefferson, H., Dussart, P., Morvan, J., Boutin, J.: Value of syndromic surveillance within the armed forces for early warning during a dengue fever outbreak in french guiana in 2006. BMC Med. Inf. & Decision Making 8, 29 (2008)","journal-title":"BMC Med. Inf. & Decision Making"},{"doi-asserted-by":"crossref","unstructured":"Parwani, T., Kholoussi, R., Karras, P.: How to hack into facebook without being a hacker. In: Carr, L., Laender, A.H.F., L\u00f3scio, B.F., King, I., Fontoura, M., Vrandecic, D., Aroyo, L., de Oliveira, J.P.M., Lima, F., Wilde, E. (eds.) WWW (Companion Volume), pp. 751\u2013754. International World Wide Web Conferences Steering Committee \/ ACM (2013)","key":"56_CR17","DOI":"10.1145\/2487788.2488036"},{"key":"56_CR18","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1613\/jair.2675","volume":"35","author":"R Sebastiani","year":"2009","unstructured":"Sebastiani, R., Vescovi, M.: Automated reasoning in modal and description logics via sat encoding: the case study of k(m)\/alc-satisfiability. J. Artif. Intell. Res. (JAIR) 35, 343\u2013389 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"}],"container-title":["Communications in Computer and Information Science","New Trends in Databases and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23201-0_56","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:17:40Z","timestamp":1559243860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23201-0_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232003","9783319232010"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23201-0_56","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"28 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}