A secure identity-based capability system
Using Sparse Capabilities in a Distributed Operating System