capability hardware enhanced risc instructions : cheri instruction - set architecture ( version 7 ) .
Accent: A communication oriented network operating system kernel