The Architecture of a Capability-Based Microprocessor System | IEEE Journals & Magazine | IEEE Xplore