{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:32:45Z","timestamp":1725593565360},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642223471"},{"type":"electronic","value":"9783642223488"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22348-8_9","type":"book-chapter","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T17:59:57Z","timestamp":1309283997000},"page":"90-105","source":"Crossref","is-referenced-by-count":4,"title":["Dynamics in Delegation and Revocation Schemes: A Logical Approach"],"prefix":"10.1007","author":[{"given":"Guillaume","family":"Aucher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Barker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Boella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valerio","family":"Genovese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leendert","family":"van der Torre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"FPDAM on Certificate Extensions. Final Proposed Draft Amendment on Certificate Extensions (V6), Collaborative ITU and ISO\/IEC USA (April 1999)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M.: Logic in access control. In: 18th IEEE Symposium on Logic in Computer Science (LICS), p. 228 (2003)","DOI":"10.1109\/LICS.2003.1210062"},{"issue":"4","key":"9_CR3","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., Plotkin, G.: 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."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Aucher, G., Barker, S., Boella, G., Genovese, V., van der Torre, L.: Dynamics in delegation and revocation schemes: a logical approach, technical report (2011), http:\/\/www.di.unito.it\/~genovese\/publications.html","DOI":"10.1007\/978-3-642-22348-8_9"},{"key":"9_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/11786849_6","volume-title":"Deontic Logic and Artificial Normative Systems","author":"G. Boella","year":"2006","unstructured":"Boella, G., van der Torre, L.W.N.: Delegation of power in normative multiagent systems. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol.\u00a04048, pp. 36\u201352. Springer, Heidelberg (2006)"},{"issue":"4","key":"9_CR6","first-page":"285","volume":"9","author":"D.E. Clarke","year":"2001","unstructured":"Clarke, D.E., Elien, J.-E., Ellison, C.M., Fredette, M., Morcos, A., Rivest, R.L.: Certificate chain discovery in SPKI\/SDSI. J. Comp. Sec.\u00a09(4), 285\u2013322 (2001)","journal-title":"J. Comp. Sec."},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-540-24747-0_22","volume-title":"Trust Management","author":"R. Demolombe","year":"2004","unstructured":"Demolombe, R.: Reasoning about trust: A formal logical framework. In: Jensen, C., Poslad, S., Dimitrakos, T. (eds.) iTrust 2004. LNCS, vol.\u00a02995, pp. 291\u2013303. Springer, Heidelberg (2004)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/3-540-45807-7_21","volume-title":"Security Protocols","author":"B.S. Firozabadi","year":"2002","unstructured":"Firozabadi, B.S., Sergot, M.J., Bandmann, O.L.: Using authority certificates to create management structures. In: Christianson, B., Crispo, B., Malcolm, J.A., Roe, M. (eds.) Security Protocols 2001. LNCS, vol.\u00a02467, pp. 134\u2013145. Springer, Heidelberg (2002)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Hagstr\u00f6m, \u00c5., Jajodia, S., Parisi-Presicce, F., Wijesekera, D.: Revocations-a classification. In: Procs. of CSFW-14, pp. 44\u201358 (2001)","DOI":"10.1109\/CSFW.2001.930135"},{"key":"9_CR10","unstructured":"Herzig, A., Troquard, N.: The dynamic logic of propositional control. In: Procs. of LIS@ESSLLI2010, pp. 107\u2013121 (2010)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/11766155_6","volume-title":"Emerging Trends in Information and Communication Security","author":"N. Kuntze","year":"2006","unstructured":"Kuntze, N., Schmidt, A.U.: Transitive trust in mobile scenarios. In: M\u00fcller, G. (ed.) ETRICS 2006. LNCS, vol.\u00a03995, pp. 73\u201385. Springer, Heidelberg (2006)"},{"key":"9_CR12","unstructured":"Li, N., Mitchell, J., Winsborough, W.: Design of a role-based trust-management framework. In: IEEE Symp. on Sec. and Privacy, pp. 114\u2013130 (2002)"},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.artint.2009.10.001","volume":"174","author":"T.J. Norman","year":"2010","unstructured":"Norman, T.J., Reed, C.: A logic of delegation. Artif. Intell.\u00a0174(1), 51\u201371 (2010)","journal-title":"Artif. Intell."},{"key":"9_CR14","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1613\/jair.2901","volume":"37","author":"W. Hoek van der","year":"2010","unstructured":"van der Hoek, W., Walther, D., Wooldridge, M.: Reasoning about the transfer of control. J. Artif. Intell. Res. (JAIR)\u00a037, 437\u2013477 (2010)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-02959-2_10","volume-title":"Automated Deduction \u2013 CADE-22","author":"C. Weidenbach","year":"2009","unstructured":"Weidenbach, C., Dimova, D., Fietzke, A., Kumar, R., Suda, M., Wischnewski, P.: SPASS version 3.5. In: Schmidt, R.A. (ed.) CADE-22. LNCS, vol.\u00a05663, pp. 140\u2013145. Springer, Heidelberg (2009)"},{"issue":"9","key":"9_CR16","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1080\/08839510050144877","volume":"14","author":"W. Wen","year":"2000","unstructured":"Wen, W., Mizoguchi, F.: An authorization-based trust model for multiagent systems. Applied Artif. Intell.\u00a014(9), 909\u2013925 (2000)","journal-title":"Applied Artif. Intell."}],"container-title":["Lecture Notes in Computer Science","Data and Applications Security and Privacy XXV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22348-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,20]],"date-time":"2020-06-20T22:56:36Z","timestamp":1592693796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22348-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223471","9783642223488"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22348-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}