Skip to main content

Table 4 Comparison

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

The security property

The AKA of mobile ethernet

Initial version

Second version

Refined proposal

Mutual entity authentication

No

Yes

Yes

Yes

Mutual key authentication/keys' secrecy

Yes

No

Yes

Yes

Mutual key confirmation

Yes

No

Yes

Yes

Key freshness

Yes

Yes

Yes

Yes

Unknown-key share resilience

No

No

No

Yes

Key compromise impersonation resilience

Yes

Yes

Yes

Yes

Defining key scope

No

Yes

Yes

Yes