keyB,commitmentB,CK] 2374: proc 2 (EVIL) JOIN.pml:258 (state 11) [BtoA? ... stateB,messageB,keyB] 2372: proc 1 (NODE A (process ID is 0) executes [AtoB!
確定! 回上一頁