Some weaknesses of the TCB model | IEEE Conference Publication | IEEE Xplore