edhoc 1.0.5 → 1.1.0

package/external/libedhoc/tests/include/edhoc_trace_2/test_edhoc_handshake_2.h

@@ -1,199 +0,0 @@
-/**
- * \file    test_edhoc_handshake_2.h
- * \author  Kamil Kielbasa
- * \brief   EDHOC handshake unit tests for EDHOC traces (RFC 9529) for chapter 3.
- * \version 0.4
- * \date    2024-01-01
- * 
- * \copyright Copyright (c) 2024
- * 
- */
-
-/* Header guard ------------------------------------------------------------ */
-#ifndef TEST_EDHOC_HANDSHAKE_2_H
-#define TEST_EDHOC_HANDSHAKE_2_H
-
-/* Include files ----------------------------------------------------------- */
-/* Defines ----------------------------------------------------------------- */
-/* Types and type definitions ---------------------------------------------- */
-/* Module interface variables and constants -------------------------------- */
-/* Extern variables and constant declarations ------------------------------ */
-/* Module interface function declarations ---------------------------------- */
-
-/**
- * \brief Test scenario:
- *        - use test vector as input for EDHOC context.
- *        - call only edhoc_message_1_compose.
- *        - verify:
- *          - generated message 1.
- *          - internal context fields.
- *          - TH state, value and length.
- *          - PRK state.
- *          - ephemeral DH private key value and length.
- */
-void test_edhoc_handshake_2_message_1_compose(void);
-
-/**
- * \brief Test scenario:
- *        - use test vector as input for EDHOC context.
- *        - call only edhoc_message_1_process.
- *        - verify:
- *          - if message 1 has been processed successfully.
- *          - internal context fields.
- *          - TH state, value and length.
- *          - PRK state.
- *          - C_I value and length.
- *          - peer ephemeral DH public key value and length.
- */
-void test_edhoc_handshake_2_message_1_process(void);
-
-/**
- * \brief Test scenario:
- *        - use test vector as input for EDHOC context.
- *        - do required injections.
- *        - call only edhoc_message_2_compose.
- *        - verify:
- *          - generated message 2.
- *          - internal context fields.
- *          - TH state, value and length.
- *          - PRK state, value and length.
- *          - computed DH key agreement.
- */
-void test_edhoc_handshake_2_message_2_compose(void);
-
-/**
- * \brief Test scenario:
- *        - use test vector as input for EDHOC context.
- *        - do required injections.
- *        - call only edhoc_message_2_process.
- *        - verify:
- *          - if message 2 has been processed successfully.
- *          - internal context fields.
- *          - TH state, value and length.
- *          - PRK state, value and length.
- *          - computed DH key agreement.
- *          - C_R value and length.
- */
-void test_edhoc_handshake_2_message_2_process(void);
-
-/**
- * \brief Test scenario:
- *        - use test vector as input for EDHOC context.
- *        - do required injections.
- *        - call only edhoc_message_3_compose.
- *        - verify:
- *          - generated message 3.
- *          - internal context fields.
- *          - TH state, value and length.
- *          - PRK state, value and length.
- */
-void test_edhoc_handshake_2_message_3_compose(void);
-
-/**
- * \brief Test scenario:
- *        - use test vector as input for EDHOC context.
- *        - do required injections.
- *        - call only edhoc_message_3_process.
- *        - verify:
- *          - if message 3 has been processed successfully.
- *          - internal context fields.
- *          - TH state, value and length.
- *          - PRK state, value and length.
- */
-void test_edhoc_handshake_2_message_3_process(void);
-
-/**
- * \brief Test scenario:
- *        - use test vector as input for EDHOC context.
- *        - do required injections.
- *        - call only edhoc_message_4_compose.
- *        - verify:
- *          - generated message 4.
- *          - internal context fields.
- *          - TH state, value and length.
- *          - PRK state, value and length.
- */
-void test_edhoc_handshake_2_message_4_compose(void);
-
-/**
- * \brief Test scenario:
- *        - use test vector as input for EDHOC context.
- *        - do required injections.
- *        - call only edhoc_message_4_process.
- *        - verify:
- *          - if message 4 has been processed successfully.
- *          - internal context fields.
- *          - TH state, value and length.
- *          - PRK state, value and length.
- */
-void test_edhoc_handshake_2_message_4_process(void);
-
-/**
- * \brief Test scenario:
- *        1) use test vector as input for EDHOC context's.
- *        2) perform full EDHOC handshake:
-             (message 1 -> message 2 -> mesage 3 -> message 4)
- *           - value and lengthverify with test vector:
- *             - context.
- *             - TH.
- *             - PRK.
- *             - DH key agreement.
- *             - C_I / C_R.
- *        3) export OSCORE sessions:
- *           - verify with test vector:
- *             - internal context.
- *             - master secret.
- *             - master salt.
- *             - sender ID.
- *             - recipient ID.
- *        4) perform key update on EDHOC session
- *           - verify with test vector:
- *             - internal context.
- *             - PRK state,.
- *        5) export new OSCORE sessions:
- *           - verify with test vector:
- *             - internal context.
- *             - master secret.
- *             - master salt.
- *             - sender ID.
- *             - recipient ID.
- */
-void test_edhoc_handshake_2_e2e(void);
-
-/**
- * \brief Test scenario:
- *        1) use test vector as input for EDHOC context's.
- *        2) perform full EDHOC handshake:
- *           (message 1 -> message 2 -> mesage 3 -> message 4)
- *           - verify:
- *             - internal context.
- *             - TH state.
- *             - PRK state.
- *             - DH key agreement.
- *             - C_I / C_R.
- *        3) export OSCORE sessions:
- *           - verify by cross-check:
- *             - internal context.
- *             - master secret.
- *             - master salt.
- *             - sender ID.
- *             - recipient ID.
- *        4) perform key update on EDHOC session
- *           - verify:
- *             - internal context.
- *             - PRK state.
- *        5) export new OSCORE sessions:
- *           - verify by cross-check:
- *             - internal context.
- *             - master secret.
- *             - master salt.
- *             - sender ID.
- *             - recipient ID.
- *
- * \note "real crypto" means that ephemeral Diffie-Hellman per each run will
- *       generate different keys. This is why only cross-check is possible as
- *       verification step.
- */
-void test_edhoc_handshake_2_e2e_real_crypto(void);
-
-#endif /* TEST_EDHOC_HANDSHAKE_2_H */

package/external/libedhoc/tests/include/error_message/test_edhoc_error_message.h

@@ -1,48 +0,0 @@
-/**
- * \file    test_edhoc_error_message.h
- * \author  Kamil Kielbasa
- * \brief   EDHOC error message unit tests.
- * \version 0.4
- * \date    2024-01-01
- * 
- * \copyright Copyright (c) 2024
- * 
- */
-
-/* Header guard ------------------------------------------------------------ */
-#ifndef TEST_EDHOC_ERROR_MESSAGE_H
-#define TEST_EDHOC_ERROR_MESSAGE_H
-
-/* Include files ----------------------------------------------------------- */
-/* Defines ----------------------------------------------------------------- */
-/* Types and type definitions ---------------------------------------------- */
-/* Module interface variables and constants -------------------------------- */
-/* Extern variables and constant declarations ------------------------------ */
-/* Module interface function declarations ---------------------------------- */
-
-/**
- * \brief Test EDHOC error message - success.
- */
-void test_edhoc_error_message_success(void);
-
-/**
- * \brief Test EDHOC error message - unspecified error.
- */
-void test_edhoc_error_message_unspecified_error(void);
-
-/**
- * \brief Test EDHOC error message - wrong selected cipher suite.
- */
-void test_edhoc_error_message_wrong_selected_cipher_suite_one(void);
-
-/**
- * \brief Test EDHOC error message - wrong selected cipher suites.
- */
-void test_edhoc_error_message_wrong_selected_cipher_suite_many(void);
-
-/**
- * \brief Test EDHOC error message - unknown credential referenced.
- */
-void test_edhoc_error_message_unknown_credential_referenced(void);
-
-#endif /* TEST_EDHOC_ERROR_MESSAGE_H */

package/external/libedhoc/tests/include/x509_chain_cs_0/authentication_credentials_x5chain_cs_0.h

@@ -1,92 +0,0 @@
-/**
- * \file    authentication_credentials_x5chain_cs_0.h
- * \author  Kamil Kielbasa
- * \brief   Example implementation of authentication credentials callbacks
- *          for X.509 chain authentication method for cipher suite 0.
- * \version 0.4
- * \date    2024-01-01
- * 
- * \copyright Copyright (c) 2024
- * 
- */
-
-/* Header guard ------------------------------------------------------------ */
-#ifndef AUTHENTICATION_CREDENTIALS_X5CHAIN_CS_0_H
-#define AUTHENTICATION_CREDENTIALS_X5CHAIN_CS_0_H
-
-/* Include files ----------------------------------------------------------- */
-
-/* Standard library headers: */
-#include <stdint.h>
-#include <stddef.h>
-
-/* EDHOC header: */
-#include "edhoc_credentials.h"
-
-/* Defines ----------------------------------------------------------------- */
-/* Types and type definitions ---------------------------------------------- */
-/* Module interface variables and constants -------------------------------- */
-/* Extern variables and constant declarations ------------------------------ */
-/* Module interface function declarations ---------------------------------- */
-
-/**
- * \brief Authentication credentials fetch callback for initiator
- *        for single certificate in chain.
- */
-int auth_cred_fetch_init_x5chain_cs_0_single_cert(
-	void *user_context, struct edhoc_auth_creds *credentials);
-
-/**
- * \brief Authentication credentials fetch callback for responder
- *        for single certificate in chain.
- */
-int auth_cred_fetch_resp_x5chain_cs_0_single_cert(
-	void *user_context, struct edhoc_auth_creds *credentials);
-
-/**
- * \brief Authentication credentials verify callback for initiator
- *        for single ceritifcate in chain.
- */
-int auth_cred_verify_init_x5chain_cs_0_single_cert(
-	void *user_context, struct edhoc_auth_creds *credentials,
-	const uint8_t **public_key_reference, size_t *public_key_length);
-
-/**
- * \brief Authentication credentials verify callback for responder
- *        for single ceritifcate in chain.
- */
-int auth_cred_verify_resp_x5chain_cs_0_single_cert(
-	void *user_context, struct edhoc_auth_creds *credentials,
-	const uint8_t **public_key_reference, size_t *public_key_length);
-
-/**
- * \brief Authentication credentials fetch callback for initiator.
- *        for many certificates in chain.
- */
-int auth_cred_fetch_init_x5chain_cs_0_many_certs(
-	void *user_context, struct edhoc_auth_creds *credentials);
-
-/**
- * \brief Authentication credentials fetch callback for responder.
- *        for many certificates in chain.
- */
-int auth_cred_fetch_resp_x5chain_cs_0_many_certs(
-	void *user_context, struct edhoc_auth_creds *credentials);
-
-/**
- * \brief Authentication credentials verify callback for initiator.
- *        for many certificates in chain.
- */
-int auth_cred_verify_init_x5chain_cs_0_many_certs(
-	void *user_context, struct edhoc_auth_creds *credentials,
-	const uint8_t **public_key_reference, size_t *public_key_length);
-
-/**
- * \brief Authentication credentials verify callback for responder.
- *        for many certificates in chain.
- */
-int auth_cred_verify_resp_x5chain_cs_0_many_certs(
-	void *user_context, struct edhoc_auth_creds *credentials,
-	const uint8_t **public_key_reference, size_t *public_key_length);
-
-#endif /* AUTHENTICATION_CREDENTIALS_X5CHAIN_CS_0_H */

package/external/libedhoc/tests/include/x509_chain_cs_0/test_edhoc_handshake_x5chain_cs_0.h

@@ -1,96 +0,0 @@
-/**
- * \file    test_edhoc_handshake_x5chain_cs_0.h
- * \author  Kamil Kielbasa
- * \brief   EDHOC handshake unit test for X.509 chain authentication method
- *          with real crypto usage.
- * \version 0.4
- * \date    2024-01-01
- * 
- * \copyright Copyright (c) 2024
- * 
- */
-
-/* Header guard ------------------------------------------------------------ */
-#ifndef TEST_EDHOC_HANDSHAKE_X5CHAIN_CS_0_H
-#define TEST_EDHOC_HANDSHAKE_X5CHAIN_CS_0_H
-
-/* Include files ----------------------------------------------------------- */
-/* Defines ----------------------------------------------------------------- */
-/* Types and type definitions ---------------------------------------------- */
-/* Module interface variables and constants -------------------------------- */
-/* Extern variables and constant declarations ------------------------------ */
-/* Module interface function declarations ---------------------------------- */
-
-/**
- * \brief Test scenario with single certificate in chain:
- *        1) use test vector as input for EDHOC context's.
- *        2) perform full EDHOC handshake:
- *           (message 1 -> message 2 -> mesage 3 -> message 4)
- *           - verify:
- *             - internal context.
- *             - TH state.
- *             - PRK state.
- *             - DH key agreement.
- *             - C_I / C_R.
- *        3) export OSCORE sessions:
- *           - verify by cross-check:
- *             - internal context.
- *             - master secret.
- *             - master salt.
- *             - sender ID.
- *             - recipient ID.
- *        4) perform key update on EDHOC session
- *           - verify:
- *             - internal context.
- *             - PRK state.
- *        5) export new OSCORE sessions:
- *           - verify by cross-check:
- *             - internal context.
- *             - master secret.
- *             - master salt.
- *             - sender ID.
- *             - recipient ID.
- *
- * \note "real crypto" means that ephemeral Diffie-Hellman per each run will
- *       generate different keys. This is why only cross-check is possible as
- *       verification step.
- */
-void test_edhoc_handshake_x5chain_cs_0_single_cert_e2e_real_crypto(void);
-
-/**
- * \brief Test scenario with many certificates in chain:
- *        1) use test vector as input for EDHOC context's.
- *        2) perform full EDHOC handshake:
- *           (message 1 -> message 2 -> mesage 3 -> message 4)
- *           - verify:
- *             - internal context.
- *             - TH state.
- *             - PRK state.
- *             - DH key agreement.
- *             - C_I / C_R.
- *        3) export OSCORE sessions:
- *           - verify by cross-check:
- *             - internal context.
- *             - master secret.
- *             - master salt.
- *             - sender ID.
- *             - recipient ID.
- *        4) perform key update on EDHOC session
- *           - verify:
- *             - internal context.
- *             - PRK state.
- *        5) export new OSCORE sessions:
- *           - verify by cross-check:
- *             - internal context.
- *             - master secret.
- *             - master salt.
- *             - sender ID.
- *             - recipient ID.
- *
- * \note "real crypto" means that ephemeral Diffie-Hellman per each run will
- *       generate different keys. This is why only cross-check is possible as
- *       verification step.
- */
-void test_edhoc_handshake_x5chain_cs_0_many_certs_e2e_real_crypto(void);
-
-#endif /* TEST_EDHOC_HANDSHAKE_X5CHAIN_CS_0_H */

package/external/libedhoc/tests/include/x509_chain_cs_2/authentication_credentials_x5chain_cs_2.h

@@ -1,58 +0,0 @@
-/**
- * \file    authentication_credentials_x5chain_cs_2.h
- * \author  Kamil Kielbasa
- * \brief   Example implementation of authentication credentials callbacks
- *          for X.509 chain authentication method for cipher suite 2.
- * \version 0.4
- * \date    2024-01-01
- * 
- * \copyright Copyright (c) 2024
- * 
- */
-
-/* Header guard ------------------------------------------------------------ */
-#ifndef AUTHENTICATION_CREDENTIALS_X5CHAIN_CS_2_H
-#define AUTHENTICATION_CREDENTIALS_X5CHAIN_CS_2_H
-
-/* Include files ----------------------------------------------------------- */
-
-/* Standard library headers: */
-#include <stdint.h>
-#include <stddef.h>
-
-/* EDHOC header: */
-#include "edhoc_credentials.h"
-
-/* Defines ----------------------------------------------------------------- */
-/* Types and type definitions ---------------------------------------------- */
-/* Module interface variables and constants -------------------------------- */
-/* Extern variables and constant declarations ------------------------------ */
-/* Module interface function declarations ---------------------------------- */
-
-/**
- * \brief Authentication credentials fetch callback for initiator.
- */
-int auth_cred_fetch_init_x5chain_cs_2_single_cert(
-	void *user_context, struct edhoc_auth_creds *credentials);
-
-/**
- * \brief Authentication credentials fetch callback for responder.
- */
-int auth_cred_fetch_resp_x5chain_cs_2_single_cert(
-	void *user_context, struct edhoc_auth_creds *credentials);
-
-/**
- * \brief Authentication credentials verify callback for initiator.
- */
-int auth_cred_verify_init_x5chain_cs_2_single_cert(
-	void *user_context, struct edhoc_auth_creds *credentials,
-	const uint8_t **public_key_reference, size_t *public_key_length);
-
-/**
- * \brief Authentication credentials verify callback for responder.
- */
-int auth_cred_verify_resp_x5chain_cs_2_single_cert(
-	void *user_context, struct edhoc_auth_creds *credentials,
-	const uint8_t **public_key_reference, size_t *public_key_length);
-
-#endif /* AUTHENTICATION_CREDENTIALS_X5CHAIN_CS_2_H */

package/external/libedhoc/tests/include/x509_chain_cs_2/test_edhoc_handshake_x5chain_cs_2.h

@@ -1,56 +0,0 @@
-/**
- * \file    test_edhoc_handshake_x5chain_cs_2.h
- * \author  Kamil Kielbasa
- * \brief   EDHOC handshake unit test for X.509 chain authentication method
- *          for cipher suite 2.
- * \version 0.4
- * \date    2024-01-01
- * 
- * \copyright Copyright (c) 2024
- * 
- */
-
-/* Header guard ------------------------------------------------------------ */
-#ifndef TEST_EDHOC_HANDSHAKE_X5CHAIN_CIPHER_SUITE_2_H
-#define TEST_EDHOC_HANDSHAKE_X5CHAIN_CIPHER_SUITE_2_H
-
-/* Include files ----------------------------------------------------------- */
-/* Defines ----------------------------------------------------------------- */
-/* Types and type definitions ---------------------------------------------- */
-/* Module interface variables and constants -------------------------------- */
-/* Extern variables and constant declarations ------------------------------ */
-/* Module interface function declarations ---------------------------------- */
-
-/**
- * \brief Test scenario:
- *        1) use test vector as input for EDHOC context's.
- *        2) perform full EDHOC handshake:
- *           (message 1 -> message 2 -> mesage 3 -> message 4)
- *           - verify:
- *             - internal context.
- *             - TH state.
- *             - PRK state.
- *             - DH key agreement.
- *             - C_I / C_R.
- *        3) export OSCORE sessions:
- *           - verify by cross-check:
- *             - internal context.
- *             - master secret.
- *             - master salt.
- *             - sender ID.
- *             - recipient ID.
- *        4) perform key update on EDHOC session
- *           - verify:
- *             - internal context.
- *             - PRK state.
- *        5) export new OSCORE sessions:
- *           - verify by cross-check:
- *             - internal context.
- *             - master secret.
- *             - master salt.
- *             - sender ID.
- *             - recipient ID.
- */
-void test_edhoc_handshake_x5chain_cs_2_single_cert_e2e(void);
-
-#endif /* TEST_EDHOC_HANDSHAKE_X5CHAIN_CIPHER_SUITE_2_H */

package/external/libedhoc/tests/include/x509_chain_cs_2/test_edhoc_handshake_x5chain_cs_2_ead.h

@@ -1,57 +0,0 @@
-/**
- * \file    test_edhoc_handshake_x5chain_cs_2_ead.h
- * \author  Kamil Kielbasa
- * \brief   EDHOC handshake unit test for X.509 chain authentication method
- *          for cipher suite 2 with multiple EAD tokens.
- * \version 0.4
- * \date    2024-01-01
- * 
- * \copyright Copyright (c) 2024
- * 
- */
-
-/* Header guard ------------------------------------------------------------ */
-#ifndef TEST_EDHOC_HANDSHAKE_X5CHAIN_CS_2_EAD_H
-#define TEST_EDHOC_HANDSHAKE_X5CHAIN_CS_2_EAD_H
-
-/* Include files ----------------------------------------------------------- */
-/* Defines ----------------------------------------------------------------- */
-/* Types and type definitions ---------------------------------------------- */
-/* Module interface variables and constants -------------------------------- */
-/* Extern variables and constant declarations ------------------------------ */
-/* Module interface function declarations ---------------------------------- */
-
-/**
- * \brief Test scenario:
- *        1) use test vector as input for EDHOC context's.
- *        2) perform full EDHOC handshake:
- *           (message 1 -> message 2 -> mesage 3 -> message 4)
- *           - verify:
- *             - internal context.
- *             - TH state.
- *             - PRK state.
- *             - DH key agreement.
- *             - C_I / C_R.
- *             - EAD.
- *        3) export OSCORE sessions:
- *           - verify by cross-check:
- *             - internal context.
- *             - master secret.
- *             - master salt.
- *             - sender ID.
- *             - recipient ID.
- *        4) perform key update on EDHOC session
- *           - verify:
- *             - internal context.
- *             - PRK state.
- *        5) export new OSCORE sessions:
- *           - verify by cross-check:
- *             - internal context.
- *             - master secret.
- *             - master salt.
- *             - sender ID.
- *             - recipient ID.
- */
-void test_edhoc_handshake_x5chain_cs_2_single_cert_e2e_multiple_ead_tokens(void);
-
-#endif /* TEST_EDHOC_HANDSHAKE_X5CHAIN_CS_2_EAD_H */

package/external/libedhoc/tests/include/x509_chain_cs_2_static_dh/authentication_credentials_x5chain_cs_2_static_dh.h

@@ -1,59 +0,0 @@
-/**
- * \file    authentication_credentials_x5chain_cs_2_static_dh.h
- * \author  Kamil Kielbasa
- * \brief   Example implementation of authentication credentials callbacks
- *          for X.509 chain authentication method for cipher suite 2 with
- *          static DH keys.
- * \version 0.4
- * \date    2024-01-01
- * 
- * \copyright Copyright (c) 2024
- * 
- */
-
-/* Header guard ------------------------------------------------------------ */
-#ifndef AUTHENTICATION_CREDENTIALS_X5CHAIN_CS_2_STATIC_DH_H
-#define AUTHENTICATION_CREDENTIALS_X5CHAIN_CS_2_STATIC_DH_H
-
-/* Include files ----------------------------------------------------------- */
-
-/* Standard library headers: */
-#include <stdint.h>
-#include <stddef.h>
-
-/* EDHOC header: */
-#include "edhoc_credentials.h"
-
-/* Defines ----------------------------------------------------------------- */
-/* Types and type definitions ---------------------------------------------- */
-/* Module interface variables and constants -------------------------------- */
-/* Extern variables and constant declarations ------------------------------ */
-/* Module interface function declarations ---------------------------------- */
-
-/**
- * \brief Authentication credentials fetch callback for initiator.
- */
-int auth_cred_fetch_init_x5chain_cs_2_static_dh(
-	void *user_context, struct edhoc_auth_creds *credentials);
-
-/**
- * \brief Authentication credentials fetch callback for responder.
- */
-int auth_cred_fetch_resp_x5chain_cs_2_static_dh(
-	void *user_context, struct edhoc_auth_creds *credentials);
-
-/**
- * \brief Authentication credentials verify callback for initiator.
- */
-int auth_cred_verify_init_x5chain_cs_2_static_dh(
-	void *user_context, struct edhoc_auth_creds *credentials,
-	const uint8_t **public_key_reference, size_t *public_key_length);
-
-/**
- * \brief Authentication credentials verify callback for responder.
- */
-int auth_cred_verify_resp_x5chain_cs_2_static_dh(
-	void *user_context, struct edhoc_auth_creds *credentials,
-	const uint8_t **public_key_reference, size_t *public_key_length);
-
-#endif /* AUTHENTICATION_CREDENTIALS_X5CHAIN_CS_2_STATIC_DH_H */