Common use of Complete Protocol Description Clause in Contracts

Complete Protocol Description. We set $ = (x + ) 1(x + e) where = h1(id; ) and e = h2(G1; G2; id; ▇▇▇▇▇; ▇▇▇).

Appears in 2 contracts

Sources: Authentication and Key Agreement Protocol, Authentication and Key Agreement Protocol