Common Contracts
1 similar Secret Key Agreement Protocol contracts
Ashish KhistiSecret Key Agreement Protocol • May 8th, 2009
as required. Thus it only remains to establish (26). The proof follows closely the upper bound derived in [5] with some modifications to take into account the state parameters. Since κ = gn(u, ψk, sn) we have that
