Test-query Clause Samples

Test-query. When A makes a Test query, if the query is not asked in the l -th session, B aborts. Otherwise, B randomly chooses a bit b, B returns the session key if b = 1, else returns a random number. The success probability of B depends on the 1 t event that A asks the Test query in the l -th session and asks a secret value tU (IDα, qα)∈LH, B returns qα and adds (IDα, qα) to LH if (IDα, qα)∉LH. H1-query. When A makes an H1-query for m, B = eˆ(XU ,DIDS ) = eˆ(tP, s + q0 P) = eˆ(P,P)s + q0 to H1 returns h if (m, h)∈ LH1. Otherwise, B returns a