Program Actions as Actual Causes: A Building Block for Accountability

Proceedings of the Computer Security Foundations Workshop

Volumn 2015-September, Issue , 2015, Pages 261-275

  Datta, Anupam ^a   Garg, Deepak ^b   Kaynar, Dilsun ^a   Sharma, Divya ^a   Sinha, Arunesh ^c  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b MAX PLANCK INSTITUTE FOR SOFTWARE SYSTEMS   (Germany)

^c UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

Author keywords

Accountability; Audit; Causation; Security Protocols

Indexed keywords

CRYPTOGRAPHY; INTELLIGENT AGENTS; NETWORK SECURITY; SECURITY OF DATA; SECURITY SYSTEMS;

ACCOUNTABILITY; AUDIT; CAUSATION; ELECTRONIC VOTING; PROGRAM MODELING; SECURE MULTI-PARTY COMPUTATION; SECURITY PROPERTIES; SECURITY PROTOCOLS;

APPLICATION PROGRAMS;

EID: 84961383360     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSF.2015.25     Document Type: Conference Paper

References (47)

1. C. Kaufman, R. Perlman, and M. Speciner, Network security: private communication in a public world. Upper Saddle River, NJ, USA: Prentice-Hall, Inc., 1995.
2. R. L. Rivest and W. D. Smith, "Three voting protocols: Threeballot, vav, and twin," in Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology, ser. EVT'07. Berkeley, CA, USA: USENIX Association, 2007, pp. 16-16.
3. D. C. Parkes, M. O. Rabin, S. M. Shieber, and C. Thorpe, "Practical secrecy-preserving, verifiably correct and trustworthy auctions," Electron. Commer. Rec. Appl., vol. 7, no. 3, pp. 294-312, Nov. 2008.
4. O. Goldreich, S. Micali, and A. Wigderson, "How to play any mental game," in Proceedings of the nineteenth annual ACM symposium on Theory of computing, ser. STOC '87. New York, NY, USA: ACM, 1987, pp. 218-229.
5. H. Nissenbaum, "Accountability in a computerized society," Science and Engineering Ethics, vol. 2, no. 1, pp. 25-42, 1996.
6. B. Lampson, "Computer security in the real world," Computer, vol. 37, no. 6, pp. 37-46, june 2004.
7. M. Backes, A. Datta, A. Derek, J. C. Mitchell, and M. Turuani, "Compositional analysis of contract-signing protocols," Theor. Comput. Sci., vol. 367, no. 1-2, pp. 33-56, 2006.
8. A. Haeberlen, P. Kouznetsov, and P. Druschel, "Peerreview: practical accountability for distributed systems," in SOSP, 2007, pp. 175-188.
9. D. J. Weitzner, H. Abelson, T. Berners-Lee, J. Feigenbaum, J. Hendler, and G. J. Sussman, "Information accountability," Commun. ACM, vol. 51, no. 6, pp. 82-87, Jun. 2008.
10. R. Jagadeesan, A. Jeffrey, C. Pitcher, and J. Riely, "Towards a theory of accountability and audit," in ESORICS, 2009, pp. 152-167.
11. R. Küsters, T. Truderung, and A. Vogt, "Accountabiliy: Definition and Relationship to Verifiability," in Proceedings of the 17th ACM Conference on Computer and Communications Security (CCS 2010). ACM Press, 2010, pp. 526-535.
12. C. Ellison, "Ceremony design and analysis." [Online]. Available: http://eprint.iacr.org/2007/399.pdf
13. J. Y. Halpern and J. Pearl, "Causes and explanations: a structural-model approach: part i: causes," in Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence, ser. UAI'01. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc., 2001, pp. 194-202.
14. -, "Causes and explanations: A structural-model approach. part i: Causes," British Journal for the Philosophy of Science, vol. 56, no. 4, pp. 843-887, 2005.
15. J. Pearl, Causality: models, reasoning, and inference. New York, NY, USA: Cambridge University Press, 2000.
16. D. Hume, "An Enquiry Concerning Human Understanding," Reprinted Open Court Press, LaSalle, IL, 1958, 1748.
17. D. Lewis, "Causation," Journal of Philosophy, vol. 70, no. 17, pp. 556-567, 1973.
18. J. Collins, N. Hall, and L. A. Paul, Causation and Counterfactuals. MIT Press, 2004.
19. J. L. Mackie, "Causes and Conditions," American Philosophical Quarterly, vol. 2, no. 4, pp. 245-264, 1965.
20. R. Wright, "Causation in tort law," California Law Review 73, pp. 1735-1828, 1985.
21. J. Gatins, "Flight," 2012. [Online]. Available: http://www.imdb.com/title/tt1907668/
22. J. Y. Halpern, "Defaults and Normality in Causal Structures," Artificial Intelligence, vol. 30, pp. 198-208, 2008. [Online]. Available: http://arxiv.org/abs/0806.2140
23. J. Feigenbaum, A. D. Jaggard, and R. N. Wright, "Towards a formal model of accountability," in Proceedings of the 2011 workshop on New security paradigms workshop, ser. NSPW '11. New York, NY, USA: ACM, 2011, pp. 45-56.
24. J. Feigenbaum, J. A. Hendler, A. D. Jaggard, D. J. Weitzner, and R. N. Wright, "Accountability and deterrence in online life," in Proceedings of the 3rd International Web Science Conference, ser. WebSci '11. NY, USA: ACM, 2011, pp. 7:1-7:7.
25. D. Wendlandt, D. G. Andersen, and A. Perrig, "Perspectives: improving ssh-style host authentication with multipath probing," in USENIX 2008 Annual Technical Conference on Annual Technical Conference. CA, USA: USENIX Association, 2008.
26. E. G. on Tort Law, Principles of European Tort Law: Text and Commentary. Springer, 2005. [Online]. Available: http://books.google.com/books?id=3Najct7xGuAC
27. L. Lamport, "Ti clocks, and the ordering of events in a distributed system," Commun. ACM, vol. 21, pp. 558-565, July 1978.
28. -, "Proving the correctness of multiprocess programs," IEEE Transactions on Software Engineering, vol. 3, no. 2, pp. 125-143, 1977.
29. B. Alpern and F. B. Schneider, "Defining liveness," Information Processing Letters, vol. 21, pp. 181-185, 1985.
30. W. Rafnsson, D. Hedin, and A. Sabelfeld, "Securing interactive programs," in Proceedings of the 2012 IEEE 25th Computer Security Foundations Symposium, ser. CSF '12. Washington, DC, USA: IEEE Computer Society, 2012, pp. 293-307. [Online]. Available: http://dx.doi.org/10.1109/CSF. 2012.15
31. J. Feinberg, "Ethical issues in the use of computers," D. G. Johnson and J. W. Snapper, Eds. Belmont, CA, USA: Wadsworth Publ. Co., 1985, ch. Sua Culpa, pp. 102-120. [Online]. Available: http://dl.acm.org/citation.cfm?id=2569. 2675
32. A. Datta, D. Garg, D. Kaynar, D. Sharma, and A. Sinha, "Program actions as actual causes: A building block for accountability," CoRR, vol. abs/1505.01131, 2015. [Online]. Available: http://arxiv.org/abs/1505.01131
33. J. Y. Halpern and J. Pearl, "Causes and explanations: A structural-model approach. part ii: Explanations," The British Journal for the Philosophy of Science, vol. 56, no. 4, pp. 889-911, 2005.
34. J. Woodward, Making things happen: A theory of causal explanation. Oxford University Press, 2003.
35. I. Beer, S. Ben-David, H. Chockler, A. Orni, and R. Trefler, "Explaining counterexamples using causality," in Proceedings of the 21st International Conference on Computer Aided Verification, ser. CAV '09. Berlin, Heidelberg: Springer-Verlag, 2009, pp. 94-108. [Online]. Available: http://dx.doi.org/10.1007/978-3-642-02658-4 11
36. H. Chockler, J. Y. Halpern, and O. Kupferman, "What causes a system to satisfy a specification?" ACM Trans. Comput. Logic, vol. 9, pp. 20:1-20:26, June 2008. [Online]. Available: http://doi.acm.org/10.1145/1352582.1352588
37. A. Groce, S. Chaki, D. Kroening, and O. Strichman, "Error explanation with distance metrics," International Journal on Software Tools for Technology Transfer, vol. 8, no. 3, pp. 229-247, 2006.
38. T. Ball, M. Naik, and S. K. Rajamani, "From symptom to cause: Localizing errors in counterexample traces," in Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ser. POPL '03. New York, NY, USA: ACM, 2003, pp. 97-105. [Online]. Available: http://doi.acm.org/10.1145/604131.604140
39. K. Shaver, The attribution of blame: Causality, responsibility, and blameworthiness. Springer Science & Business Media, 2012.
40. M. D. Alicke, "Culpable control and the psychology of blame." Psychological bulletin, vol. 126, no. 4, p. 556, 2000.
41. L. Kenner, "On blaming," Mind, pp. 238-249, 1967.
42. D. A. Lagnado and S. Channon, "Judgments of cause and blame: The effects of intentionality and foreseeability," Cognition, vol. 108, no. 3, pp. 754-770, 2008.
43. A. Barth, J. C. Mitchell, A. Datta, and S. Sundaram, "Privacy and utility in business processes," in CSF, 2007, pp. 279-294.
44. G. Gössler, D. Le Métayer, and J.-B. Raclet, "Causality analysis in contract violation," in Proceedings of the First International Conference on Runtime Verification, ser. RV'10. Berlin, Heidelberg: Springer-Verlag, 2010, pp. 270-284.
45. S. Wang, A. Ayoub, R. Ivanov, O. Sokolsky, and I. Lee, "Contract-based blame assignment by trace analysis," in Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems. NY, USA: ACM, 2013.
46. G. Gössler and D. L. Métayer, "A general trace-based framework of logical causality," in Formal Aspects of Component Software - 10th International Symposium, FACS 2013, 2013, pp. 157-173. [Online]. Available: http://dx.doi.org/10.1007/978-3-319-07602-7 11
47. G. Gössler and L. As, tefənoaei, "Blaming in componentbased real-time systems," in Proceedings of the 14th International Conference on Embedded Software, ser. EMSOFT '14. ACM, 2014, pp. 7:1-7:10. [Online]. Available: http://doi.acm.org/10.1145/2656045.2656048