MIT CSAIL

Theory and Practice of Accountable Systems

Overview

This NSF funded project on the Theory and Practice of Accountable Systems (TPAS) investigates computational and social properties of information networks necessary to provide reliable assessments of compliance with rules and policies governing the use of information. In past research, we have demonstrated that achieving basic social policy goals in open information networks will require increased reliance on information accountability through after-the-fact detection of rule violations. This approach stands in contrast to the traditional mechanisms of policy compliance in network environments that rely on security technology to enforce rules by denial of access to resources at risk of abuse. So, access-based systems must be supplemented with accountability-based systems. To ensure that accountable systems can provide a stable, reliable, trustworthy basis on which to ground social policy arrangements in the future, it is necessary: (i) to research practical engineering approaches to designing these systems at scale, and (ii) to develop a theory of the operating dynamics of accountable systems in order to establish what types of accountability assessments can be made, when those assertions are reliable, and what vulnerabilities accountable systems may have to attack, intrusion and manipulation.

Status

Research on the development on accountable systems architecture comprises six primary areas of investigation:

  • Testing the expressivity of the AIR policy language against a wide range of real-world legal scenarios, and extending the scalability and robustness of existing infrastructure to support larger and more distributed systems.
    • Develop scenarios to test AIR expressivity and scalability
    • SPARQL based implementation of Distributed Truth Maintenance System (TMS) system
    • The Propagator project, aimed at enabling distributed reasoning, is developing a programming model built on the idea that the basic computational elements are autonomous machines interconnected by shared cells through which they communicate.
  • Providing an intuitive and relatively easy interface for policy authoring of AIR policies
  • Access control
    • Verify expressivity of AIR for rules-based access control policies. Initial formalization of AIR.
    • Integrate AIR reasoner into Apache server module to provide control over Web resources. Two projects: (i) TAAC project develops access control functionality on top of existing accountability system design using FOAF+SSL for decentralized authentication and AIR for access control (ii) RDF-based access control project develops an Apache module that provides single sign-on via FOAF+SSL while maintaining a fully decentralized architecture in which identities, data storage, and applications can all be independent and managed by different sites
  • Developing formal models of the behavior of accountable systems to test various designs and provide insight into their overall capability for supporting information accountability.
  • Implementing a testbed to conduct evaluations of the impact of accountable systems in various social and political contexts
    • Develop accountability and policy-aware applications for Facebook and/or open social networks. RespectMyPrivacy project is aimed at supporting information accountability in social networks by allowing users to clearly declare the policies that govern the use of their private data, implementing mechanisms that make people who use this data aware of the policies, and notifying the user of misuse of this data.
    • Perform experimental validation, using ethnographic techniques, of accountability.
  • Proposing a jurisprudence of information accountability as a guide to policy makers seeking to address public policy needs in new, open information environments
    • Develop public policy models to encourage and take advantage of accountable systems

Team

Proposal CNS-0831442 “CT-M: Theory and Practice of Accountable Systems” is funded by NSF and the team is lead by MIT with RPI as a subcontractor.

References



Valid XHTML 1.0!
maintained by Lalana Kagal
$Revision: 26757 $
$Date: 2009-07-19 17:55:47 -0400 (Sun, 19 Jul 2009) $