Skip to main content

Advances, Systems and Applications

Table 3 IKEv2 learning alphabet

From: An enhanced state-aware model learning approach for security analysis in lightweight protocol implementations

Alphabet

Message type

Description

IKE_SA_INIT

IKE_SA_INIT 34

IKE SA initialization

IKE_AUTH_CERT

IKE_AUTH 35

IKE certificate authentication

Rekey_IKE

CREATE_CHILD_SA 36

Create new IKE SA

Rekey_ESP_over_Current_IKE

CREATE_CHILD_SA 36

Create new IPsec SA(ESP) over current IKE SA

Rekey_ESP_over_Old_IKE

CREATE_CHILD_SA 36

Create new IPsec SA(ESP) over old IKE SA

Delete_Current_ESP_over_Current_IKE

INFORMATIONAL 37

Delete new IPsec SA(ESP) over current IKE SA

Delete_Old_ESP_over_Current_IKE

INFORMATIONAL 37

Delete old IPsec SA(ESP) over current IKE SA

Delete_Current_ESP_over_Old_IKE

INFORMATIONAL 37

Delete new IPsec SA(ESP) over old IKE SA

Delete_Old_ESP_over_Old_IKE

INFORMATIONAL 37

Delete old IPsec SA(ESP) over old IKE SA

Delete_Current_IKE

INFORMATIONAL 37

Delete current IKE SA

Delete_Old_IKE

INFORMATIONAL 37

Delete old IKE SA

Test_Current_IKE_Current_ESP

ESP

Test current IPsec SA(ESP) over current IKE SA

Test_Current_IKE_Old_ESP

ESP

Test old IPsec SA(ESP) over current IKE SA

Test_Old_IKE_Current_ESP

ESP

Test current IPsec SA(ESP) over old IKE SA

Test_Old_IKE_Old_ESP

ESP

Test old IPsec SA(ESP) over old IKE SA