{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:01:39Z","timestamp":1729670499091,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/crisis.2013.6766351","type":"proceedings-article","created":{"date-parts":[[2014,3,20]],"date-time":"2014-03-20T15:00:43Z","timestamp":1395327643000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["A complete tableau procedure for risk analysis"],"prefix":"10.1109","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":"Vigano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3208-5"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1626195.1626205"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.3233\/ICA-2009-0318","article-title":"A model-checking-based approach to risk analysis in supply chain consolidations","volume":"16","author":"tan","year":"2009","journal-title":"Integr Comput -Aided Eng"},{"key":"13","first-page":"201","article-title":"A role-based trust-management framework","author":"li","year":"2003","journal-title":"DISCEX-III"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1142\/S0218539309003320"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/0167-4048(96)00008-9"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1142\/S0218488502001521"},{"key":"3","article-title":"The description logic handbook","author":"baader","year":"2003","journal-title":"CUP"},{"key":"2","first-page":"1","volume":"11","author":"aven","year":"2004","journal-title":"Risk Analysis and Science IJRQSE"},{"journal-title":"Deliverable 5 1 Problem Cases and Their Trust and Security Requirements","year":"2008","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1754-0"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1103576.1103581"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44958-2_4"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp022"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1854099.1854115"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/s12652-013-0186-7"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32498-7_46"}],"event":{"name":"2013 International Conference on Risks and Security of Internet and Systems (CRiSIS)","start":{"date-parts":[[2013,10,23]]},"location":"La Rochelle, France","end":{"date-parts":[[2013,10,25]]}},"container-title":["2013 International Conference on Risks and Security of Internet and Systems (CRiSIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6749561\/6766339\/06766351.pdf?arnumber=6766351","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T14:46:11Z","timestamp":1565275571000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6766351\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/crisis.2013.6766351","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}