Changes
Dmitri moved page [[MpOTR/algebraic]] to [[Np1sec/algebraic]]
|-
|align="right"| check signature
|align="center"|<math> verify(m,\sigma) </math>|-|align="right"| update message block chain|align= "center"|<math> Insert(mBlackChain_{sid}, \sigmam) </math>
|-
|align="right"| decrypt messagen
|-
|align="right"| Verify session id and hash
|align="center"|<math>\sigma \leftarrow sid_i == sid_{rec} & \; \textrm{and} \; h == Digest(parent\_id)</math>|-|align="right"| Update sender key or share key|align="center"|<math>y_j \leftarrow s \; \textrm { or } \; z_{j} \leftarrow s</math>
|-
|align="right"| Update key if all users' share or are received session key|align="center"|<math>k_i \leftarrow ComputeSessionKey(y_jz_1,...,z_{ji}z_n)</math>
|-
|align="right"| return m
|align="center"|<math>m</math>
|}
[[Category: mpOTR]]
