AKMA+: Security and Privacy-Enhanced and Standard-Compatible AKMA for 5G Communication

The AKMA+ project provides two primary repositories on GitHub, each containing essential components that illustrate the functions and properties of the AKMA+ protocol:

1. AKMA-Plus-C-version

(1) Overview: This repository contains the C-language implementation of the AKMA+ protocol, facilitating its integration and testing within 5G communication systems.

(2) Main Components:
     - UE (User Equipment): Implements the client-side operations of the AKMA+ protocol, handling authentication requests and secure communications.

     - HN (Home Network): Manages user credentials and authentication processes, ensuring secure key distribution and management.

     - AF (Application Function): Represents the application services interacting with the UE, utilizing the AKMA+ protocol for secure communications.

(3) Relation to Open-Science Commitment: By providing this implementation, the authors fulfill their promise to share the AKMA+ protocol's source code, enabling reproducibility and further research by the community.

2. AKMA-Plus-Tamarin

(1) Overview: This repository includes the Tamarin Prover models used for the formal verification of AKMA+'s security properties.

(2) Main Components:
     - AKMA_plus.spthy: Contains the formal specification of the AKMA+ protocol, defining the sequence of operations and messages exchanged between entities.

     - Lemmas: Embedded within the specification are lemmas representing critical security properties, such as UE indistinguishability, session key secrecy, forward secrecy, and mutual authentication.

(3) Relation to Open-Science Commitment: Sharing these formal models allows others to verify the security claims made in the paper, promoting transparency and trust in the protocol's design.