[NRG] Reminder: NRG Meeting: Policy Analysis (Kathi Fisler) @ Mon Apr 29, 2013 11am - 12pm (NRG Calendar)
calendar-notification at google.com
Wed Apr 24 11:00:02 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
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
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the NRG-L