Documentation

From Erights

(Difference between revisions)
Jump to: navigation, search
m (Reverted edits by LetozEltro (Talk); changed back to last version by Zarutian)
(Links to relevant Google Techtalks)
Line 31: Line 31:
== Talks and Presentations ==
== Talks and Presentations ==
 +
 +
[http://www.youtube.com/watch?v=gGw09RZjQf8 The Lively Kernel] by Dan Ingalls
 +
 +
[http://www.youtube.com/watch?v=EGX2I31OhBE Object-Capabilities for Security] by David Wagner
 +
 +
[http://www.youtube.com/watch?v=V13wmj88Zx8 Gears and the Mashup Problem] by Douglas Crockford
 +
 +
[http://www.youtube.com/watch?v=vrbmMPlCp3U Desktops to Donuts: Object-Caps Across Scales] by Marc Stiegler
 +
 +
[http://www.youtube.com/watch?v=8aedCggam4s Core Patterns for Web Permissions] by Tyler Close
 +
 +
[http://www.youtube.com/watch?v=oE3x_gM3YFU Paradigm Regained: Abstraction Mechanisms for Access Control] by Mark Miller
 +
 +
[http://www.youtube.com/watch?v=UH66YrzT-_M The Virus Safe Computing Initiative at HP Labs] by Alan Karp

Revision as of 06:43, 27 January 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

Papers

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

Paradigm Regained: Abstraction Mechanisms for Access Control

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.

Talks and Presentations

The Lively Kernel by Dan Ingalls

Object-Capabilities for Security by David Wagner

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