A new protection model for component-based operating systems | IEEE Conference Publication | IEEE Xplore