Prototype
Other architectures
CVS
Project links 

Project links

This links are intended prmary for me and other developers if they will appear. This page constains links to external sites and papers that are related to this project, possilby they were related.

• Capability Security
• Informational sites
• Personal site of Norman Hardy. A lot of different information.
• Computer Security: Fact Forum Framework
• Introduction To Capability Based Security
• Capability Security links site
• Programming languages
• ERights.org - Home of scripting language E, also contains a lot of interesing informationon capability security
• The Mozart Programming System (not looked at it yet, likely capaiblity based system)
• Erlang programming languages, it uses capaiblity like security model for distributed programming, but not in core libraries if I remeber it correctly.
• Documentation on programming language Joule
• Operating Systems
• eros-os.org - Home EROS (Extremly Reliable Operating System) [open source]
• KeyKOS Documentation
• Virtual machine architectures
• Java
• Java home page.
• The JavaTM Virtual Machine Specification
• ECMA CLI
• Standard ECMA-335: Common Language Infrastructure (CLI)
• Standard ECMA-334: C# Language Specification
• Technical Report TR/84: Technical Report on CLI (Class Library Definitions)
• Microsoft's .NET platform website
• Programing languages
• functional languages (some with OO features_
• Standard ML of New Jersey
• Gwydion Dylan project.
• Objective Caml
• Moby papers (Not released OO extensions for ML which are different from Objective Caml)
• Templates
• Unifying Genericity: Combining the Benefits of Virtual Types and Parameterized Classes.
• A Core Calculus of Classes and Mixins. (added here to read later)
• Related to this site
• Project site on sourceforge.
• docbook.sf.net - project that provides docbook and website xsl stylesheets used to create this site.