CDH Clause Samples

CDH. Y H1 (k)(ID(k),Ri)Σ · T (1), V (1) · T (1)Σ and K = CDH .V (2).T (2), R . .Y H1 (l)(ID(l),Rj )Σ .T (2)Σ , then S returns the completed session key, else