blob: 2ec8bb74fb051f8ec08c890d2c8fa0bc85f34654 [file] [log] [blame]
Paul Bakker5121ce52009-01-03 21:22:43 +00001/*
2 * Diffie-Hellman-Merkle key exchange
3 *
Manuel Pégourié-Gonnard6fb81872015-07-27 11:11:48 +02004 * Copyright (C) 2006-2015, ARM Limited, All Rights Reserved
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02005 * SPDX-License-Identifier: Apache-2.0
6 *
7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
8 * not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
Paul Bakkerb96f1542010-07-18 20:36:00 +000018 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000019 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakker5121ce52009-01-03 21:22:43 +000020 */
21/*
Simon Butcherbdae02c2016-01-20 00:44:42 +000022 * The following sources were referenced in the design of this implementation
23 * of the Diffie-Hellman-Merkle algorithm:
Paul Bakker5121ce52009-01-03 21:22:43 +000024 *
Simon Butcherbdae02c2016-01-20 00:44:42 +000025 * [1] Handbook of Applied Cryptography - 1997, Chapter 12
26 * Menezes, van Oorschot and Vanstone
27 *
Paul Bakker5121ce52009-01-03 21:22:43 +000028 */
29
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020030#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000031#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020032#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020033#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020034#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000035
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020036#if defined(MBEDTLS_DHM_C)
Paul Bakker5121ce52009-01-03 21:22:43 +000037
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000038#include "mbedtls/dhm.h"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050039#include "mbedtls/platform_util.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000040
Rich Evans00ab4702015-02-06 13:43:58 +000041#include <string.h>
42
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020043#if defined(MBEDTLS_PEM_PARSE_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000044#include "mbedtls/pem.h"
Paul Bakker40ce79f2013-09-15 17:43:54 +020045#endif
46
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020047#if defined(MBEDTLS_ASN1_PARSE_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000048#include "mbedtls/asn1.h"
Paul Bakker40ce79f2013-09-15 17:43:54 +020049#endif
50
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020051#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000052#include "mbedtls/platform.h"
Paul Bakker40ce79f2013-09-15 17:43:54 +020053#else
54#include <stdlib.h>
Manuel Pégourié-Gonnard981732b2015-02-17 15:46:45 +000055#include <stdio.h>
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020056#define mbedtls_printf printf
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +020057#define mbedtls_calloc calloc
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020058#define mbedtls_free free
Paul Bakker40ce79f2013-09-15 17:43:54 +020059#endif
60
Reuven Levin1f35ca92017-12-07 10:09:32 +000061#if !defined(MBEDTLS_DHM_ALT)
Paul Bakker34617722014-06-13 17:20:13 +020062
Hanno Becker5c14ed62018-12-12 19:44:47 +000063#define DHM_VALIDATE_RET( cond ) \
64 MBEDTLS_INTERNAL_VALIDATE_RET( cond, MBEDTLS_ERR_DHM_BAD_INPUT_DATA )
65#define DHM_VALIDATE( cond ) \
66 MBEDTLS_INTERNAL_VALIDATE( cond )
67
Paul Bakker5121ce52009-01-03 21:22:43 +000068/*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020069 * helper to validate the mbedtls_mpi size and import it
Paul Bakker5121ce52009-01-03 21:22:43 +000070 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020071static int dhm_read_bignum( mbedtls_mpi *X,
Paul Bakker5121ce52009-01-03 21:22:43 +000072 unsigned char **p,
Paul Bakkerff60ee62010-03-16 21:09:09 +000073 const unsigned char *end )
Paul Bakker5121ce52009-01-03 21:22:43 +000074{
75 int ret, n;
76
77 if( end - *p < 2 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020078 return( MBEDTLS_ERR_DHM_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +000079
80 n = ( (*p)[0] << 8 ) | (*p)[1];
81 (*p) += 2;
82
83 if( (int)( end - *p ) < n )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020084 return( MBEDTLS_ERR_DHM_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +000085
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020086 if( ( ret = mbedtls_mpi_read_binary( X, *p, n ) ) != 0 )
87 return( MBEDTLS_ERR_DHM_READ_PARAMS_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +000088
89 (*p) += n;
90
91 return( 0 );
92}
93
94/*
Paul Bakkeraec37cb2012-04-26 18:59:59 +000095 * Verify sanity of parameter with regards to P
Paul Bakker345a6fe2011-02-28 21:20:02 +000096 *
Paul Bakkeraec37cb2012-04-26 18:59:59 +000097 * Parameter should be: 2 <= public_param <= P - 2
Paul Bakker345a6fe2011-02-28 21:20:02 +000098 *
Janos Follathaa325d72017-09-20 15:33:24 +010099 * This means that we need to return an error if
Janos Follath1ad1c6d2017-09-21 09:02:11 +0100100 * public_param < 2 or public_param > P-2
Janos Follathaa325d72017-09-20 15:33:24 +0100101 *
Paul Bakker345a6fe2011-02-28 21:20:02 +0000102 * For more information on the attack, see:
103 * http://www.cl.cam.ac.uk/~rja14/Papers/psandqs.pdf
104 * http://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2005-2643
Paul Bakkerc47840e2011-02-20 16:37:30 +0000105 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200106static int dhm_check_range( const mbedtls_mpi *param, const mbedtls_mpi *P )
Paul Bakkerc47840e2011-02-20 16:37:30 +0000107{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200108 mbedtls_mpi L, U;
Janos Follathaa325d72017-09-20 15:33:24 +0100109 int ret = 0;
Paul Bakkerc47840e2011-02-20 16:37:30 +0000110
Hanno Becker5c14ed62018-12-12 19:44:47 +0000111
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200112 mbedtls_mpi_init( &L ); mbedtls_mpi_init( &U );
Paul Bakker3d8fb632014-04-17 12:42:41 +0200113
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200114 MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &L, 2 ) );
115 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &U, P, 2 ) );
Paul Bakkerc47840e2011-02-20 16:37:30 +0000116
Janos Follathaa325d72017-09-20 15:33:24 +0100117 if( mbedtls_mpi_cmp_mpi( param, &L ) < 0 ||
118 mbedtls_mpi_cmp_mpi( param, &U ) > 0 )
Paul Bakkerc47840e2011-02-20 16:37:30 +0000119 {
Janos Follathaa325d72017-09-20 15:33:24 +0100120 ret = MBEDTLS_ERR_DHM_BAD_INPUT_DATA;
Paul Bakkerc47840e2011-02-20 16:37:30 +0000121 }
122
Paul Bakker3d8fb632014-04-17 12:42:41 +0200123cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200124 mbedtls_mpi_free( &L ); mbedtls_mpi_free( &U );
Paul Bakker345a6fe2011-02-28 21:20:02 +0000125 return( ret );
Paul Bakkerc47840e2011-02-20 16:37:30 +0000126}
127
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200128void mbedtls_dhm_init( mbedtls_dhm_context *ctx )
Paul Bakker8f870b02014-06-20 13:32:38 +0200129{
Hanno Becker5c14ed62018-12-12 19:44:47 +0000130 DHM_VALIDATE( ctx != NULL );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200131 memset( ctx, 0, sizeof( mbedtls_dhm_context ) );
Paul Bakker8f870b02014-06-20 13:32:38 +0200132}
133
Paul Bakkerc47840e2011-02-20 16:37:30 +0000134/*
Paul Bakker5121ce52009-01-03 21:22:43 +0000135 * Parse the ServerKeyExchange parameters
136 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200137int mbedtls_dhm_read_params( mbedtls_dhm_context *ctx,
Paul Bakker5121ce52009-01-03 21:22:43 +0000138 unsigned char **p,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000139 const unsigned char *end )
Paul Bakker5121ce52009-01-03 21:22:43 +0000140{
Paul Bakker13ed9ab2012-04-16 09:43:49 +0000141 int ret;
Hanno Becker5c14ed62018-12-12 19:44:47 +0000142 DHM_VALIDATE_RET( ctx != NULL );
143 DHM_VALIDATE_RET( p != NULL && *p != NULL );
144 DHM_VALIDATE_RET( end != NULL );
Paul Bakker5121ce52009-01-03 21:22:43 +0000145
Paul Bakker5121ce52009-01-03 21:22:43 +0000146 if( ( ret = dhm_read_bignum( &ctx->P, p, end ) ) != 0 ||
147 ( ret = dhm_read_bignum( &ctx->G, p, end ) ) != 0 ||
148 ( ret = dhm_read_bignum( &ctx->GY, p, end ) ) != 0 )
149 return( ret );
150
Paul Bakker345a6fe2011-02-28 21:20:02 +0000151 if( ( ret = dhm_check_range( &ctx->GY, &ctx->P ) ) != 0 )
152 return( ret );
153
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200154 ctx->len = mbedtls_mpi_size( &ctx->P );
Paul Bakker5121ce52009-01-03 21:22:43 +0000155
Paul Bakker5121ce52009-01-03 21:22:43 +0000156 return( 0 );
157}
158
159/*
160 * Setup and write the ServerKeyExchange parameters
161 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200162int mbedtls_dhm_make_params( mbedtls_dhm_context *ctx, int x_size,
Paul Bakker23986e52011-04-24 08:57:21 +0000163 unsigned char *output, size_t *olen,
Paul Bakkera3d195c2011-11-27 21:07:34 +0000164 int (*f_rng)(void *, unsigned char *, size_t),
165 void *p_rng )
Paul Bakker5121ce52009-01-03 21:22:43 +0000166{
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000167 int ret, count = 0;
Paul Bakker23986e52011-04-24 08:57:21 +0000168 size_t n1, n2, n3;
Paul Bakker5121ce52009-01-03 21:22:43 +0000169 unsigned char *p;
Hanno Becker5c14ed62018-12-12 19:44:47 +0000170 DHM_VALIDATE_RET( ctx != NULL );
171 DHM_VALIDATE_RET( output != NULL );
172 DHM_VALIDATE_RET( olen != NULL );
173 DHM_VALIDATE_RET( f_rng != NULL );
Paul Bakker5121ce52009-01-03 21:22:43 +0000174
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200175 if( mbedtls_mpi_cmp_int( &ctx->P, 0 ) == 0 )
176 return( MBEDTLS_ERR_DHM_BAD_INPUT_DATA );
Paul Bakkerb5b20f12012-09-16 15:07:49 +0000177
Paul Bakker5121ce52009-01-03 21:22:43 +0000178 /*
Paul Bakkerff7fe672010-07-18 09:45:05 +0000179 * Generate X as large as possible ( < P )
Paul Bakker5121ce52009-01-03 21:22:43 +0000180 */
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000181 do
182 {
Ron Eldor7269fee2017-01-12 14:50:50 +0200183 MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( &ctx->X, x_size, f_rng, p_rng ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000184
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200185 while( mbedtls_mpi_cmp_mpi( &ctx->X, &ctx->P ) >= 0 )
186 MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &ctx->X, 1 ) );
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000187
188 if( count++ > 10 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200189 return( MBEDTLS_ERR_DHM_MAKE_PARAMS_FAILED );
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000190 }
191 while( dhm_check_range( &ctx->X, &ctx->P ) != 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000192
Paul Bakkerff7fe672010-07-18 09:45:05 +0000193 /*
194 * Calculate GX = G^X mod P
195 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200196 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &ctx->GX, &ctx->G, &ctx->X,
Paul Bakker5121ce52009-01-03 21:22:43 +0000197 &ctx->P , &ctx->RP ) );
198
Paul Bakker345a6fe2011-02-28 21:20:02 +0000199 if( ( ret = dhm_check_range( &ctx->GX, &ctx->P ) ) != 0 )
Paul Bakkerc47840e2011-02-20 16:37:30 +0000200 return( ret );
201
Paul Bakker5121ce52009-01-03 21:22:43 +0000202 /*
203 * export P, G, GX
204 */
Hanno Beckerde6c1642017-10-02 15:03:15 +0100205#define DHM_MPI_EXPORT( X, n ) \
Hanno Beckere71ad122017-09-28 10:32:25 +0100206 do { \
Hanno Beckerde6c1642017-10-02 15:03:15 +0100207 MBEDTLS_MPI_CHK( mbedtls_mpi_write_binary( ( X ), \
208 p + 2, \
209 ( n ) ) ); \
210 *p++ = (unsigned char)( ( n ) >> 8 ); \
211 *p++ = (unsigned char)( ( n ) ); \
212 p += ( n ); \
Hanno Beckere71ad122017-09-28 10:32:25 +0100213 } while( 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000214
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200215 n1 = mbedtls_mpi_size( &ctx->P );
216 n2 = mbedtls_mpi_size( &ctx->G );
217 n3 = mbedtls_mpi_size( &ctx->GX );
Paul Bakker5121ce52009-01-03 21:22:43 +0000218
219 p = output;
220 DHM_MPI_EXPORT( &ctx->P , n1 );
221 DHM_MPI_EXPORT( &ctx->G , n2 );
222 DHM_MPI_EXPORT( &ctx->GX, n3 );
223
Hanno Beckere71ad122017-09-28 10:32:25 +0100224 *olen = p - output;
Paul Bakker5121ce52009-01-03 21:22:43 +0000225
226 ctx->len = n1;
227
228cleanup:
229
230 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200231 return( MBEDTLS_ERR_DHM_MAKE_PARAMS_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000232
233 return( 0 );
234}
235
236/*
Hanno Becker8880e752017-10-04 13:15:08 +0100237 * Set prime modulus and generator
238 */
239int mbedtls_dhm_set_group( mbedtls_dhm_context *ctx,
240 const mbedtls_mpi *P,
241 const mbedtls_mpi *G )
242{
243 int ret;
Hanno Becker5c14ed62018-12-12 19:44:47 +0000244 DHM_VALIDATE_RET( ctx != NULL );
245 DHM_VALIDATE_RET( P != NULL );
246 DHM_VALIDATE_RET( G != NULL );
Hanno Becker8880e752017-10-04 13:15:08 +0100247
248 if( ( ret = mbedtls_mpi_copy( &ctx->P, P ) ) != 0 ||
249 ( ret = mbedtls_mpi_copy( &ctx->G, G ) ) != 0 )
250 {
251 return( MBEDTLS_ERR_DHM_SET_GROUP_FAILED + ret );
252 }
253
254 ctx->len = mbedtls_mpi_size( &ctx->P );
255 return( 0 );
256}
257
258/*
Paul Bakker5121ce52009-01-03 21:22:43 +0000259 * Import the peer's public value G^Y
260 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200261int mbedtls_dhm_read_public( mbedtls_dhm_context *ctx,
Paul Bakker23986e52011-04-24 08:57:21 +0000262 const unsigned char *input, size_t ilen )
Paul Bakker5121ce52009-01-03 21:22:43 +0000263{
264 int ret;
Hanno Becker5c14ed62018-12-12 19:44:47 +0000265 DHM_VALIDATE_RET( ctx != NULL );
266 DHM_VALIDATE_RET( input != NULL );
Paul Bakker5121ce52009-01-03 21:22:43 +0000267
Hanno Becker5c14ed62018-12-12 19:44:47 +0000268 if( ilen < 1 || ilen > ctx->len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200269 return( MBEDTLS_ERR_DHM_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000270
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200271 if( ( ret = mbedtls_mpi_read_binary( &ctx->GY, input, ilen ) ) != 0 )
272 return( MBEDTLS_ERR_DHM_READ_PUBLIC_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000273
274 return( 0 );
275}
276
277/*
278 * Create own private value X and export G^X
279 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200280int mbedtls_dhm_make_public( mbedtls_dhm_context *ctx, int x_size,
Paul Bakker23986e52011-04-24 08:57:21 +0000281 unsigned char *output, size_t olen,
Paul Bakkera3d195c2011-11-27 21:07:34 +0000282 int (*f_rng)(void *, unsigned char *, size_t),
283 void *p_rng )
Paul Bakker5121ce52009-01-03 21:22:43 +0000284{
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000285 int ret, count = 0;
Hanno Becker5c14ed62018-12-12 19:44:47 +0000286 DHM_VALIDATE_RET( ctx != NULL );
287 DHM_VALIDATE_RET( output != NULL );
288 DHM_VALIDATE_RET( f_rng != NULL );
Paul Bakker5121ce52009-01-03 21:22:43 +0000289
Hanno Becker5c14ed62018-12-12 19:44:47 +0000290 if( olen < 1 || olen > ctx->len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200291 return( MBEDTLS_ERR_DHM_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000292
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200293 if( mbedtls_mpi_cmp_int( &ctx->P, 0 ) == 0 )
294 return( MBEDTLS_ERR_DHM_BAD_INPUT_DATA );
Paul Bakkerb5b20f12012-09-16 15:07:49 +0000295
Paul Bakker5121ce52009-01-03 21:22:43 +0000296 /*
297 * generate X and calculate GX = G^X mod P
298 */
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000299 do
300 {
Ron Eldor7269fee2017-01-12 14:50:50 +0200301 MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( &ctx->X, x_size, f_rng, p_rng ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000302
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200303 while( mbedtls_mpi_cmp_mpi( &ctx->X, &ctx->P ) >= 0 )
304 MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &ctx->X, 1 ) );
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000305
306 if( count++ > 10 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200307 return( MBEDTLS_ERR_DHM_MAKE_PUBLIC_FAILED );
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000308 }
309 while( dhm_check_range( &ctx->X, &ctx->P ) != 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000310
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200311 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &ctx->GX, &ctx->G, &ctx->X,
Paul Bakker5121ce52009-01-03 21:22:43 +0000312 &ctx->P , &ctx->RP ) );
313
Paul Bakker345a6fe2011-02-28 21:20:02 +0000314 if( ( ret = dhm_check_range( &ctx->GX, &ctx->P ) ) != 0 )
315 return( ret );
Paul Bakkerc47840e2011-02-20 16:37:30 +0000316
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200317 MBEDTLS_MPI_CHK( mbedtls_mpi_write_binary( &ctx->GX, output, olen ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000318
319cleanup:
320
321 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200322 return( MBEDTLS_ERR_DHM_MAKE_PUBLIC_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000323
324 return( 0 );
325}
326
327/*
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200328 * Use the blinding method and optimisation suggested in section 10 of:
329 * KOCHER, Paul C. Timing attacks on implementations of Diffie-Hellman, RSA,
Manuel Pégourié-Gonnard998930a2015-04-03 13:48:06 +0200330 * DSS, and other systems. In : Advances in Cryptology-CRYPTO'96. Springer
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200331 * Berlin Heidelberg, 1996. p. 104-113.
332 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200333static int dhm_update_blinding( mbedtls_dhm_context *ctx,
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200334 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
335{
336 int ret, count;
337
338 /*
Manuel Pégourié-Gonnard15d5de12013-09-17 11:34:11 +0200339 * Don't use any blinding the first time a particular X is used,
340 * but remember it to use blinding next time.
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200341 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200342 if( mbedtls_mpi_cmp_mpi( &ctx->X, &ctx->pX ) != 0 )
Manuel Pégourié-Gonnarded8a02b2013-09-04 16:39:03 +0200343 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200344 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &ctx->pX, &ctx->X ) );
345 MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &ctx->Vi, 1 ) );
346 MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &ctx->Vf, 1 ) );
Manuel Pégourié-Gonnarded8a02b2013-09-04 16:39:03 +0200347
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200348 return( 0 );
349 }
350
351 /*
Manuel Pégourié-Gonnard15d5de12013-09-17 11:34:11 +0200352 * Ok, we need blinding. Can we re-use existing values?
353 * If yes, just update them by squaring them.
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200354 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200355 if( mbedtls_mpi_cmp_int( &ctx->Vi, 1 ) != 0 )
Manuel Pégourié-Gonnard15d5de12013-09-17 11:34:11 +0200356 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200357 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &ctx->Vi, &ctx->Vi, &ctx->Vi ) );
358 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &ctx->Vi, &ctx->Vi, &ctx->P ) );
Manuel Pégourié-Gonnard15d5de12013-09-17 11:34:11 +0200359
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200360 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &ctx->Vf, &ctx->Vf, &ctx->Vf ) );
361 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &ctx->Vf, &ctx->Vf, &ctx->P ) );
Manuel Pégourié-Gonnard15d5de12013-09-17 11:34:11 +0200362
363 return( 0 );
364 }
365
366 /*
367 * We need to generate blinding values from scratch
368 */
369
370 /* Vi = random( 2, P-1 ) */
371 count = 0;
372 do
373 {
Ron Eldor7269fee2017-01-12 14:50:50 +0200374 MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( &ctx->Vi, mbedtls_mpi_size( &ctx->P ), f_rng, p_rng ) );
Manuel Pégourié-Gonnard15d5de12013-09-17 11:34:11 +0200375
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200376 while( mbedtls_mpi_cmp_mpi( &ctx->Vi, &ctx->P ) >= 0 )
377 MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &ctx->Vi, 1 ) );
Manuel Pégourié-Gonnard15d5de12013-09-17 11:34:11 +0200378
379 if( count++ > 10 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200380 return( MBEDTLS_ERR_MPI_NOT_ACCEPTABLE );
Manuel Pégourié-Gonnard15d5de12013-09-17 11:34:11 +0200381 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200382 while( mbedtls_mpi_cmp_int( &ctx->Vi, 1 ) <= 0 );
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200383
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200384 /* Vf = Vi^-X mod P */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200385 MBEDTLS_MPI_CHK( mbedtls_mpi_inv_mod( &ctx->Vf, &ctx->Vi, &ctx->P ) );
386 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &ctx->Vf, &ctx->Vf, &ctx->X, &ctx->P, &ctx->RP ) );
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200387
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200388cleanup:
389 return( ret );
390}
391
392/*
Paul Bakker5121ce52009-01-03 21:22:43 +0000393 * Derive and export the shared secret (G^Y)^X mod P
394 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200395int mbedtls_dhm_calc_secret( mbedtls_dhm_context *ctx,
Manuel Pégourié-Gonnard33352052015-06-02 16:17:08 +0100396 unsigned char *output, size_t output_size, size_t *olen,
Manuel Pégourié-Gonnard2d627642013-09-04 14:22:07 +0200397 int (*f_rng)(void *, unsigned char *, size_t),
398 void *p_rng )
Paul Bakker5121ce52009-01-03 21:22:43 +0000399{
400 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200401 mbedtls_mpi GYb;
Hanno Becker5c14ed62018-12-12 19:44:47 +0000402 DHM_VALIDATE_RET( ctx != NULL );
403 DHM_VALIDATE_RET( output != NULL );
404 DHM_VALIDATE_RET( olen != NULL );
Manuel Pégourié-Gonnard2d627642013-09-04 14:22:07 +0200405
Hanno Becker5c14ed62018-12-12 19:44:47 +0000406 if( output_size < ctx->len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200407 return( MBEDTLS_ERR_DHM_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000408
Paul Bakker345a6fe2011-02-28 21:20:02 +0000409 if( ( ret = dhm_check_range( &ctx->GY, &ctx->P ) ) != 0 )
Paul Bakkerc47840e2011-02-20 16:37:30 +0000410 return( ret );
411
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200412 mbedtls_mpi_init( &GYb );
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200413
414 /* Blind peer's value */
Manuel Pégourié-Gonnarded8a02b2013-09-04 16:39:03 +0200415 if( f_rng != NULL )
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200416 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200417 MBEDTLS_MPI_CHK( dhm_update_blinding( ctx, f_rng, p_rng ) );
418 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &GYb, &ctx->GY, &ctx->Vi ) );
419 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &GYb, &GYb, &ctx->P ) );
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200420 }
421 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200422 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &GYb, &ctx->GY ) );
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200423
424 /* Do modular exponentiation */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200425 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &ctx->K, &GYb, &ctx->X,
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200426 &ctx->P, &ctx->RP ) );
427
428 /* Unblind secret value */
Manuel Pégourié-Gonnarded8a02b2013-09-04 16:39:03 +0200429 if( f_rng != NULL )
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200430 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200431 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &ctx->K, &ctx->K, &ctx->Vf ) );
432 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &ctx->K, &ctx->K, &ctx->P ) );
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200433 }
434
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200435 *olen = mbedtls_mpi_size( &ctx->K );
Paul Bakker5121ce52009-01-03 21:22:43 +0000436
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200437 MBEDTLS_MPI_CHK( mbedtls_mpi_write_binary( &ctx->K, output, *olen ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000438
439cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200440 mbedtls_mpi_free( &GYb );
Paul Bakker5121ce52009-01-03 21:22:43 +0000441
442 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200443 return( MBEDTLS_ERR_DHM_CALC_SECRET_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000444
445 return( 0 );
446}
447
448/*
449 * Free the components of a DHM key
450 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200451void mbedtls_dhm_free( mbedtls_dhm_context *ctx )
Paul Bakker5121ce52009-01-03 21:22:43 +0000452{
Hanno Becker5c14ed62018-12-12 19:44:47 +0000453 if( ctx == NULL )
454 return;
455
Hanno Beckere71ad122017-09-28 10:32:25 +0100456 mbedtls_mpi_free( &ctx->pX ); mbedtls_mpi_free( &ctx->Vf );
457 mbedtls_mpi_free( &ctx->Vi ); mbedtls_mpi_free( &ctx->RP );
458 mbedtls_mpi_free( &ctx->K ); mbedtls_mpi_free( &ctx->GY );
459 mbedtls_mpi_free( &ctx->GX ); mbedtls_mpi_free( &ctx->X );
460 mbedtls_mpi_free( &ctx->G ); mbedtls_mpi_free( &ctx->P );
Manuel Pégourié-Gonnardb72b4ed2013-09-13 13:55:26 +0200461
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500462 mbedtls_platform_zeroize( ctx, sizeof( mbedtls_dhm_context ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000463}
464
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200465#if defined(MBEDTLS_ASN1_PARSE_C)
Paul Bakker40ce79f2013-09-15 17:43:54 +0200466/*
467 * Parse DHM parameters
468 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200469int mbedtls_dhm_parse_dhm( mbedtls_dhm_context *dhm, const unsigned char *dhmin,
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200470 size_t dhminlen )
Paul Bakker40ce79f2013-09-15 17:43:54 +0200471{
472 int ret;
473 size_t len;
474 unsigned char *p, *end;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200475#if defined(MBEDTLS_PEM_PARSE_C)
476 mbedtls_pem_context pem;
Hanno Becker5c14ed62018-12-12 19:44:47 +0000477#endif /* MBEDTLS_PEM_PARSE_C */
Paul Bakker40ce79f2013-09-15 17:43:54 +0200478
Hanno Becker5c14ed62018-12-12 19:44:47 +0000479 DHM_VALIDATE_RET( dhm != NULL );
480 DHM_VALIDATE_RET( dhmin != NULL );
481
482#if defined(MBEDTLS_PEM_PARSE_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200483 mbedtls_pem_init( &pem );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200484
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200485 /* Avoid calling mbedtls_pem_read_buffer() on non-null-terminated string */
Manuel Pégourié-Gonnard0ece0f92015-05-12 12:43:54 +0200486 if( dhminlen == 0 || dhmin[dhminlen - 1] != '\0' )
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200487 ret = MBEDTLS_ERR_PEM_NO_HEADER_FOOTER_PRESENT;
488 else
489 ret = mbedtls_pem_read_buffer( &pem,
490 "-----BEGIN DH PARAMETERS-----",
491 "-----END DH PARAMETERS-----",
492 dhmin, NULL, 0, &dhminlen );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200493
494 if( ret == 0 )
495 {
496 /*
497 * Was PEM encoded
498 */
499 dhminlen = pem.buflen;
500 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200501 else if( ret != MBEDTLS_ERR_PEM_NO_HEADER_FOOTER_PRESENT )
Paul Bakker40ce79f2013-09-15 17:43:54 +0200502 goto exit;
503
504 p = ( ret == 0 ) ? pem.buf : (unsigned char *) dhmin;
505#else
506 p = (unsigned char *) dhmin;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200507#endif /* MBEDTLS_PEM_PARSE_C */
Paul Bakker40ce79f2013-09-15 17:43:54 +0200508 end = p + dhminlen;
509
510 /*
511 * DHParams ::= SEQUENCE {
Daniel Kahn Gillmor2ed81732015-04-03 13:09:24 -0400512 * prime INTEGER, -- P
513 * generator INTEGER, -- g
514 * privateValueLength INTEGER OPTIONAL
Paul Bakker40ce79f2013-09-15 17:43:54 +0200515 * }
516 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200517 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
518 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker40ce79f2013-09-15 17:43:54 +0200519 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200520 ret = MBEDTLS_ERR_DHM_INVALID_FORMAT + ret;
Paul Bakker40ce79f2013-09-15 17:43:54 +0200521 goto exit;
522 }
523
524 end = p + len;
525
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200526 if( ( ret = mbedtls_asn1_get_mpi( &p, end, &dhm->P ) ) != 0 ||
527 ( ret = mbedtls_asn1_get_mpi( &p, end, &dhm->G ) ) != 0 )
Paul Bakker40ce79f2013-09-15 17:43:54 +0200528 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200529 ret = MBEDTLS_ERR_DHM_INVALID_FORMAT + ret;
Paul Bakker40ce79f2013-09-15 17:43:54 +0200530 goto exit;
531 }
532
533 if( p != end )
534 {
Manuel Pégourié-Gonnardde9b3632015-04-17 20:06:31 +0200535 /* This might be the optional privateValueLength.
536 * If so, we can cleanly discard it */
537 mbedtls_mpi rec;
538 mbedtls_mpi_init( &rec );
539 ret = mbedtls_asn1_get_mpi( &p, end, &rec );
540 mbedtls_mpi_free( &rec );
Daniel Kahn Gillmor2ed81732015-04-03 13:09:24 -0400541 if ( ret != 0 )
542 {
Manuel Pégourié-Gonnardde9b3632015-04-17 20:06:31 +0200543 ret = MBEDTLS_ERR_DHM_INVALID_FORMAT + ret;
Daniel Kahn Gillmor2ed81732015-04-03 13:09:24 -0400544 goto exit;
545 }
546 if ( p != end )
547 {
Manuel Pégourié-Gonnardde9b3632015-04-17 20:06:31 +0200548 ret = MBEDTLS_ERR_DHM_INVALID_FORMAT +
549 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH;
Daniel Kahn Gillmor2ed81732015-04-03 13:09:24 -0400550 goto exit;
551 }
Paul Bakker40ce79f2013-09-15 17:43:54 +0200552 }
553
554 ret = 0;
555
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200556 dhm->len = mbedtls_mpi_size( &dhm->P );
Manuel Pégourié-Gonnard3fec2202014-03-29 16:42:38 +0100557
Paul Bakker40ce79f2013-09-15 17:43:54 +0200558exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200559#if defined(MBEDTLS_PEM_PARSE_C)
560 mbedtls_pem_free( &pem );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200561#endif
562 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200563 mbedtls_dhm_free( dhm );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200564
565 return( ret );
566}
567
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200568#if defined(MBEDTLS_FS_IO)
Paul Bakker40ce79f2013-09-15 17:43:54 +0200569/*
570 * Load all data from a file into a given buffer.
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200571 *
572 * The file is expected to contain either PEM or DER encoded data.
573 * A terminating null byte is always appended. It is included in the announced
574 * length only if the data looks like it is PEM encoded.
Paul Bakker40ce79f2013-09-15 17:43:54 +0200575 */
576static int load_file( const char *path, unsigned char **buf, size_t *n )
577{
578 FILE *f;
579 long size;
580
581 if( ( f = fopen( path, "rb" ) ) == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200582 return( MBEDTLS_ERR_DHM_FILE_IO_ERROR );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200583
584 fseek( f, 0, SEEK_END );
585 if( ( size = ftell( f ) ) == -1 )
586 {
587 fclose( f );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200588 return( MBEDTLS_ERR_DHM_FILE_IO_ERROR );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200589 }
590 fseek( f, 0, SEEK_SET );
591
592 *n = (size_t) size;
593
594 if( *n + 1 == 0 ||
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200595 ( *buf = mbedtls_calloc( 1, *n + 1 ) ) == NULL )
Paul Bakker40ce79f2013-09-15 17:43:54 +0200596 {
597 fclose( f );
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200598 return( MBEDTLS_ERR_DHM_ALLOC_FAILED );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200599 }
600
601 if( fread( *buf, 1, *n, f ) != *n )
602 {
603 fclose( f );
Andres Amaya Garciabdbca7b2017-06-23 16:23:21 +0100604
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500605 mbedtls_platform_zeroize( *buf, *n + 1 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200606 mbedtls_free( *buf );
Andres Amaya Garciabdbca7b2017-06-23 16:23:21 +0100607
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200608 return( MBEDTLS_ERR_DHM_FILE_IO_ERROR );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200609 }
610
611 fclose( f );
612
613 (*buf)[*n] = '\0';
614
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200615 if( strstr( (const char *) *buf, "-----BEGIN " ) != NULL )
616 ++*n;
617
Paul Bakker40ce79f2013-09-15 17:43:54 +0200618 return( 0 );
619}
620
621/*
622 * Load and parse DHM parameters
623 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200624int mbedtls_dhm_parse_dhmfile( mbedtls_dhm_context *dhm, const char *path )
Paul Bakker40ce79f2013-09-15 17:43:54 +0200625{
626 int ret;
627 size_t n;
628 unsigned char *buf;
Hanno Becker5c14ed62018-12-12 19:44:47 +0000629 DHM_VALIDATE_RET( dhm != NULL );
630 DHM_VALIDATE_RET( path != NULL );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200631
Paul Bakker66d5d072014-06-17 16:39:18 +0200632 if( ( ret = load_file( path, &buf, &n ) ) != 0 )
Paul Bakker40ce79f2013-09-15 17:43:54 +0200633 return( ret );
634
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200635 ret = mbedtls_dhm_parse_dhm( dhm, buf, n );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200636
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500637 mbedtls_platform_zeroize( buf, n );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200638 mbedtls_free( buf );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200639
640 return( ret );
641}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200642#endif /* MBEDTLS_FS_IO */
643#endif /* MBEDTLS_ASN1_PARSE_C */
nirekh0149762fa2017-12-25 06:46:48 +0000644#endif /* MBEDTLS_DHM_ALT */
Paul Bakker40ce79f2013-09-15 17:43:54 +0200645
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200646#if defined(MBEDTLS_SELF_TEST)
Paul Bakker5121ce52009-01-03 21:22:43 +0000647
Manuel Pégourié-Gonnard53585ee2015-06-25 08:52:25 +0200648static const char mbedtls_test_dhm_params[] =
649"-----BEGIN DH PARAMETERS-----\r\n"
650"MIGHAoGBAJ419DBEOgmQTzo5qXl5fQcN9TN455wkOL7052HzxxRVMyhYmwQcgJvh\r\n"
651"1sa18fyfR9OiVEMYglOpkqVoGLN7qd5aQNNi5W7/C+VBdHTBJcGZJyyP5B3qcz32\r\n"
652"9mLJKudlVudV0Qxk5qUJaPZ/xupz0NyoVpviuiBOI1gNi8ovSXWzAgEC\r\n"
653"-----END DH PARAMETERS-----\r\n";
654
655static const size_t mbedtls_test_dhm_params_len = sizeof( mbedtls_test_dhm_params );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200656
Paul Bakker5121ce52009-01-03 21:22:43 +0000657/*
658 * Checkup routine
659 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200660int mbedtls_dhm_self_test( int verbose )
Paul Bakker5121ce52009-01-03 21:22:43 +0000661{
Paul Bakker40ce79f2013-09-15 17:43:54 +0200662 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200663 mbedtls_dhm_context dhm;
Paul Bakker40ce79f2013-09-15 17:43:54 +0200664
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200665 mbedtls_dhm_init( &dhm );
Paul Bakker8f870b02014-06-20 13:32:38 +0200666
Paul Bakker40ce79f2013-09-15 17:43:54 +0200667 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200668 mbedtls_printf( " DHM parameter load: " );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200669
Manuel Pégourié-Gonnard53585ee2015-06-25 08:52:25 +0200670 if( ( ret = mbedtls_dhm_parse_dhm( &dhm,
671 (const unsigned char *) mbedtls_test_dhm_params,
672 mbedtls_test_dhm_params_len ) ) != 0 )
Paul Bakker40ce79f2013-09-15 17:43:54 +0200673 {
674 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200675 mbedtls_printf( "failed\n" );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200676
Manuel Pégourié-Gonnardb196fc22014-07-09 16:53:29 +0200677 ret = 1;
Paul Bakker8f870b02014-06-20 13:32:38 +0200678 goto exit;
Paul Bakker40ce79f2013-09-15 17:43:54 +0200679 }
680
681 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200682 mbedtls_printf( "passed\n\n" );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200683
Paul Bakker8f870b02014-06-20 13:32:38 +0200684exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200685 mbedtls_dhm_free( &dhm );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200686
Paul Bakker8f870b02014-06-20 13:32:38 +0200687 return( ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000688}
689
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200690#endif /* MBEDTLS_SELF_TEST */
Paul Bakker5121ce52009-01-03 21:22:43 +0000691
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200692#endif /* MBEDTLS_DHM_C */