{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:39:12Z","timestamp":1774946352896,"version":"3.50.1"},"publisher-location":"Boston, MA","reference-count":12,"publisher":"Springer US","isbn-type":[{"value":"9780387240503","type":"print"},{"value":"9780387240985","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/0-387-24098-5_14","type":"book-chapter","created":{"date-parts":[[2005,10,3]],"date-time":"2005-10-03T17:34:04Z","timestamp":1128360844000},"page":"187-201","source":"Crossref","is-referenced-by-count":15,"title":["A Logic for Auditing Accountability in Decentralized Systems"],"prefix":"10.1007","author":[{"given":"R.","family":"Corin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Etalle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"den Hartog","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Lenzini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Staicu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi. Logic in access control. 18th IEEE Symposium on Logic in Computer Science, June 2003.","DOI":"10.1109\/LICS.2003.1210062"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"A. W. Appel and E. W. Felten. Proof-carrying authentication. Proceedings of the 6th ACM Conference on Computer and Communications Security, pages 52\u201362, November 1999.","DOI":"10.1145\/319709.319718"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"P. Ashley, S. Hada, G. Karjoth, and M. Schunter. E-p3p privacy policies and privacy authorization. Proceeding of the ACM workshop on Privacy in the Electronic Society, 2002.","DOI":"10.1145\/644527.644538"},{"key":"14_CR4","unstructured":"P. Ashley, S. Hada, C. Powers, and M. Schunter. Enterprise privacy authorization language (EPAL). Research Report 3485, IBM Research, 2003."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"M. Blaze, J. Feigenbaum, and A. D. Keromytis. The role of trust management in distributed systems security. Secure Internet Programming, Security Issues for Mobile and Distributed Objects, pages 185\u2013210, 1999.","DOI":"10.1007\/3-540-48749-2_8"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"B. N. Chun and A. C. Bavier. Decentralized trust management and account-ability in federated systems. 37th Hawaii International Conference on System Sciences, January 2004.","DOI":"10.1109\/HICSS.2004.1265656"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"J. DeTreville. Binder, a logic-based security language. IEEE Symposium on Security and Privacy, pages 105\u2013113, May 2002.","DOI":"10.1109\/SECPRI.2002.1004365"},{"key":"14_CR8","unstructured":"C. A. Gunter, M. J. May, and S. G. Stubblebine. A formal privacy system and its application to location based services. In Proc. of the 4th Workshop on Privacy Enhancing Technologies (PET 2004), LNCS, Toronto, Canada, 26\u201328 May 2004. Springer-Verlag."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"G. Karjoth, M. Schunter, and M. Waidner. Platform for enterprise privacy practices: Privacy-enabled management of customer data. Privacy Enhancing Technologies, 2002.","DOI":"10.1007\/3-540-36467-6_6"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"B. W. Lampson. Protection. In Proc. Fifth Princeton Symposium on Information Sciences and Systems, pages 437\u2013443, March 1971. Reprinted in Operating Systems Review, 8,1, January 1974, pp. 18\u201324.","DOI":"10.1145\/775265.775268"},{"key":"14_CR11","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-45608-2_3","volume":"2171","author":"P. Samarati","year":"2001","unstructured":"P. Samarati and S. De Capitani di Vimercati. Access control: policies, models, and mechanisms. Foundations of Security Analysis and Design, LNCS, 2171:137\u2013196, 2001.","journal-title":"Foundations of Security Analysis and Design"},{"key":"14_CR12","unstructured":"R. S. Sandhu and P. Samarati. Authentication, access control, and intrusion detection. The Computer Science and Engineering Handbook, pages 1929\u20131948, 1997."}],"container-title":["IFIP International Federation for Information Processing","Formal Aspects in Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-24098-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T00:56:47Z","timestamp":1586480207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-24098-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9780387240503","9780387240985"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/0-387-24098-5_14","relation":{},"ISSN":["1571-5736"],"issn-type":[{"value":"1571-5736","type":"print"}],"subject":[],"published":{"date-parts":[[2005]]}}}