Contact Information

Computer Science Department
Colgate University
McGregory Hall, 3rd Floor
13 Oak Drive
Hamilton, NY 13346
(tel) 315.228.7719
Charlotte Jablonski, Administrative Assistant
cjablonski@colgate.edu

Event Detail

Department Tea: Aaron D. Jaggard

Start: Tuesday, October 25, 2011, 11:20 a.m.
End: Tuesday, October 25, 2011, noon
Location: Department Lounge

Title: Towards a Formal Model of Accountability

Abstract: Preventive security is not always appropriate or possible, but it can be complemented by deterrence. Related to deterrence is the idea of "accountability," although this term is often used in ill-defined and conflicting ways. We focus on on accountability as a mechanism for ensuring security in information systems. Towards that end, we present a formal definition of accountability in information systems. Our definition is more general and potentially more widely applicable than the accountability notions that have previously appeared in the security literature. In particular, we treat in a unified manner scenarios in which accountability is enforced automatically and those in which enforcement must be mediated by an authority; similarly, our formalism includes scenarios in which the parties who are held accountable can remain anonymous and those in which they must be identified by the authorities to whom they are accountable. Essential elements of our formalism include event traces and utility functions and the use of these to define punishment and related notions. (Joint work with Joan Feigenbaum [Yale] and Rebecca Wright [DIMACS/Rutgers])