Common use of Test(sid) Clause in Contracts

Test(sid). The adversary chooses a test session among all the completed and fresh sessions (see Definition 2 for freshness of a session). The challenger tosses a random bit b ∈R {0, 1}. If b = 0 the challenger will give the adversary the correctly computed session key K0 of the test session. Otherwise the challenger will select a random shared secret key K1 from the distribution of session keys and provide the adversary with K1. We now give the definition for a matching session and what it means for a session to be fresh.

Test(sid). The adversary chooses a test session among all the completed and fresh sessions (see Definition 2 for freshness of a session)sessions. The challenger tosses a random bit b ∈R {0, 1}. If b = 0 the challenger will give the adversary the correctly computed session key K0 of the test session. Otherwise the challenger will select a random shared secret key K1 from the distribution distribtuion of session keys and provide the adversary with K1. We now give state the definition for of freshness of a matching session and what it means for a session to be freshsession.