Dependable TCB Based on the Cell Broadband Engine Isolation Facility | IEEE Conference Publication | IEEE Xplore