Common use of Initialization Clause in Contracts

Initialization. User id 1 runs (id ▇.▇▇, W ) ← baCGKA.Init(G, (pkid1 , . . . , pkidn ), sskid1 ) to initialize a session. Here G = (id 1, . . . , idn) specifies the group, pkidi is the initialization encryption public-key of user idi, and sskid1 the initialization authentication secret key of the party setting up the group. The output consists of user id 1’s initial state and a welcome message W . ←