113
edits
(Seperated out-of-band steps) |
(Separated out-of-band steps) |
||
Line 175: | Line 175: | ||
t0 AIs AIp, BIp BIs, MK | t0 AIs AIp, BIp BIs, MK | ||
BEp BEs | |||
t1 AIs AIp, BIp BIs, MK | t1 AIs AIp, BIp BIs, MK | ||
AEs AEp, BEp BEs | AEs AEp, BEp BEs | ||
SK = KDF(3DHE(AIs, AEs, BIp, BEp)) SK = KDF(3DHE(BIs, BEs, AIp, AEp)) | |||
SK = KDF(3DHE(AIs, AEs, BIp, BEp)) | VC = RANDOM() VD | ||
VC = RANDOM() | |||
VD = DIGEST(VC + DIGEST(password)) | VD = DIGEST(VC + DIGEST(password)) | ||
t2 AIs, MK AIp, BIp BIs, MK | t2 AIs, MK AIp, BIp BIs, MK | ||
(OoB) VD | |||
VCui = <user input> | |||
Verified = (VD == DIGEST(VCui + DIGEST(password))) | |||
Verified = (VD == DIGEST( | t3 AIs, MK AIp, BIp BIs, MK | ||
</pre> | </pre> | ||
edits