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?
- Tyler Close, ACL's don't. HP Labs Tech Report. Abstract: The ACL model is unable to make correct access decisions...