Adding capability checks enhances error detection and isolation in object-based systems | IEEE Conference Publication | IEEE Xplore