Formal Security Reassessment of the 5G-AKA-FS Protocol: Methodological Corrections and Augmented Verification Techniques

. 2024 Dec 13;24(24):7979. doi: 10.3390/s24247979

Algorithm 1 Initiation Step 1.1 [UE]

Inputs:

p k_{H N}

Generate an ephemeral public-private key pair (

e p k_{U E}, e p k_{U E}^{- 1}

)
Compute

C_{0} \leftarrow e p k_{U E}

Derive shared key

k_{U E} \leftarrow K D F (e p k_{U E}^{- 1} \cdot p k_{H N})

Parse the shared key

k_{U E}

(k_{1}, k_{2})

Compute

C_{1} \leftarrow E N C (k_{1}, S U P I)

and

C_{2} \leftarrow M A C (k_{2}, C_{1})

Set

S U C I \leftarrow (C_{0}, C_{1}, C_{2})

Outputs. UE sends

(S U C I)

to SN.