Random references to capability information

Introductory Texts

http://www.eros-os.org/essays/00Essays.html
Some introductory essays -- easy reading...
http://www.crit.org/~ping/alert/meaning.html
The Meaning of Capability-Based Security
Normans thought snippets: http://cap-lore.com/CapTheory/
A lot of interesting stuff here...

EROS: 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 EROS architecture and the confinement mechanism.
- http://eros.cs.jhu.edu/gatherings/EWG2000/EWG2000.html
  2000 EROS Working Group Meeting
KeyKOS: http://www.cis.upenn.edu/~KeyKOS/ , 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-.
GNOSIS: http://www.cis.upenn.edu/~KeyKOS/Gnosis/Gnosis.html , http://http://www.agorics.com/KeyKos/Gnosis/1.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".

SPEEDOS: http://www.informatik.uni-ulm.de/rs/projects/SPEEDOS/SPEEDOS_E.html
Persistent pure capability OS

Mungi: http://www.cse.unsw.edu.au/~disy/Mungi/
Single-address-space, orthogonally persistent, capability-based OS

E-Project: http://www.erights.org/
ELang provides a secure distributed object platform and p2p scripting language for writing Capability-Based Smart Contracts.
Joule: http://www.agorics.com/joule.html
Joule embodies a new computational model for building distributed systems.

Computer science ResearchIndex: 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...

http://www.guug.de/~winni/posix.1e/
POSIX 1003.1e "draft": Capabilities and MAC for UNIX
http://www.trustedbsd.org
Project implementing POSIX 1003.1e and MAC on FreeBSD
http://www.nsa.gov/selinux/
Security-Enhanced Linux developed by the NSA
Offers MAC and TypeEnforcement for Linux
http://www.kernel.org/pub/linux/libs/security/linux-privs/
Linux-Privs Project:
POSIX1003.1e on linux
http://techpubs.sgi.com/ , http://oss.sgi.com/projects/ob1/
SGI released documentation about their Trusted IRIX (TRIX). Dont forget to seach for some man pages about TRIX...
http://www.bsdcon.com/proceedings/spencer_minear/
About Type Enforcement nd POSIX.1e