Efficient kernel support of fine-grained protection domains for mobile code | IEEE Conference Publication | IEEE Xplore