Services/Sync/P2P Key Exchange And Rotation: Difference between revisions

Simplified symbols
(Tweaked symbols)
(Simplified symbols)
Line 361: Line 361:


t3        AIs                                    AIp, BIp        BIs, MK
t3        AIs                                    AIp, BIp        BIs, MK
(OoB)      AEs                                    AEp, BEp        BEs
           BT                                                     BT
           BT                                     BEd              BT
           SK                                                      SK
           SK                                                      SK
           VCS = <user input>                                     VCS = DIGEST(SK, BT)
           VCSui = <user input>                                   VCS = DIGEST(SK, BT)
           VCM = <user input>                                     VCM = DIGEST(MK, BT)
           VCMui = <user input>                                   VCM = DIGEST(MK, BT)
           Verified = (VCS == DIGEST(SK, BT))                       
           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
           VCP = VCM                                               VCP
           SK                                                      SK
                                                                   Verified = (VCP == VCM)
                                                                  VCM
                                                                  VCMui
                                                                   Verified = (VCMui == VCM)


</pre>
</pre>
113

edits