Capability

From OpenCog
Jump to: navigation, search

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

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