Wed 2 Nov 2016 13:30 - 13:55 at Matterhorn 1 - Language Design and Programming Models I Chair(s): Roberto Ierusalimschy
Existing programming language access control frameworks do not meet the needs of all software components. We propose an expressive framework for implementing access control monitors for components. The basis of the framework is a novel concept: the authority environment. An authority environment associates rights with an execution context. The building blocks of access control monitors in our framework are authorization contracts: software contracts that manage authority environments. We demonstrate the expressiveness of our framework by implementing a diverse set of existing access control mechanisms and writing custom access control monitors for three realistic case studies.
Wed 2 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 2 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:10 | Language Design and Programming Models IOOPSLA at Matterhorn 1 Chair(s): Roberto Ierusalimschy PUC-Rio | ||
13:30 25mTalk | Extensible Access Control with Authorization Contracts OOPSLA Scott Moore Harvard University, Christos Dimoulas Harvard University, Robert Bruce Findler Northwestern University, Matthew Flatt University of Utah, Stephen Chong Harvard University DOI | ||
13:55 25mTalk | Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect OOPSLA Leo Osvald , Gregory Essertel , Xilun Wu Purdue University, Lilliam I Gonzalez Alayon Purdue University, Tiark Rompf Purdue University, USA DOI | ||
14:20 25mTalk | Incremental Forest: A DSL for Efficiently Managing Filestores OOPSLA Jonathan DiLorenzo Cornell University, Richard Zhang University of Pennsylvania, Erin Menzies , Kathleen Fisher Tufts University, Nate Foster Cornell University DOI | ||
14:45 25mTalk | LaCasa: Lightweight Affinity and Object Capabilities in Scala OOPSLA DOI Pre-print | ||