Capability

Some notes about using the capability model for secure computing.

The article "From Objects to Capabilities" provides pseudocode for implementing a simple cryptographically secure money-handling purse in a crypto operating system. The goal of this wiki page is to show how it might be implemented in Atomese. The same caveats mentioned in that article apply here: this is not a formal porposal, but rather, an exploration of what can and cannot be done in Atomese.

Some preliminary examples are needed:

• How to create a closure in atomese?
• How to create an object in atomese?
• How to dispatch based on messages in atomese?

References

• Capabilites as a cryptographic Protocol

• Tyler Close, ACL's don't. HP Labs Tech Report. Abstract: The ACL model is unable to make correct access decisions...