113
edits
(Tweaked symbols) |
(Simplified symbols) |
||
| Line 361: | Line 361: | ||
t3 AIs AIp, BIp BIs, MK | t3 AIs AIp, BIp BIs, MK | ||
BT BT | |||
BT | |||
SK SK | SK SK | ||
VCSui = <user input> VCS = DIGEST(SK, BT) | |||
VCMui = <user input> VCM = DIGEST(MK, BT) | |||
Verified = ( | Verified = (VCSui == DIGEST(SK, BT)) | ||
+ (BEd == DIGEST(BEp)) | + (BEd == DIGEST(BEp)) | ||
t4 AIs, MK AIp, BIp BIs, MK | t4 AIs, MK AIp, BIp BIs, MK | ||
SK SK | |||
Verified = ( | VCM | ||
VCMui | |||
Verified = (VCMui == VCM) | |||
</pre> | </pre> | ||
edits