blob: 6938e3d7df211edc15e0b6f6344a67d9e824fabe [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
Bence Szépkúti4e9f7122020-06-05 13:02:18 +02005 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
6 *
7 * This file is provided under the Apache License 2.0, or the
8 * GNU General Public License v2.0 or later.
9 *
10 * **********
11 * Apache License 2.0:
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +020012 *
13 * Licensed under the Apache License, Version 2.0 (the "License"); you may
14 * not use this file except in compliance with the License.
15 * You may obtain a copy of the License at
16 *
17 * http://www.apache.org/licenses/LICENSE-2.0
18 *
19 * Unless required by applicable law or agreed to in writing, software
20 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
21 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
22 * See the License for the specific language governing permissions and
23 * limitations under the License.
Paul Bakkerb96f1542010-07-18 20:36:00 +000024 *
Bence Szépkúti4e9f7122020-06-05 13:02:18 +020025 * **********
26 *
27 * **********
28 * GNU General Public License v2.0 or later:
29 *
30 * This program is free software; you can redistribute it and/or modify
31 * it under the terms of the GNU General Public License as published by
32 * the Free Software Foundation; either version 2 of the License, or
33 * (at your option) any later version.
34 *
35 * This program is distributed in the hope that it will be useful,
36 * but WITHOUT ANY WARRANTY; without even the implied warranty of
37 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
38 * GNU General Public License for more details.
39 *
40 * You should have received a copy of the GNU General Public License along
41 * with this program; if not, write to the Free Software Foundation, Inc.,
42 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
43 *
44 * **********
45 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000046 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakker5121ce52009-01-03 21:22:43 +000047 */
48/*
Simon Butcherbdae02c2016-01-20 00:44:42 +000049 * The following sources were referenced in the design of this implementation
50 * of the Diffie-Hellman-Merkle algorithm:
Paul Bakker5121ce52009-01-03 21:22:43 +000051 *
Simon Butcherbdae02c2016-01-20 00:44:42 +000052 * [1] Handbook of Applied Cryptography - 1997, Chapter 12
53 * Menezes, van Oorschot and Vanstone
54 *
Paul Bakker5121ce52009-01-03 21:22:43 +000055 */
56
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020057#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000058#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020059#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020060#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020061#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000062
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020063#if defined(MBEDTLS_DHM_C)
Paul Bakker5121ce52009-01-03 21:22:43 +000064
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000065#include "mbedtls/dhm.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000066
Rich Evans00ab4702015-02-06 13:43:58 +000067#include <string.h>
68
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020069#if defined(MBEDTLS_PEM_PARSE_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000070#include "mbedtls/pem.h"
Paul Bakker40ce79f2013-09-15 17:43:54 +020071#endif
72
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020073#if defined(MBEDTLS_ASN1_PARSE_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000074#include "mbedtls/asn1.h"
Paul Bakker40ce79f2013-09-15 17:43:54 +020075#endif
76
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020077#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000078#include "mbedtls/platform.h"
Paul Bakker40ce79f2013-09-15 17:43:54 +020079#else
80#include <stdlib.h>
Manuel Pégourié-Gonnard981732b2015-02-17 15:46:45 +000081#include <stdio.h>
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020082#define mbedtls_printf printf
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +020083#define mbedtls_calloc calloc
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020084#define mbedtls_free free
Paul Bakker40ce79f2013-09-15 17:43:54 +020085#endif
86
Reuven Levin1f35ca92017-12-07 10:09:32 +000087#if !defined(MBEDTLS_DHM_ALT)
Paul Bakker34617722014-06-13 17:20:13 +020088/* Implementation that should never be optimized out by the compiler */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020089static void mbedtls_zeroize( void *v, size_t n ) {
Paul Bakker34617722014-06-13 17:20:13 +020090 volatile unsigned char *p = v; while( n-- ) *p++ = 0;
91}
92
Paul Bakker5121ce52009-01-03 21:22:43 +000093/*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020094 * helper to validate the mbedtls_mpi size and import it
Paul Bakker5121ce52009-01-03 21:22:43 +000095 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020096static int dhm_read_bignum( mbedtls_mpi *X,
Paul Bakker5121ce52009-01-03 21:22:43 +000097 unsigned char **p,
Paul Bakkerff60ee62010-03-16 21:09:09 +000098 const unsigned char *end )
Paul Bakker5121ce52009-01-03 21:22:43 +000099{
100 int ret, n;
101
102 if( end - *p < 2 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200103 return( MBEDTLS_ERR_DHM_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000104
105 n = ( (*p)[0] << 8 ) | (*p)[1];
106 (*p) += 2;
107
108 if( (int)( end - *p ) < n )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200109 return( MBEDTLS_ERR_DHM_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000110
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200111 if( ( ret = mbedtls_mpi_read_binary( X, *p, n ) ) != 0 )
112 return( MBEDTLS_ERR_DHM_READ_PARAMS_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000113
114 (*p) += n;
115
116 return( 0 );
117}
118
119/*
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000120 * Verify sanity of parameter with regards to P
Paul Bakker345a6fe2011-02-28 21:20:02 +0000121 *
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000122 * Parameter should be: 2 <= public_param <= P - 2
Paul Bakker345a6fe2011-02-28 21:20:02 +0000123 *
Janos Follathaa325d72017-09-20 15:33:24 +0100124 * This means that we need to return an error if
Janos Follath1ad1c6d2017-09-21 09:02:11 +0100125 * public_param < 2 or public_param > P-2
Janos Follathaa325d72017-09-20 15:33:24 +0100126 *
Paul Bakker345a6fe2011-02-28 21:20:02 +0000127 * For more information on the attack, see:
128 * http://www.cl.cam.ac.uk/~rja14/Papers/psandqs.pdf
129 * http://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2005-2643
Paul Bakkerc47840e2011-02-20 16:37:30 +0000130 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200131static int dhm_check_range( const mbedtls_mpi *param, const mbedtls_mpi *P )
Paul Bakkerc47840e2011-02-20 16:37:30 +0000132{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200133 mbedtls_mpi L, U;
Janos Follathaa325d72017-09-20 15:33:24 +0100134 int ret = 0;
Paul Bakkerc47840e2011-02-20 16:37:30 +0000135
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200136 mbedtls_mpi_init( &L ); mbedtls_mpi_init( &U );
Paul Bakker3d8fb632014-04-17 12:42:41 +0200137
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200138 MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &L, 2 ) );
139 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &U, P, 2 ) );
Paul Bakkerc47840e2011-02-20 16:37:30 +0000140
Janos Follathaa325d72017-09-20 15:33:24 +0100141 if( mbedtls_mpi_cmp_mpi( param, &L ) < 0 ||
142 mbedtls_mpi_cmp_mpi( param, &U ) > 0 )
Paul Bakkerc47840e2011-02-20 16:37:30 +0000143 {
Janos Follathaa325d72017-09-20 15:33:24 +0100144 ret = MBEDTLS_ERR_DHM_BAD_INPUT_DATA;
Paul Bakkerc47840e2011-02-20 16:37:30 +0000145 }
146
Paul Bakker3d8fb632014-04-17 12:42:41 +0200147cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200148 mbedtls_mpi_free( &L ); mbedtls_mpi_free( &U );
Paul Bakker345a6fe2011-02-28 21:20:02 +0000149 return( ret );
Paul Bakkerc47840e2011-02-20 16:37:30 +0000150}
151
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200152void mbedtls_dhm_init( mbedtls_dhm_context *ctx )
Paul Bakker8f870b02014-06-20 13:32:38 +0200153{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200154 memset( ctx, 0, sizeof( mbedtls_dhm_context ) );
Paul Bakker8f870b02014-06-20 13:32:38 +0200155}
156
Paul Bakkerc47840e2011-02-20 16:37:30 +0000157/*
Paul Bakker5121ce52009-01-03 21:22:43 +0000158 * Parse the ServerKeyExchange parameters
159 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200160int mbedtls_dhm_read_params( mbedtls_dhm_context *ctx,
Paul Bakker5121ce52009-01-03 21:22:43 +0000161 unsigned char **p,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000162 const unsigned char *end )
Paul Bakker5121ce52009-01-03 21:22:43 +0000163{
Paul Bakker13ed9ab2012-04-16 09:43:49 +0000164 int ret;
Paul Bakker5121ce52009-01-03 21:22:43 +0000165
Paul Bakker5121ce52009-01-03 21:22:43 +0000166 if( ( ret = dhm_read_bignum( &ctx->P, p, end ) ) != 0 ||
167 ( ret = dhm_read_bignum( &ctx->G, p, end ) ) != 0 ||
168 ( ret = dhm_read_bignum( &ctx->GY, p, end ) ) != 0 )
169 return( ret );
170
Paul Bakker345a6fe2011-02-28 21:20:02 +0000171 if( ( ret = dhm_check_range( &ctx->GY, &ctx->P ) ) != 0 )
172 return( ret );
173
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200174 ctx->len = mbedtls_mpi_size( &ctx->P );
Paul Bakker5121ce52009-01-03 21:22:43 +0000175
Paul Bakker5121ce52009-01-03 21:22:43 +0000176 return( 0 );
177}
178
179/*
180 * Setup and write the ServerKeyExchange parameters
181 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200182int mbedtls_dhm_make_params( mbedtls_dhm_context *ctx, int x_size,
Paul Bakker23986e52011-04-24 08:57:21 +0000183 unsigned char *output, size_t *olen,
Paul Bakkera3d195c2011-11-27 21:07:34 +0000184 int (*f_rng)(void *, unsigned char *, size_t),
185 void *p_rng )
Paul Bakker5121ce52009-01-03 21:22:43 +0000186{
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000187 int ret, count = 0;
Paul Bakker23986e52011-04-24 08:57:21 +0000188 size_t n1, n2, n3;
Paul Bakker5121ce52009-01-03 21:22:43 +0000189 unsigned char *p;
190
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200191 if( mbedtls_mpi_cmp_int( &ctx->P, 0 ) == 0 )
192 return( MBEDTLS_ERR_DHM_BAD_INPUT_DATA );
Paul Bakkerb5b20f12012-09-16 15:07:49 +0000193
Paul Bakker5121ce52009-01-03 21:22:43 +0000194 /*
Paul Bakkerff7fe672010-07-18 09:45:05 +0000195 * Generate X as large as possible ( < P )
Paul Bakker5121ce52009-01-03 21:22:43 +0000196 */
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000197 do
198 {
Ron Eldor7269fee2017-01-12 14:50:50 +0200199 MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( &ctx->X, x_size, f_rng, p_rng ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000200
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200201 while( mbedtls_mpi_cmp_mpi( &ctx->X, &ctx->P ) >= 0 )
202 MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &ctx->X, 1 ) );
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000203
204 if( count++ > 10 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200205 return( MBEDTLS_ERR_DHM_MAKE_PARAMS_FAILED );
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000206 }
207 while( dhm_check_range( &ctx->X, &ctx->P ) != 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000208
Paul Bakkerff7fe672010-07-18 09:45:05 +0000209 /*
210 * Calculate GX = G^X mod P
211 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200212 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &ctx->GX, &ctx->G, &ctx->X,
Paul Bakker5121ce52009-01-03 21:22:43 +0000213 &ctx->P , &ctx->RP ) );
214
Paul Bakker345a6fe2011-02-28 21:20:02 +0000215 if( ( ret = dhm_check_range( &ctx->GX, &ctx->P ) ) != 0 )
Paul Bakkerc47840e2011-02-20 16:37:30 +0000216 return( ret );
217
Paul Bakker5121ce52009-01-03 21:22:43 +0000218 /*
219 * export P, G, GX
220 */
Hanno Beckerde6c1642017-10-02 15:03:15 +0100221#define DHM_MPI_EXPORT( X, n ) \
Hanno Beckere71ad122017-09-28 10:32:25 +0100222 do { \
Hanno Beckerde6c1642017-10-02 15:03:15 +0100223 MBEDTLS_MPI_CHK( mbedtls_mpi_write_binary( ( X ), \
224 p + 2, \
225 ( n ) ) ); \
226 *p++ = (unsigned char)( ( n ) >> 8 ); \
227 *p++ = (unsigned char)( ( n ) ); \
228 p += ( n ); \
Hanno Beckere71ad122017-09-28 10:32:25 +0100229 } while( 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000230
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200231 n1 = mbedtls_mpi_size( &ctx->P );
232 n2 = mbedtls_mpi_size( &ctx->G );
233 n3 = mbedtls_mpi_size( &ctx->GX );
Paul Bakker5121ce52009-01-03 21:22:43 +0000234
235 p = output;
236 DHM_MPI_EXPORT( &ctx->P , n1 );
237 DHM_MPI_EXPORT( &ctx->G , n2 );
238 DHM_MPI_EXPORT( &ctx->GX, n3 );
239
Hanno Beckere71ad122017-09-28 10:32:25 +0100240 *olen = p - output;
Paul Bakker5121ce52009-01-03 21:22:43 +0000241
242 ctx->len = n1;
243
244cleanup:
245
246 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200247 return( MBEDTLS_ERR_DHM_MAKE_PARAMS_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000248
249 return( 0 );
250}
251
252/*
Hanno Becker8880e752017-10-04 13:15:08 +0100253 * Set prime modulus and generator
254 */
255int mbedtls_dhm_set_group( mbedtls_dhm_context *ctx,
256 const mbedtls_mpi *P,
257 const mbedtls_mpi *G )
258{
259 int ret;
260
261 if( ctx == NULL || P == NULL || G == NULL )
262 return( MBEDTLS_ERR_DHM_BAD_INPUT_DATA );
263
264 if( ( ret = mbedtls_mpi_copy( &ctx->P, P ) ) != 0 ||
265 ( ret = mbedtls_mpi_copy( &ctx->G, G ) ) != 0 )
266 {
267 return( MBEDTLS_ERR_DHM_SET_GROUP_FAILED + ret );
268 }
269
270 ctx->len = mbedtls_mpi_size( &ctx->P );
271 return( 0 );
272}
273
274/*
Paul Bakker5121ce52009-01-03 21:22:43 +0000275 * Import the peer's public value G^Y
276 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200277int mbedtls_dhm_read_public( mbedtls_dhm_context *ctx,
Paul Bakker23986e52011-04-24 08:57:21 +0000278 const unsigned char *input, size_t ilen )
Paul Bakker5121ce52009-01-03 21:22:43 +0000279{
280 int ret;
281
282 if( ctx == NULL || ilen < 1 || ilen > ctx->len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200283 return( MBEDTLS_ERR_DHM_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000284
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200285 if( ( ret = mbedtls_mpi_read_binary( &ctx->GY, input, ilen ) ) != 0 )
286 return( MBEDTLS_ERR_DHM_READ_PUBLIC_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000287
288 return( 0 );
289}
290
291/*
292 * Create own private value X and export G^X
293 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200294int mbedtls_dhm_make_public( mbedtls_dhm_context *ctx, int x_size,
Paul Bakker23986e52011-04-24 08:57:21 +0000295 unsigned char *output, size_t olen,
Paul Bakkera3d195c2011-11-27 21:07:34 +0000296 int (*f_rng)(void *, unsigned char *, size_t),
297 void *p_rng )
Paul Bakker5121ce52009-01-03 21:22:43 +0000298{
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000299 int ret, count = 0;
Paul Bakker5121ce52009-01-03 21:22:43 +0000300
301 if( ctx == NULL || olen < 1 || olen > ctx->len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200302 return( MBEDTLS_ERR_DHM_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000303
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200304 if( mbedtls_mpi_cmp_int( &ctx->P, 0 ) == 0 )
305 return( MBEDTLS_ERR_DHM_BAD_INPUT_DATA );
Paul Bakkerb5b20f12012-09-16 15:07:49 +0000306
Paul Bakker5121ce52009-01-03 21:22:43 +0000307 /*
308 * generate X and calculate GX = G^X mod P
309 */
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000310 do
311 {
Ron Eldor7269fee2017-01-12 14:50:50 +0200312 MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( &ctx->X, x_size, f_rng, p_rng ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000313
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200314 while( mbedtls_mpi_cmp_mpi( &ctx->X, &ctx->P ) >= 0 )
315 MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( &ctx->X, 1 ) );
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000316
317 if( count++ > 10 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200318 return( MBEDTLS_ERR_DHM_MAKE_PUBLIC_FAILED );
Paul Bakkeraec37cb2012-04-26 18:59:59 +0000319 }
320 while( dhm_check_range( &ctx->X, &ctx->P ) != 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000321
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200322 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &ctx->GX, &ctx->G, &ctx->X,
Paul Bakker5121ce52009-01-03 21:22:43 +0000323 &ctx->P , &ctx->RP ) );
324
Paul Bakker345a6fe2011-02-28 21:20:02 +0000325 if( ( ret = dhm_check_range( &ctx->GX, &ctx->P ) ) != 0 )
326 return( ret );
Paul Bakkerc47840e2011-02-20 16:37:30 +0000327
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200328 MBEDTLS_MPI_CHK( mbedtls_mpi_write_binary( &ctx->GX, output, olen ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000329
330cleanup:
331
332 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200333 return( MBEDTLS_ERR_DHM_MAKE_PUBLIC_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000334
335 return( 0 );
336}
337
338/*
Manuel Pégourié-Gonnardf0f43c52020-06-25 12:34:58 +0200339 * Pick a random R in the range [2, M) for blinding purposes
340 */
341static int dhm_random_below( mbedtls_mpi *R, const mbedtls_mpi *M,
342 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
343{
344 int ret, count;
345
346 count = 0;
347 do
348 {
349 MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( R, mbedtls_mpi_size( M ), f_rng, p_rng ) );
350
351 while( mbedtls_mpi_cmp_mpi( R, M ) >= 0 )
352 MBEDTLS_MPI_CHK( mbedtls_mpi_shift_r( R, 1 ) );
353
354 if( count++ > 10 )
355 return( MBEDTLS_ERR_MPI_NOT_ACCEPTABLE );
356 }
357 while( mbedtls_mpi_cmp_int( R, 1 ) <= 0 );
358
359cleanup:
360 return( ret );
361}
362
363
364/*
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200365 * Use the blinding method and optimisation suggested in section 10 of:
366 * KOCHER, Paul C. Timing attacks on implementations of Diffie-Hellman, RSA,
Manuel Pégourié-Gonnard998930a2015-04-03 13:48:06 +0200367 * DSS, and other systems. In : Advances in Cryptology-CRYPTO'96. Springer
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200368 * Berlin Heidelberg, 1996. p. 104-113.
369 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200370static int dhm_update_blinding( mbedtls_dhm_context *ctx,
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200371 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
372{
Manuel Pégourié-Gonnardf0f43c52020-06-25 12:34:58 +0200373 int ret;
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200374
375 /*
Manuel Pégourié-Gonnard15d5de12013-09-17 11:34:11 +0200376 * Don't use any blinding the first time a particular X is used,
377 * but remember it to use blinding next time.
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200378 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200379 if( mbedtls_mpi_cmp_mpi( &ctx->X, &ctx->pX ) != 0 )
Manuel Pégourié-Gonnarded8a02b2013-09-04 16:39:03 +0200380 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200381 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &ctx->pX, &ctx->X ) );
382 MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &ctx->Vi, 1 ) );
383 MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &ctx->Vf, 1 ) );
Manuel Pégourié-Gonnarded8a02b2013-09-04 16:39:03 +0200384
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200385 return( 0 );
386 }
387
388 /*
Manuel Pégourié-Gonnard15d5de12013-09-17 11:34:11 +0200389 * Ok, we need blinding. Can we re-use existing values?
390 * If yes, just update them by squaring them.
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200391 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200392 if( mbedtls_mpi_cmp_int( &ctx->Vi, 1 ) != 0 )
Manuel Pégourié-Gonnard15d5de12013-09-17 11:34:11 +0200393 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200394 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &ctx->Vi, &ctx->Vi, &ctx->Vi ) );
395 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &ctx->Vi, &ctx->Vi, &ctx->P ) );
Manuel Pégourié-Gonnard15d5de12013-09-17 11:34:11 +0200396
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200397 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &ctx->Vf, &ctx->Vf, &ctx->Vf ) );
398 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &ctx->Vf, &ctx->Vf, &ctx->P ) );
Manuel Pégourié-Gonnard15d5de12013-09-17 11:34:11 +0200399
400 return( 0 );
401 }
402
403 /*
404 * We need to generate blinding values from scratch
405 */
406
407 /* Vi = random( 2, P-1 ) */
Manuel Pégourié-Gonnardf0f43c52020-06-25 12:34:58 +0200408 MBEDTLS_MPI_CHK( dhm_random_below( &ctx->Vi, &ctx->P, f_rng, p_rng ) );
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200409
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200410 /* Vf = Vi^-X mod P */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200411 MBEDTLS_MPI_CHK( mbedtls_mpi_inv_mod( &ctx->Vf, &ctx->Vi, &ctx->P ) );
412 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 +0200413
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200414cleanup:
415 return( ret );
416}
417
418/*
Paul Bakker5121ce52009-01-03 21:22:43 +0000419 * Derive and export the shared secret (G^Y)^X mod P
420 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200421int mbedtls_dhm_calc_secret( mbedtls_dhm_context *ctx,
Manuel Pégourié-Gonnard33352052015-06-02 16:17:08 +0100422 unsigned char *output, size_t output_size, size_t *olen,
Manuel Pégourié-Gonnard2d627642013-09-04 14:22:07 +0200423 int (*f_rng)(void *, unsigned char *, size_t),
424 void *p_rng )
Paul Bakker5121ce52009-01-03 21:22:43 +0000425{
426 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200427 mbedtls_mpi GYb;
Manuel Pégourié-Gonnard2d627642013-09-04 14:22:07 +0200428
Manuel Pégourié-Gonnard33352052015-06-02 16:17:08 +0100429 if( ctx == NULL || output_size < ctx->len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200430 return( MBEDTLS_ERR_DHM_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000431
Paul Bakker345a6fe2011-02-28 21:20:02 +0000432 if( ( ret = dhm_check_range( &ctx->GY, &ctx->P ) ) != 0 )
Paul Bakkerc47840e2011-02-20 16:37:30 +0000433 return( ret );
434
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200435 mbedtls_mpi_init( &GYb );
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200436
437 /* Blind peer's value */
Manuel Pégourié-Gonnarded8a02b2013-09-04 16:39:03 +0200438 if( f_rng != NULL )
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200439 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200440 MBEDTLS_MPI_CHK( dhm_update_blinding( ctx, f_rng, p_rng ) );
441 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &GYb, &ctx->GY, &ctx->Vi ) );
442 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &GYb, &GYb, &ctx->P ) );
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200443 }
444 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200445 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &GYb, &ctx->GY ) );
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200446
447 /* Do modular exponentiation */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200448 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &ctx->K, &GYb, &ctx->X,
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200449 &ctx->P, &ctx->RP ) );
450
451 /* Unblind secret value */
Manuel Pégourié-Gonnarded8a02b2013-09-04 16:39:03 +0200452 if( f_rng != NULL )
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200453 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200454 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &ctx->K, &ctx->K, &ctx->Vf ) );
455 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &ctx->K, &ctx->K, &ctx->P ) );
Manuel Pégourié-Gonnard143b5022013-09-04 16:29:59 +0200456 }
457
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200458 *olen = mbedtls_mpi_size( &ctx->K );
Paul Bakker5121ce52009-01-03 21:22:43 +0000459
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200460 MBEDTLS_MPI_CHK( mbedtls_mpi_write_binary( &ctx->K, output, *olen ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000461
462cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200463 mbedtls_mpi_free( &GYb );
Paul Bakker5121ce52009-01-03 21:22:43 +0000464
465 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200466 return( MBEDTLS_ERR_DHM_CALC_SECRET_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000467
468 return( 0 );
469}
470
471/*
472 * Free the components of a DHM key
473 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200474void mbedtls_dhm_free( mbedtls_dhm_context *ctx )
Paul Bakker5121ce52009-01-03 21:22:43 +0000475{
Hanno Beckere71ad122017-09-28 10:32:25 +0100476 mbedtls_mpi_free( &ctx->pX ); mbedtls_mpi_free( &ctx->Vf );
477 mbedtls_mpi_free( &ctx->Vi ); mbedtls_mpi_free( &ctx->RP );
478 mbedtls_mpi_free( &ctx->K ); mbedtls_mpi_free( &ctx->GY );
479 mbedtls_mpi_free( &ctx->GX ); mbedtls_mpi_free( &ctx->X );
480 mbedtls_mpi_free( &ctx->G ); mbedtls_mpi_free( &ctx->P );
Manuel Pégourié-Gonnardb72b4ed2013-09-13 13:55:26 +0200481
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200482 mbedtls_zeroize( ctx, sizeof( mbedtls_dhm_context ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000483}
484
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200485#if defined(MBEDTLS_ASN1_PARSE_C)
Paul Bakker40ce79f2013-09-15 17:43:54 +0200486/*
487 * Parse DHM parameters
488 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200489int mbedtls_dhm_parse_dhm( mbedtls_dhm_context *dhm, const unsigned char *dhmin,
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200490 size_t dhminlen )
Paul Bakker40ce79f2013-09-15 17:43:54 +0200491{
492 int ret;
493 size_t len;
494 unsigned char *p, *end;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200495#if defined(MBEDTLS_PEM_PARSE_C)
496 mbedtls_pem_context pem;
Paul Bakker40ce79f2013-09-15 17:43:54 +0200497
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200498 mbedtls_pem_init( &pem );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200499
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200500 /* Avoid calling mbedtls_pem_read_buffer() on non-null-terminated string */
Manuel Pégourié-Gonnard0ece0f92015-05-12 12:43:54 +0200501 if( dhminlen == 0 || dhmin[dhminlen - 1] != '\0' )
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200502 ret = MBEDTLS_ERR_PEM_NO_HEADER_FOOTER_PRESENT;
503 else
504 ret = mbedtls_pem_read_buffer( &pem,
505 "-----BEGIN DH PARAMETERS-----",
506 "-----END DH PARAMETERS-----",
507 dhmin, NULL, 0, &dhminlen );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200508
509 if( ret == 0 )
510 {
511 /*
512 * Was PEM encoded
513 */
514 dhminlen = pem.buflen;
515 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200516 else if( ret != MBEDTLS_ERR_PEM_NO_HEADER_FOOTER_PRESENT )
Paul Bakker40ce79f2013-09-15 17:43:54 +0200517 goto exit;
518
519 p = ( ret == 0 ) ? pem.buf : (unsigned char *) dhmin;
520#else
521 p = (unsigned char *) dhmin;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200522#endif /* MBEDTLS_PEM_PARSE_C */
Paul Bakker40ce79f2013-09-15 17:43:54 +0200523 end = p + dhminlen;
524
525 /*
526 * DHParams ::= SEQUENCE {
Daniel Kahn Gillmor2ed81732015-04-03 13:09:24 -0400527 * prime INTEGER, -- P
528 * generator INTEGER, -- g
529 * privateValueLength INTEGER OPTIONAL
Paul Bakker40ce79f2013-09-15 17:43:54 +0200530 * }
531 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200532 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
533 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Paul Bakker40ce79f2013-09-15 17:43:54 +0200534 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200535 ret = MBEDTLS_ERR_DHM_INVALID_FORMAT + ret;
Paul Bakker40ce79f2013-09-15 17:43:54 +0200536 goto exit;
537 }
538
539 end = p + len;
540
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200541 if( ( ret = mbedtls_asn1_get_mpi( &p, end, &dhm->P ) ) != 0 ||
542 ( ret = mbedtls_asn1_get_mpi( &p, end, &dhm->G ) ) != 0 )
Paul Bakker40ce79f2013-09-15 17:43:54 +0200543 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200544 ret = MBEDTLS_ERR_DHM_INVALID_FORMAT + ret;
Paul Bakker40ce79f2013-09-15 17:43:54 +0200545 goto exit;
546 }
547
548 if( p != end )
549 {
Manuel Pégourié-Gonnardde9b3632015-04-17 20:06:31 +0200550 /* This might be the optional privateValueLength.
551 * If so, we can cleanly discard it */
552 mbedtls_mpi rec;
553 mbedtls_mpi_init( &rec );
554 ret = mbedtls_asn1_get_mpi( &p, end, &rec );
555 mbedtls_mpi_free( &rec );
Daniel Kahn Gillmor2ed81732015-04-03 13:09:24 -0400556 if ( ret != 0 )
557 {
Manuel Pégourié-Gonnardde9b3632015-04-17 20:06:31 +0200558 ret = MBEDTLS_ERR_DHM_INVALID_FORMAT + ret;
Daniel Kahn Gillmor2ed81732015-04-03 13:09:24 -0400559 goto exit;
560 }
561 if ( p != end )
562 {
Manuel Pégourié-Gonnardde9b3632015-04-17 20:06:31 +0200563 ret = MBEDTLS_ERR_DHM_INVALID_FORMAT +
564 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH;
Daniel Kahn Gillmor2ed81732015-04-03 13:09:24 -0400565 goto exit;
566 }
Paul Bakker40ce79f2013-09-15 17:43:54 +0200567 }
568
569 ret = 0;
570
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200571 dhm->len = mbedtls_mpi_size( &dhm->P );
Manuel Pégourié-Gonnard3fec2202014-03-29 16:42:38 +0100572
Paul Bakker40ce79f2013-09-15 17:43:54 +0200573exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200574#if defined(MBEDTLS_PEM_PARSE_C)
575 mbedtls_pem_free( &pem );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200576#endif
577 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200578 mbedtls_dhm_free( dhm );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200579
580 return( ret );
581}
582
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200583#if defined(MBEDTLS_FS_IO)
Paul Bakker40ce79f2013-09-15 17:43:54 +0200584/*
585 * Load all data from a file into a given buffer.
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200586 *
587 * The file is expected to contain either PEM or DER encoded data.
588 * A terminating null byte is always appended. It is included in the announced
589 * length only if the data looks like it is PEM encoded.
Paul Bakker40ce79f2013-09-15 17:43:54 +0200590 */
591static int load_file( const char *path, unsigned char **buf, size_t *n )
592{
593 FILE *f;
594 long size;
595
596 if( ( f = fopen( path, "rb" ) ) == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200597 return( MBEDTLS_ERR_DHM_FILE_IO_ERROR );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200598
599 fseek( f, 0, SEEK_END );
600 if( ( size = ftell( f ) ) == -1 )
601 {
602 fclose( f );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200603 return( MBEDTLS_ERR_DHM_FILE_IO_ERROR );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200604 }
605 fseek( f, 0, SEEK_SET );
606
607 *n = (size_t) size;
608
609 if( *n + 1 == 0 ||
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200610 ( *buf = mbedtls_calloc( 1, *n + 1 ) ) == NULL )
Paul Bakker40ce79f2013-09-15 17:43:54 +0200611 {
612 fclose( f );
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200613 return( MBEDTLS_ERR_DHM_ALLOC_FAILED );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200614 }
615
616 if( fread( *buf, 1, *n, f ) != *n )
617 {
618 fclose( f );
Andres Amaya Garciabdbca7b2017-06-23 16:23:21 +0100619
620 mbedtls_zeroize( *buf, *n + 1 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200621 mbedtls_free( *buf );
Andres Amaya Garciabdbca7b2017-06-23 16:23:21 +0100622
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200623 return( MBEDTLS_ERR_DHM_FILE_IO_ERROR );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200624 }
625
626 fclose( f );
627
628 (*buf)[*n] = '\0';
629
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200630 if( strstr( (const char *) *buf, "-----BEGIN " ) != NULL )
631 ++*n;
632
Paul Bakker40ce79f2013-09-15 17:43:54 +0200633 return( 0 );
634}
635
636/*
637 * Load and parse DHM parameters
638 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200639int mbedtls_dhm_parse_dhmfile( mbedtls_dhm_context *dhm, const char *path )
Paul Bakker40ce79f2013-09-15 17:43:54 +0200640{
641 int ret;
642 size_t n;
643 unsigned char *buf;
644
Paul Bakker66d5d072014-06-17 16:39:18 +0200645 if( ( ret = load_file( path, &buf, &n ) ) != 0 )
Paul Bakker40ce79f2013-09-15 17:43:54 +0200646 return( ret );
647
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200648 ret = mbedtls_dhm_parse_dhm( dhm, buf, n );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200649
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200650 mbedtls_zeroize( buf, n );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200651 mbedtls_free( buf );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200652
653 return( ret );
654}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200655#endif /* MBEDTLS_FS_IO */
656#endif /* MBEDTLS_ASN1_PARSE_C */
nirekh0149762fa2017-12-25 06:46:48 +0000657#endif /* MBEDTLS_DHM_ALT */
Paul Bakker40ce79f2013-09-15 17:43:54 +0200658
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200659#if defined(MBEDTLS_SELF_TEST)
Paul Bakker5121ce52009-01-03 21:22:43 +0000660
Manuel Pégourié-Gonnard53585ee2015-06-25 08:52:25 +0200661static const char mbedtls_test_dhm_params[] =
662"-----BEGIN DH PARAMETERS-----\r\n"
663"MIGHAoGBAJ419DBEOgmQTzo5qXl5fQcN9TN455wkOL7052HzxxRVMyhYmwQcgJvh\r\n"
664"1sa18fyfR9OiVEMYglOpkqVoGLN7qd5aQNNi5W7/C+VBdHTBJcGZJyyP5B3qcz32\r\n"
665"9mLJKudlVudV0Qxk5qUJaPZ/xupz0NyoVpviuiBOI1gNi8ovSXWzAgEC\r\n"
666"-----END DH PARAMETERS-----\r\n";
667
668static const size_t mbedtls_test_dhm_params_len = sizeof( mbedtls_test_dhm_params );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200669
Paul Bakker5121ce52009-01-03 21:22:43 +0000670/*
671 * Checkup routine
672 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200673int mbedtls_dhm_self_test( int verbose )
Paul Bakker5121ce52009-01-03 21:22:43 +0000674{
Paul Bakker40ce79f2013-09-15 17:43:54 +0200675 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200676 mbedtls_dhm_context dhm;
Paul Bakker40ce79f2013-09-15 17:43:54 +0200677
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200678 mbedtls_dhm_init( &dhm );
Paul Bakker8f870b02014-06-20 13:32:38 +0200679
Paul Bakker40ce79f2013-09-15 17:43:54 +0200680 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200681 mbedtls_printf( " DHM parameter load: " );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200682
Manuel Pégourié-Gonnard53585ee2015-06-25 08:52:25 +0200683 if( ( ret = mbedtls_dhm_parse_dhm( &dhm,
684 (const unsigned char *) mbedtls_test_dhm_params,
685 mbedtls_test_dhm_params_len ) ) != 0 )
Paul Bakker40ce79f2013-09-15 17:43:54 +0200686 {
687 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200688 mbedtls_printf( "failed\n" );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200689
Manuel Pégourié-Gonnardb196fc22014-07-09 16:53:29 +0200690 ret = 1;
Paul Bakker8f870b02014-06-20 13:32:38 +0200691 goto exit;
Paul Bakker40ce79f2013-09-15 17:43:54 +0200692 }
693
694 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200695 mbedtls_printf( "passed\n\n" );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200696
Paul Bakker8f870b02014-06-20 13:32:38 +0200697exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200698 mbedtls_dhm_free( &dhm );
Paul Bakker40ce79f2013-09-15 17:43:54 +0200699
Paul Bakker8f870b02014-06-20 13:32:38 +0200700 return( ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000701}
702
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200703#endif /* MBEDTLS_SELF_TEST */
Paul Bakker5121ce52009-01-03 21:22:43 +0000704
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200705#endif /* MBEDTLS_DHM_C */