Random references to capability information

Introductory Texts

17C3-CapOs
Slides for Joerg's "capability based systems" workshop at the ChaosCommunicationCongress2000
http://www.eros-os.org/essays/00Essays.html
Shap's introductory essays -- easy reading...
http://www.crit.org/~ping/alert/meaning.html
Ping's Meaning of Capability-Based Security
http://www.skyhunter.com/marcs/capabilityIntro/
MarcS's introduction to capability based security
http://cap-lore.com/CapTheory/
Norm's thought snippets: a lot of interesting stuff here...
http://www.cs.berkeley.edu/~pingster/sec/project/
Ping's "Interaction Design for End-User Security": PRE-PUBLICATION DRAFT: A paper describing some ideas about man machine interaction with respect to capability based systems.
http://www.erights.org/elib/capability/ode/
"An Ode to the Granovetter Diagram" explains the rationale for distributed cryptographic lambda-based capabilities, and their use for smart contracting.

http://www.eros-os.org/
Promising project: A pure capability OS implementation for x86; developed unter GPL.
- http://www.eros-os.org/mailman/listinfo/
  Mailinglist -- reading some discussions can be very enlighting
- http://www.eros-os.org/papers/shap-thesis.ps
  Paper describing the EROS architecture and the confinement mechanism.
- http://eros.cs.jhu.edu/gatherings/EWG2000/EWG2000.html
  EROS Working Group Meeting 2000
- http://www.capidl.org
  CapIDL will be Capability-oriented Interface Definition Language, initially for describing EROS invocations.
http://www.agorics.com/KeyKos/
KeyKOS is a persistent, pure capability operating system. It was first developed by Tymshare on IBM 370. Later KeyLogic continued KeyKOS and ported it to -XXX-.
http://www.cis.upenn.edu/~KeyKOS/Gnosis/Gnosis.html
GNOSIS is a capability based OS whose construction began about 1975 at Tymshare. Development continued for several years at KeyLogic under the name "KeyKOS".
http://www.informatik.uni-ulm.de/rs/projekte/SPEEDOS/
Persistent pure capability OS
http://www.cse.unsw.edu.au/~disy/Mungi/
Single-address-space, orthogonally persistent, capability-based OS

http://www.erights.org/
ELang provides a secure distributed object platform and p2p scripting language for writing Capability-Based Smart Contracts.
- http://www.skyhunter.com/marcs/eDeskIndex.html
  Demo implementation of a desktop system on top of E.
http://www.waterken.com/
The web-calculus is an application interface model that unifies REST and capability-based security.
http://www.toontalk.com/
Distributed capability programming for children.
http://www.mozart-oz.org/
The Mozart Programming System is an advanced development platform for intelligent, distributed applications. Mozart is based on the Oz language.
http://www.agorics.com/joule.html
Joule embodies a new computational model for building distributed systems.

http://citeseer.nj.nec.com/
Provides a heap of interesting papers and makes them easy accessable. You could start at http://citeseer.nj.nec.com/cs?q=capability&cs=1 and spend the next two years reading...