http://wiki.erights.org/mediawiki/index.php?title=Special:Contributions&feed=atom&target=88.70.6.119Erights - User contributions [en]2024-03-29T10:16:10ZFrom ErightsMediaWiki 1.15.5-7http://wiki.erights.org/wiki/DocumentationDocumentation2008-08-24T14:43:35Z<p>88.70.6.119: /* Books and Theses */</p>
<hr />
<div>== Books and Theses ==<br />
<br />
[http://www.evoluware.eu/fsp_thesis.pdf Patterns of Safe Collaboration]<br />
<br />
[http://mscheffler.files.wordpress.com/2008/07/diploma_mscheffler.pdf Object-Capability Security in Virtual Environments]<br />
<br />
[[Image:Ewalnut-pink.gif]]<br />
[[Walnut|'''''E''''' in a Walnut]] - This is a basic tutorial on the '''''E''''' language covering basic, distributed, and secure distributed programming.<br />
<br />
[http://www.erights.org/talks/thesis/index.html Robust Composition] - Towards a Unified Approach to Access Control and Concurrency Control. This is [[User:MarkM|Mark Miller]]'s PhD disseration, and it explains the rationale, philosophy, and goals of '''''E''''' and related systems.<br />
<br />
[[Safe Serialization Under Mutual Suspicion]] (Wiki conversion in progress)<br />
<br />
== Tutorials ==<br />
<br />
[http://www.erights.org/elang/intro/index.html Tutorials] - several short tutorials showing how to use '''''E'''''.<br />
<br />
[http://www.erights.org/elang/quick-ref.html Quick Reference Card] - Reminders of some useful patterns.<br />
<br />
[[FAQ]]<br />
<br />
[[E Under Eclipse]]<br />
<br />
== Papers ==<br />
<br />
[http://www.erights.org/elib/capability/ode/index.html Capability-based Financial Instruments] "An Ode to the [[wikipedia:Mark Granovetter|Granovetter]] Diagram" - diagramming communication relationships.<br />
<br />
[http://www.hpl.hp.com/techreports/2003/HPL-2003-222.html Paradigm Regained: Abstraction Mechanisms for Access Control] by Mark S. Miller and Jonathan S. Shapiro.<br />
<br />
[http://www.erights.org/talks/promises/paper/tgc05.pdf 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.<br />
<br />
[http://web.comlab.ox.ac.uk/oucl/work/toby.murray/papers/AALPE.pdf Authority Analysis for Least Privilege Environments] by Toby Murray and Gavin Lowe.<br />
<br />
[http://www.erights.org/elang/tools/causeway/causeway-paper.pdf Causeway: A message-oriented distributed debugger] by Terry Stanley, E. Dean Tribble, and Mark S. Miller.<br />
<br />
== Talks and Presentations ==<br />
[http://sites.google.com/site/io/secure-collaboration---how-web-applications-can-share-and-still-be-paranoid Secure Collaboration - How Web Applications can Share and Still Be Paranoid] by Mike Samuel<br />
<br />
[http://prog.vub.ac.be/doku.php?id=se_seminar_290408#tradeoffs_in_retrofitting_securityan_experience_report Tradeoffs in Retrofitting Security: An Experience Report] by Mark Miller<br />
<br />
[http://youtube.com/watch?v=apVt7vhBqj0 Google TechTalk: Caja] by Mike Samuel<br />
<br />
[http://www.youtube.com/watch?v=gGw09RZjQf8 The Lively Kernel] by Dan Ingalls<br />
<br />
[http://www.youtube.com/watch?v=EGX2I31OhBE Object-Capabilities for Security] by David Wagner<br />
([http://www.cs.berkeley.edu/~daw/talks/TRUST07.pdf slides from an earlier version of this talk])<br />
<br />
[http://www.youtube.com/watch?v=V13wmj88Zx8 Gears and the Mashup Problem] by Douglas Crockford<br />
<br />
[http://www.youtube.com/watch?v=vrbmMPlCp3U Desktops to Donuts: Object-Caps Across Scales] by Marc Stiegler<br />
<br />
[http://www.youtube.com/watch?v=8aedCggam4s Core Patterns for Web Permissions] by Tyler Close<br />
<br />
[http://www.youtube.com/watch?v=oE3x_gM3YFU Paradigm Regained: Abstraction Mechanisms for Access Control] by Mark Miller<br />
<br />
[http://www.youtube.com/watch?v=UH66YrzT-_M The Virus Safe Computing Initiative at HP Labs] by Alan Karp</div>88.70.6.119