Skip to main content

Table 2 Notations for the AKA protocol of mobile ethernet

From: A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR

Notation

Description

M

The mobile node

AIS

The authentication information server

AS

The authentication server

R1, R2

Random values

E(K, Msg)

Encrypted Msg by key K

D(K, Msg)

Decrypted Msg by key K

PRF, PRF2

Pseudo-random function

MS

Master secret key MS = PRF(UUK, R1 | R2)

AK

Authentication key AK = PRF(MS, R1 | R2)

SK

Secret key used for encryption SK = PRF2(MS, R1 | R2)

HOAID

Handover authentication ID, an security token for speeding up the authentication in case of handover: HOAID = E(AK, R1 || R2)