[NRG] Reminder: NRG Meeting: Policy Analysis (Kathi Fisler) @ Mon Apr 29, 2013 11am - 12pm (NRG Calendar)

Google Calendar calendar-notification at google.com
Sun Apr 28 10:59:51 EDT 2013

This is a reminder for:

Title: NRG Meeting: Policy Analysis (Kathi Fisler)
Title: Policy Analysis

Presenter: Professor Kathi Fisler
CS Department, Worcester Polytechnic Institute

Access-control policies play a central role in controlling the
dissemination of sensitive data in various domains, including
healthcare, finance, and social networks.  They represent an important
but not isolated example of policies or rules that govern the behavior
of programs or systems.  Developers increasingly separate these
policies from the rest of their programs into separate modules written
in domain-specific, declarative policy languages.  This separation of
the policy from the rest of the program affords interesting
opportunities for formal analysis.  It is, however, unclear that the
straightforward application of verification is appropriate or useful.
We will discuss these issues, as well as concrete tools and results
we've produced and lessons we've learned.

Joint work with Shriram Krishnamurthi (Brown) and Dan Dougherty (WPI).

Host: Azer Bestavros and Assaf Kfoury

Short Bio:
Kathi Fisler has been on the faculty at WPI since 2000.  Over time,
her research has explored various problems at the intersection of
formal logic and human reasoning, including logics of diagrams,
feature-oriented software engineering, policy authoring, and computing
education.  She currently directs WPI's academic Cybersecurity
program.  She also co-directs Bootstrap, an outreach program that
teaches computing to pre-college students in a way that reinforces
national math standards in algebra.
When: Mon Apr 29, 2013 11am – 12pm Eastern Time
Where: MCS-148, 111 Cummington Mall, Boston, MA 02215
Calendar: NRG Calendar
     * larissaspinelli at gmail.com - creator

Event details:  

Invitation from Google Calendar: https://www.google.com/calendar/

You are receiving this email at the account nrg-l at cs.bu.edu because you are  
subscribed for reminders on calendar NRG Calendar.

To stop receiving these notifications, please log in to  
https://www.google.com/calendar/ and change your notification settings for  
this calendar.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs-mailman.bu.edu/pipermail/nrg-l/attachments/20130428/080775f2/attachment.html>

More information about the NRG-L mailing list