Efficient and Security Enhanced Anonymous Authentication with Key Agreement Scheme in Wireless Sensor Networks

. 2017 Mar 21;17(3):644. doi: 10.3390/s17030644

Algorithm 2: Algorithm

E X P 2_{H A S H, A}^{A U A K A S}

1. Extract the information

{A_{i}, B_{i}, C_{i}, D_{i}, h (\cdot), H (\cdot)}

stored in the smart card
through physically monitoring its power consumption [31].
2. Call the Reveal oracle. Let

(H P W_{i}^{'}, T I D_{i}^{'}, H I D_{i}^{'}) \leftarrow R e v e a l (A_{i})

3. Call the Reveal oracle. Let

(P W_{i}^{'}, B i o_{i}^{'}) \leftarrow R e v e a l (H P W_{i}^{'})

4. Computes

H I D_{i}^{'} = A_{i} \oplus h (h (P W_{i}^{'} | | B i o_{i}^{'}) | | T I D_{i}^{'})

5. Computes

B_{i}^{'} = h (H P W_{i}^{'} | | H I D_{i}^{'}) = h (h (P W_{i}^{'} | | B i o_{i}^{'}) | | A_{i} \oplus h (h (P W_{i}^{'} | | B i o_{i}^{'}) | | T I D_{i}^{'}))

6. if $(B_{i}^{'} = B_{i})$ then
7.    Accepts $P W_{i}^{'}$ as the correct $P W_{i}$ of user $U_{i}$
8.    return 1 (Success)
9. else
10.    return 0
11. end if