{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T03:57:53Z","timestamp":1781063873245,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642044434","type":"print"},{"value":"9783642044441","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04444-1_10","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T14:34:44Z","timestamp":1252938884000},"page":"152-167","source":"Crossref","is-referenced-by-count":37,"title":["Towards a Theory of Accountability and Audit"],"prefix":"10.1007","author":[{"given":"Radha","family":"Jagadeesan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alan","family":"Jeffrey","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Corin","family":"Pitcher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James","family":"Riely","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Abadi, M., Birrell, A., Wobber, T.: Access control in a world of software diversity. In: Proc. of the Tenth workshop on Hot Topics in Operating Systems (2005), \n                      \n                        http:\/\/www.usenix.org\/events\/hotos05\/"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T., Kupferman, O.: Alternating time temporal logic. Journal of ACM\u00a049, 672\u2013713 (2002)","journal-title":"Journal of ACM"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/3-540-45439-X_26","volume-title":"Information Security","author":"A. Anagnostopoulos","year":"2001","unstructured":"Anagnostopoulos, A., Goodrich, M.T., Tamassia, R.: Persistent authenticated dictionaries and their applications. In: Davida, G.I., Frankel, Y. (eds.) ISC 2001. LNCS, vol.\u00a02200, pp. 379\u2013393. Springer, Heidelberg (2001)"},{"key":"10_CR4","first-page":"339","volume-title":"SIGCOMM","author":"D.G. Andersen","year":"2008","unstructured":"Andersen, D.G., Balakrishnan, H., Feamster, N., Koponen, T., Moon, D., Shenker, S.: Accountable Internet Protocol (AIP). In: SIGCOMM, pp. 339\u2013350. ACM Press, New York (2008)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Argyraki, K., Maniatis, P., Irzak, O., Shenker, S.: An accountability interface for the Internet. In: Proceedings of the 14th IEEE International Conference on Network Protocols (2007)","DOI":"10.1109\/ICNP.2007.4375850"},{"key":"10_CR6","first-page":"279","volume-title":"CSF","author":"A. Barth","year":"2007","unstructured":"Barth, A., Mitchell, J.C., Datta, A., Sundaram, S.: Privacy and utility in business processes. In: CSF, pp. 279\u2013294. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"3","key":"10_CR7","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM\u00a031(3), 560\u2013599 (1984)","journal-title":"J. ACM"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Buldas, A., Laud, P., Lipmaa, H.: Accountable certificate management using undeniable attestations. In: ACM Conference on Computer and Communications Security, pp. 9\u201317 (2000)","DOI":"10.1145\/352600.352604"},{"key":"10_CR9","unstructured":"Calandrino, J.A., Halderman, J.A., Felten, E.W.: Machine-assisted election auditing. In: EVT 2007: Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology, p. 9. USENIX Association (2007)"},{"key":"10_CR10","first-page":"34","volume-title":"POLICY","author":"J.G. Cederquist","year":"2005","unstructured":"Cederquist, J.G., Corin, R., Dekker, M.A.C., Etalle, S., den Hartog, J.I.: An audit logic for accountability. In: POLICY, pp. 34\u201343. IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"2-3","key":"10_CR11","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s10207-007-0017-y","volume":"6","author":"J.G. Cederquist","year":"2007","unstructured":"Cederquist, J.G., Corin, R., Dekker, M.A.C., Etalle, S., den Hartog, J.I., Lenzini, G.: Audit-based compliance control. Int. J. Inf. Sec.\u00a06(2-3), 133\u2013151 (2007)","journal-title":"Int. J. Inf. Sec."},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-540-78739-6_17","volume-title":"Programming Languages and Systems","author":"A. Cirillo","year":"2008","unstructured":"Cirillo, A., Jagadeesan, R., Pitcher, C., Riely, J.: TAPIDO: Trust and authorization via provenance and integrity in distributed objects (extended abstract). In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 208\u2013223. Springer, Heidelberg (2008)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Eriks\u00e9n, S.: Designing for accountability. In: Proceedings of the second Nordic conference on Human-computer interaction, pp. 177\u2013186 (2002)","DOI":"10.1145\/572021.572041"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1266840.1266843","volume-title":"SACMAT","author":"S. Etalle","year":"2007","unstructured":"Etalle, S., Winsborough, W.H.: A posteriori compliance control. In: SACMAT, pp. 11\u201320. ACM, New York (2007)"},{"key":"10_CR15","unstructured":"Ferraiolo, D.F., Kuhn, D.R., Chandramouli, R.: Role-Based Access Control. Computer Security Series. Artech House (2003)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-540-31987-0_11","volume-title":"Programming Languages and Systems","author":"C. Fournet","year":"2005","unstructured":"Fournet, C., Gordon, A.D., Maffeis, S.: A type discipline for authorization policies. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 141\u2013156. Springer, Heidelberg (2005)"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-540-78739-6_29","volume-title":"Programming Languages and Systems","author":"C. Fournet","year":"2008","unstructured":"Fournet, C., Guts, N., Nardelli, F.Z.: A formal implementation of value commitment. In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 383\u2013397. Springer, Heidelberg (2008)"},{"key":"10_CR18","first-page":"213","volume-title":"CHI 1998: CHI 1998 conference summary on Human factors in computing systems","author":"B. Friedman","year":"1998","unstructured":"Friedman, B., Grudin, J.: Trust and accountability: preserving human values in interactional experience. In: CHI 1998: CHI 1998 conference summary on Human factors in computing systems, p. 213. ACM, New York (1998)"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/1294261.1294279","volume-title":"Proceedings of 21st ACM SIGOPS symposium on Operating systems principles","author":"A. Haeberlen","year":"2007","unstructured":"Haeberlen, A., Kouznetsov, P., Druschel, P.: PeerReview: practical accountability for distributed systems. In: Proceedings of 21st ACM SIGOPS symposium on Operating systems principles, pp. 175\u2013188. ACM, New York (2007)"},{"key":"10_CR20","unstructured":"Halpern, J.Y., Weissman, V.: Using first-order logic to reason about policies. In: CSFW, pp. 118\u2013130 (2003)"},{"issue":"2","key":"10_CR21","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M. Hennessy","year":"1995","unstructured":"Hennessy, M., Regan, T.: A process algebra for timed systems. Inf. Comput.\u00a0117(2), 221\u2013239 (1995)","journal-title":"Inf. Comput."},{"issue":"6","key":"10_CR22","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/MC.2004.17","volume":"37","author":"B.W. Lampson","year":"2004","unstructured":"Lampson, B.W.: Computer security in the real world. IEEE Computer\u00a037(6), 37\u201346 (2004)","journal-title":"IEEE Computer"},{"key":"10_CR23","first-page":"201","volume-title":"DISCEX (1)","author":"N. Li","year":"2003","unstructured":"Li, N., Mitchell, J.C.: A role-based trust-management framework. In: DISCEX (1), p. 201. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","first-page":"187","volume-title":"CONCUR 2003 - Concurrency Theory","author":"N.A. Lynch","year":"2003","unstructured":"Lynch, N.A.: Input\/output automata: Basic, timed, hybrid, probabilistic, dynamic,.. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 187\u2013188. Springer, Heidelberg (2003)"},{"key":"10_CR25","unstructured":"Maniatis, P., Baker, M.: Secure history preservation through timeline entanglement. In: USENIX Security Symposium, pp. 297\u2013312. USENIX (2002)"},{"issue":"1","key":"10_CR26","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"F.B. Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. Information and System Security\u00a03(1), 30\u201350 (2000)","journal-title":"Information and System Security"},{"key":"10_CR27","first-page":"177","volume-title":"CSF","author":"J.A. Vaughan","year":"2008","unstructured":"Vaughan, J.A., Jia, L., Mazurak, K., Zdancewic, S.: Evidence-based audit. In: CSF, pp. 177\u2013191. IEEE Computer Society, Los Alamitos (2008)"},{"key":"10_CR28","unstructured":"Weitzner, D.J., Abelson, H., Berners-Lee, T., Feigenbaum, J., Hendler, J., Sussman, G.J.: Information accountability. Technical Report MIT-CSAIL-TR-2007-034, MIT (June 2007), \n                      \n                        http:\/\/hdl.handle.net\/1721.1\/37600"},{"key":"10_CR29","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/1133572.1133585","volume-title":"EW11: Proceedings of the 11th workshop on ACM SIGOPS European workshop","author":"A.R. Yumerefendi","year":"2004","unstructured":"Yumerefendi, A.R., Chase, J.S.: Trust but verify: accountability for network services. In: EW11: Proceedings of the 11th workshop on ACM SIGOPS European workshop, p. 37. ACM, New York (2004)"},{"issue":"3","key":"10_CR30","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1288783.1288786","volume":"3","author":"A.R. Yumerefendi","year":"2007","unstructured":"Yumerefendi, A.R., Chase, J.S.: Strong accountability for network storage. Trans. Storage\u00a03(3), 11 (2007)","journal-title":"Trans. Storage"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2009"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04444-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T20:17:18Z","timestamp":1559506638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04444-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044434","9783642044441"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04444-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}