Documentation

From Erights

(Difference between revisions)
Jump to: navigation, search
(Talks and Presentations)
(Books and Theses)
Line 3: Line 3:
[http://www.evoluware.eu/fsp_thesis.pdf Patterns of Safe Collaboration]
[http://www.evoluware.eu/fsp_thesis.pdf Patterns of Safe Collaboration]
-
[http://gonzo.uni-weimar.de/~scheffl2/Diploma_MScheffler.pdf Object-Capability Security in Virtual Environments]
+
[http://mscheffler.files.wordpress.com/2008/07/diploma_mscheffler.pdf Object-Capability Security in Virtual Environments]
[[Image:Ewalnut-pink.gif]]
[[Image:Ewalnut-pink.gif]]

Revision as of 14:43, 24 August 2008

Contents

Books and Theses

Patterns of Safe Collaboration

Object-Capability Security in Virtual Environments

Image:Ewalnut-pink.gif E in a Walnut - This is a basic tutorial on the E language covering basic, distributed, and secure distributed programming.

Robust Composition - Towards a Unified Approach to Access Control and Concurrency Control. This is Mark Miller's PhD disseration, and it explains the rationale, philosophy, and goals of E and related systems.

Safe Serialization Under Mutual Suspicion (Wiki conversion in progress)

Tutorials

Tutorials - several short tutorials showing how to use E.

Quick Reference Card - Reminders of some useful patterns.

FAQ

E Under Eclipse

Papers

Capability-based Financial Instruments "An Ode to the Granovetter Diagram" - diagramming communication relationships.

Paradigm Regained: Abstraction Mechanisms for Access Control by Mark S. Miller and Jonathan S. Shapiro.

Concurrency Among Strangers: Programming in E as Plan Coordination - by Mark S. Miller, E. Dean Tribble, Jonathan Shapiro. Explains E's concurrency control & distributed computing model.

Authority Analysis for Least Privilege Environments by Toby Murray and Gavin Lowe.

Causeway: A message-oriented distributed debugger by Terry Stanley, E. Dean Tribble, and Mark S. Miller.

Talks and Presentations

Secure Collaboration - How Web Applications can Share and Still Be Paranoid by Mike Samuel

Tradeoffs in Retrofitting Security: An Experience Report by Mark Miller

Google TechTalk: Caja by Mike Samuel

The Lively Kernel by Dan Ingalls

Object-Capabilities for Security by David Wagner (slides from an earlier version of this talk)

Gears and the Mashup Problem by Douglas Crockford

Desktops to Donuts: Object-Caps Across Scales by Marc Stiegler

Core Patterns for Web Permissions by Tyler Close

Paradigm Regained: Abstraction Mechanisms for Access Control by Mark Miller

The Virus Safe Computing Initiative at HP Labs by Alan Karp

Personal tools
more tools