[PRL] reminder: Policy Analysis, an Application of Programming Language Technology

[Matthias Felleisen]

Today's NUPRL Colloquium: 


---------------------------------------------------------------------

Policy Analysis, an Application of Programming Language Technology

                     Shriram Krishnamurthi
                        Brown University

Access-control policies control data dissemination in domains from
health-care to social networks.  Similar policies also govern various
aspects of firewalls and routers.

The subtle nature of these policies suggests this is a natural domain
to apply formal methods, while the separate authoring of policies in
domain-specific languages affords opportunities for powerful analysis.
It is, however, unclear that the straightforward application of
verification is appropriate or useful.  The talk will describe our
work on useful forms of input and output, the concrete tools we've
produced, and our increasing use of human cognitive aspects to drive
our next generation of research in this area.

---------------------------------------------------------------------

Time: 11:45am,  Place: WVH 366