B believes (SC says F(X,NB2) A fresh(NB2)) G19. ... B believes B received {req, NB1, (NB2}KSc}SK, NC2, h(req (B SK) Comprehensive Assumptions P8.
確定! 回上一頁