Common use of Protocol Run Clause in Contracts

Protocol Run. The following describes how to run AMP++. Note that the cases, x1 2 id; x + ; gx2

Appears in 2 contracts

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