Squeak-e April 2006

squeak-e@lists.squeakfoundation.org

1 participants
1 discussions

[Fwd: [e-lang] A dissertation on the rationale, philosophy, and goals of E and related systems]
by Mark S. Miller 16 Apr '06

16 Apr '06

-------- Original Message -------- Subject: [e-lang] A dissertation on the rationale, philosophy, and goals of E and related systems Date: Sat, 15 Apr 2006 20:06:30 -0700 From: Mark S. Miller <markm(a)cs.jhu.edu> Reply-To: Discussion of E and other capability languages <e-lang(a)mail.eros-os.org> To: Discussion of E and other capability languages <e-lang(a)mail.eros-os.org>, "General discussions concerning capability systems." <cap-talk(a)mail.eros-os.org>, oz-e(a)info.ucl.ac.be, Mozart <users(a)mozart-oz.org>, Squeak-E <squeak-e(a)lists.squeakfoundation.org>, Squeak-dev <squeak-dev(a)lists.squeakfoundation.org>, p2p-hackers(a)zgp.org, anti-fraud(a)lists.cacert.org, croquet(a)lists.wisc.edu, modules(a)discuss.squeakfoundation.org, hcisec(a)yahoogroups.com Apologies for the wide distribution, but elements of this dissertation are germane to each of these lists. Feedback appreciated, but please reply to me or on an appropriate list, rather than using "Reply all". The copyright notice is interim, until I figure out what open license I want on this. Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control When separately written programs are composed so that they may cooperate, they may instead destructively interfere in unanticipated ways. These hazards limit the scale and functionality of the software systems we can successfully compose. This dissertation presents a framework for enabling those interactions between components needed for the cooperation we intend, while minimizing the hazards of destructive interference. Great progress on the composition problem has been made within the object paradigm, chiefly in the context of sequential, single-machine programming among benign components. We show how to extend this success to support robust composition of concurrent and potentially malicious components distributed over potentially malicious machines. We present E, a distributed, persistent, secure programming language, and CapDesk, a virus-safe desktop built in E, as embodiments of the techniques we explain. My dissertation at Johns Hopkins University, found at http://www.erights.org/talks/thesis/index.html Advisor: Jonathan S. Shapiro. Readers: Scott Smith, Yair Amir. -- Cheers, --MarkM

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

Squeak-e April 2006