MIT CSAIL DIG

Accountable Systems

Face-to-Face Meeting

Agenda

http://dig.csail.mit.edu/2009/05/accountability-ftf-may2009.html

18-19 May 2009
Monday: 9:00am - 6pm in 32-G531
Tuesday: 9:00-2pm in 32-G449 (Kiva)


Conclusions from the last meeting are at the bottom of this document.

Logistics

Coordinates: IRC: irc.freenode.net#tami

Attendees Expected:

Previous meeting agenda

Monday 18 May - Agenda
9:30 - 9:45 Introduction & agenda review (Danny)
9:45 - 10:30 Overview of Ongoing Projects
10:30 - 11 Lightning Talks (5 minute talks with 5 minute questions)
11 - 11:15 Break
11 - 12:15 Lightning Talks (5 minute talks with 5 minute questions)
12:15 - 12:45 The Security of Provenance (Joe Pato)
12: 45 - 1:30 Lunch
1:30 - 1:45 New Version of Air and formal semantics (Ankesh, Ian, Lalana, and Li)
1:45 - 3:15 Propagators (Gerry & Ian)
3:15 - 3:30 break
3:30 - 4:15 Brainstorming large-scale accountable systems deployments targeted at propagators
4:15 - 4:30 topics for Tuesday agenda
4:30 - 5:30 boring administrative business (PIs only) (Jim, Joan, Danny, Gerry, Mike)
5:30 adjourn
7pm Dinner -- Kebab Factory

Tuesday 19 May - Agenda
9:00 - 9:45 IARPA PIR data, queries and policies.
9:45 - 10:00 tabulator versioning
10:00 - 11:00

FOAF propagator network (ie. for blog spam/comment protection) with some policy
-transitive assessment of rights: individual transfers don't violate policy but overall result is a violation

11 - 12 other topics
12:30 lunch
12:30 - 2 other topics
2:00 Adjourn

Project Responsibilities
Project Responsibility Target date Status
AIR Language Feature freeze and document (LK)

-without goal rules for now

12/2008 Released version end of Dec
AIR Language Evaluate and formalize (JH & LK) starting 1/2009 cleaning up AIR for next release
Reasoner freeze with built-ins (IJ) 12/2008 Released version end of Dec
Policy Assurance for PIR Lalana expected to start 1Q2009 ongoing work
Copyright accountability assessment on the Web Oshani 12/2008 done
DHS Fusion K 1/2009 ongoing work
Policy Aware Access control for DIG Web site and Tabulator build into WebDAV/SVN flow.

OpenID & FOAF as ID

rules in AIR/ (Tim)

looking for an M.Eng/UROP
policy aware access control for Tabulator with DIG site and 1-2 other sites Jim (following completion of DIG-only project)
Develop a project which generates real logs based on user activity Jim
Articulate public policy examples of working accountable systems Danny 12/2008
Theory of Accountable systems paper Joan (in the lead), Danny, Jim

-Joan will produce a first partial draft

12/2008

Future publication ideas


Maintained by Danny Weitzner
$Revision: 26170 $
$Date: 2009-05-19$