[Pl-seminar] Semantics Seminar Schedule

[Mitchell Wand]

NU Programming Languages Seminar
Monday, November 19, 2007, 10:30am-11:30am   
Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)

**NOTE NON-STANDARD DAY AND TIME**

Radha Jagadeesan 
DePaul University

Trust and Authorization via Provenance and Integrity in Distributed Objects
 
Existing web services, portlets, and mashups can be viewed as
collaborative distributed systems built by assembling components from
multiple independent applications. These examples motivate the study
of methods to facilitate service composition and content aggregation.
>From a security standpoint, such composition and aggregation involves
subtle combinations of authentication, authorization, delegation,
trust, and labeling.  It has been said that An application can be
mashup-friendly or it can be secure, but it cannot be both. We
disagree.
 
We describe a calculus of distributed objects and a type-and-effect
system to to achieve both security and flexibility aims.
 
This is joint work with Andy Cirillo, James Riely and Corin Pitcher.


Upcoming Events:

# 11/21 Thanksgiving; no meeting
# 11/28 Ryan Newton: Language Support for Distributed Stream Processing
# 12/05 Riccardo Pucella: The Manticore project
# 01/16 et seq are open. Volunteer!

--Mitch