{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:14:03Z","timestamp":1725700443221},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642324970"},{"type":"electronic","value":"9783642324987"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32498-7_46","type":"book-chapter","created":{"date-parts":[[2012,8,14]],"date-time":"2012-08-14T14:04:28Z","timestamp":1344953068000},"page":"609-623","source":"Crossref","is-referenced-by-count":2,"title":["Towards a Logical Framework for Reasoning about Risk"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Cristani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erisa","family":"Karafili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"46_CR1","unstructured":"AVANTSSAR. Deliverable 5.1: Problem cases and their trust and security requirements (2008), http:\/\/www.avantssar.eu"},{"key":"46_CR2","doi-asserted-by":"crossref","unstructured":"Bartsch, S.: A calculus for the qualitative risk assessment of policy override authorization. In: SIN, pp. 62\u201370 (2010)","DOI":"10.1145\/1854099.1854115"},{"issue":"6","key":"46_CR3","doi-asserted-by":"publisher","first-page":"1245","DOI":"10.1093\/logcom\/exp022","volume":"19","author":"D.A. Basin","year":"2009","unstructured":"Basin, D.A., Caleiro, C., Ramos, J., Vigan\u00f2, L.: Labelled tableaux for distributed temporal logic. Journal of Logic and Computation\u00a019(6), 1245\u20131279 (2009)","journal-title":"Journal of Logic and Computation"},{"key":"46_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-44958-2_4","volume-title":"Modeling and Using Context","author":"J. Bell","year":"2003","unstructured":"Bell, J.: A Common Sense Theory of Causation. In: Blackburn, P., Ghidini, C., Turner, R.M., Giunchiglia, F. (eds.) CONTEXT 2003. LNCS, vol.\u00a02680, pp. 40\u201353. Springer, Heidelberg (2003)"},{"key":"46_CR5","doi-asserted-by":"crossref","unstructured":"Chapin, P.C., Skalka, C., Wang, X.S.: Risk assessment in distributed authorization. In: FMSE, pp. 33\u201342 (2005)","DOI":"10.1145\/1103576.1103581"},{"key":"46_CR6","doi-asserted-by":"crossref","unstructured":"D\u2019Agostino, M., Gabbay, D.M., H\u00e4hnle, R., Posegga, J. (eds.): Handbook of Tableau Methods. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-94-017-1754-0"},{"key":"46_CR7","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","author":"J.M. Dunn","year":"1995","unstructured":"Dunn, J.M.: Positive modal logic. Studia Logica\u00a055, 301\u2013317 (1995)","journal-title":"Studia Logica"},{"key":"46_CR8","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M.: Labelled Deductive Systems. Clarendon Press (1996)","DOI":"10.1093\/oso\/9780198538332.001.0001"},{"issue":"1-2","key":"46_CR9","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence\u00a0153(1-2), 49\u2013104 (2004)","journal-title":"Artificial Intelligence"},{"issue":"17","key":"46_CR10","doi-asserted-by":"publisher","first-page":"556","DOI":"10.2307\/2025310","volume":"70","author":"D. Lewis","year":"1973","unstructured":"Lewis, D.: Causation. The Journal of Philosophy\u00a070(17), 556\u2013567 (1973)","journal-title":"The Journal of Philosophy"},{"issue":"4","key":"46_CR11","doi-asserted-by":"publisher","first-page":"182","DOI":"10.2307\/2678389","volume":"97","author":"D. Lewis","year":"2000","unstructured":"Lewis, D.: Causation as influence. The Journal of Philosophy\u00a097(4), 182\u2013197 (2000)","journal-title":"The Journal of Philosophy"},{"key":"46_CR12","unstructured":"Li, N., Mitchell, J.C.: A role-based trust-management framework. In: DISCEX-III, pp. 201\u2013212. IEEE Computer Society (2003)"},{"key":"46_CR13","first-page":"189","volume":"262","author":"A. Masini","year":"2010","unstructured":"Masini, A., Vigan\u00f2, L., Volpe, M.: A history of until. ENTCS\u00a0262, 189\u2013204 (2010)","journal-title":"ENTCS"},{"issue":"1-4","key":"46_CR14","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1018964524717","volume":"28","author":"G. Shafer","year":"2000","unstructured":"Shafer, G., Gillett, P.R., Scherl, R.B.: The logic of events. Annals of Mathematics and Artificial Intelligence\u00a028(1-4), 315\u2013389 (2000)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"46_CR15","doi-asserted-by":"crossref","unstructured":"Singh, A., Lilja, D.J.: Improving risk assessment methodology: a statistical design of experiments approach. In: SIN, pp. 21\u201329 (2009)","DOI":"10.1145\/1626195.1626205"},{"key":"46_CR16","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1111\/j.1467-8640.1995.tb00047.x","volume":"11","author":"P. Terenziani","year":"1995","unstructured":"Terenziani, P., Torasso, P.: Time, action-types, causation: An integrated analysis. Computational Intelligence\u00a011, 529\u2013552 (1995)","journal-title":"Computational Intelligence"},{"issue":"1-2","key":"46_CR17","first-page":"87","volume":"113","author":"H. Turner","year":"1999","unstructured":"Turner, H.: A logic of universal causation. AI\u00a0113(1-2), 87\u2013123 (1999)","journal-title":"AI"},{"key":"46_CR18","doi-asserted-by":"crossref","unstructured":"Vigan\u00f2, L.: Labelled Non-Classical Logics. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-1-4757-3208-5"}],"container-title":["Lecture Notes in Computer Science","Multidisciplinary Research and Practice for Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32498-7_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,28]],"date-time":"2024-04-28T11:58:35Z","timestamp":1714305515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32498-7_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642324970","9783642324987"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32498-7_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}