edhoc 1.0.4 → 1.1.0

package/external/libedhoc/tests/include/cipher_suites/test_cipher_suite_2.h

@@ -1,48 +0,0 @@
-/**
- * \file    test_cipher_suite_2.h
- * \author  Kamil Kielbasa
- * \brief   Unit tests for cipher suite 2.
- * \version 0.4
- * \date    2024-01-01
- * 
- * \copyright Copyright (c) 2024
- * 
- */
-
-/* Header guard ------------------------------------------------------------ */
-#ifndef TEST_CIPHER_SUITE_2_H
-#define TEST_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 Unit test for ECDSA (ES256).
- */
-void test_cipher_suite_2_ecdsa(void);
-
-/**
- * \brief Unit test for ECDH (P-256).
- */
-void test_cipher_suite_2_ecdh(void);
-
-/**
- * \brief Unit test for HKDF extract & expand (HMAC-SHA-256).
- */
-void test_cipher_suite_2_hkdf(void);
-
-/**
- * \brief Unit test for AEAD (AES-CCM-16-64-128).
- */
-void test_cipher_suite_2_aead(void);
-
-/**
- * \brief Unit test for hash (SHA-256).
- */
-void test_cipher_suite_2_hash(void);
-
-#endif /* TEST_CIPHER_SUITE_2_H */

package/external/libedhoc/tests/include/edhoc_trace_1/authentication_credentials_1.h

@@ -1,60 +0,0 @@
-/**
- * \file    authentication_credentials_1.h
- * \author  Kamil Kielbasa
- * \brief   Example implementation of authentication credentials callbacks
- *          for EDHOC traces (RFC 9529) for chapter 2.
- * \version 0.4
- * \date    2024-01-01
- * 
- * \copyright Copyright (c) 2024
- * 
- */
-
-/* Header guard ------------------------------------------------------------ */
-#ifndef AUTHENTICATION_CREDENTIALS_1_H
-#define AUTHENTICATION_CREDENTIALS_1_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(void *user_context,
-			 struct edhoc_auth_creds *credentials);
-
-/**
- * \brief Authentication credentials fetch callback for responder.
- */
-int auth_cred_fetch_resp(void *user_context,
-			 struct edhoc_auth_creds *credentials);
-
-/**
- * \brief Authentication credentials verify callback for initiator.
- */
-int auth_cred_verify_init(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(void *user_context,
-			  struct edhoc_auth_creds *credentials,
-			  const uint8_t **public_key_reference,
-			  size_t *public_key_length);
-
-#endif /* AUTHENTICATION_CREDENTIALS_1_H */

package/external/libedhoc/tests/include/edhoc_trace_1/test_edhoc_handshake_1.h

@@ -1,208 +0,0 @@
-/**
- * \file    test_edhoc_handshake_1.h
- * \author  Kamil Kielbasa
- * \brief   EDHOC handshake unit tests for EDHOC traces (RFC 9529) for chapter 2.
- * \version 0.4
- * \date    2024-01-01
- * 
- * \copyright Copyright (c) 2024
- * 
- */
-
-/* Header guard ------------------------------------------------------------ */
-#ifndef TEST_EDHOC_HANDSHAKE_1_H
-#define TEST_EDHOC_HANDSHAKE_1_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_1_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_1_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_1_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_1_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_1_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_1_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_1_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_1_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_1_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_1_e2e_real_crypto(void);
-
-/**
- * \brief Test scenario:
- *        - compute PRK exporter for:
- *          - OSCORE Master Secret.
- *          - OSCORE Master Salt.
- *          - Private usage secrets (labels: min, middle, max).
- */
-void test_edhoc_trace_1_prk_exporter(void);
-
-#endif /* TEST_EDHOC_HANDSHAKE_1_H */

package/external/libedhoc/tests/include/edhoc_trace_1/test_edhoc_handshake_ead_1.h

@@ -1,59 +0,0 @@
-/**
- * \file    test_edhoc_handshake_ead_1.h
- * \author  Kamil Kielbasa
- * \brief   EDHOC EAD handshake unit tests for EDHOC traces (RFC 9529) for chapter 2.
- * \version 0.4
- * \date    2024-01-01
- * 
- * \copyright Copyright (c) 2024
- * 
- */
-
-/* Header guard ------------------------------------------------------------ */
-#ifndef TEST_EDHOC_HANDSHAKE_EAD_1_H
-#define TEST_EDHOC_HANDSHAKE_EAD_1_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) perform full EDHOC handshake
- *           (message 1 -> message 2 -> mesage 3 -> message 4).
- *        2) use EAD compose and process with only single token.
- *        3) verify after each EAD compose and process:
- *           - label.
- *           - value length and value.
- *        3) export OSCORE sessions:
- *           - verify by cross-check:
- *             - internal context.
- *             - master secret.
- *             - master salt.
- *             - sender ID.
- *             - recipient ID.
- */
-void test_edhoc_handshake_1_e2e_single_ead_token(void);
-
-/**
- * \brief Test scenario:
- *        1) perform full EDHOC handshake
- *           (message 1 -> message 2 -> mesage 3 -> message 4).
- *        2) use EAD compose and process with many tokens.
- *        3) verify after each EAD compose and process:
- *           - label.
- *           - value length and value.
- *        3) export OSCORE sessions:
- *           - verify by cross-check:
- *             - internal context.
- *             - master secret.
- *             - master salt.
- *             - sender ID.
- *             - recipient ID.
- */
-void test_edhoc_handshake_1_e2e_multiple_ead_tokens(void);
-
-#endif /* TEST_EDHOC_HANDSHAKE_EAD_1_H */

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

@@ -1,60 +0,0 @@
-/**
- * \file    authentication_credentials_2.h
- * \author  Kamil Kielbasa
- * \brief   Example implementation of authentication credentials callbacks
- *          for EDHOC traces (RFC 9529) for chapter 3.
- * \version 0.4
- * \date    2024-01-01
- * 
- * \copyright Copyright (c) 2024
- * 
- */
-
-/* Header guard ------------------------------------------------------------ */
-#ifndef AUTHENTICATION_CREDENTIALS_2_H
-#define AUTHENTICATION_CREDENTIALS_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_2(void *user_context,
-			   struct edhoc_auth_creds *credentials);
-
-/**
- * \brief Authentication credentials fetch callback for responder.
- */
-int auth_cred_fetch_resp_2(void *user_context,
-			   struct edhoc_auth_creds *credentials);
-
-/**
- * \brief Authentication credentials verify callback for initiator.
- */
-int auth_cred_verify_init_2(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_2(void *user_context,
-			    struct edhoc_auth_creds *credentials,
-			    const uint8_t **public_key_reference,
-			    size_t *public_key_length);
-
-#endif /* AUTHENTICATION_CREDENTIALS_2_H */

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 */