blob: d633e4d1b8742e1026a6e12c5901bc39b703ef4e [file] [log] [blame]
Paul Bakker5121ce52009-01-03 21:22:43 +00001/*
2 * Diffie-Hellman-Merkle key exchange (client side)
3 *
Bence Szépkúti1e148272020-08-07 13:07:28 +02004 * Copyright The Mbed TLS Contributors
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 Bakker5121ce52009-01-03 21:22:43 +000018 */
19
Bence Szépkútic662b362021-05-27 11:25:03 +020020#include "mbedtls/build_info.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000021
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020022#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000023#include "mbedtls/platform.h"
Rich Evansf90016a2015-01-19 14:26:37 +000024#else
Rich Evans18b78c72015-02-11 14:06:19 +000025#include <stdio.h>
Andres Amaya Garcia898841d2018-04-29 19:23:39 +010026#include <stdlib.h>
27#define mbedtls_printf printf
28#define mbedtls_time_t time_t
Manuel Pégourié-Gonnard3ef6a6d2018-12-10 14:31:45 +010029#define mbedtls_exit exit
Andres Amaya Garcia7d429652018-04-30 22:42:33 +010030#define MBEDTLS_EXIT_SUCCESS EXIT_SUCCESS
Andres Amaya Garcia898841d2018-04-29 19:23:39 +010031#define MBEDTLS_EXIT_FAILURE EXIT_FAILURE
32#endif /* MBEDTLS_PLATFORM_C */
Rich Evansf90016a2015-01-19 14:26:37 +000033
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020034#if defined(MBEDTLS_AES_C) && defined(MBEDTLS_DHM_C) && \
35 defined(MBEDTLS_ENTROPY_C) && defined(MBEDTLS_NET_C) && \
36 defined(MBEDTLS_RSA_C) && defined(MBEDTLS_SHA256_C) && \
Janos Follath9fe6f922016-10-07 14:17:56 +010037 defined(MBEDTLS_FS_IO) && defined(MBEDTLS_CTR_DRBG_C) && \
38 defined(MBEDTLS_SHA1_C)
Andres AG788aa4a2016-09-14 14:32:09 +010039#include "mbedtls/net_sockets.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000040#include "mbedtls/aes.h"
41#include "mbedtls/dhm.h"
42#include "mbedtls/rsa.h"
43#include "mbedtls/sha1.h"
44#include "mbedtls/entropy.h"
45#include "mbedtls/ctr_drbg.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000046
Rich Evans18b78c72015-02-11 14:06:19 +000047#include <stdio.h>
48#include <string.h>
49#endif
50
Paul Bakker5121ce52009-01-03 21:22:43 +000051#define SERVER_NAME "localhost"
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +020052#define SERVER_PORT "11999"
Paul Bakker5121ce52009-01-03 21:22:43 +000053
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020054#if !defined(MBEDTLS_AES_C) || !defined(MBEDTLS_DHM_C) || \
55 !defined(MBEDTLS_ENTROPY_C) || !defined(MBEDTLS_NET_C) || \
56 !defined(MBEDTLS_RSA_C) || !defined(MBEDTLS_SHA256_C) || \
Janos Follath9fe6f922016-10-07 14:17:56 +010057 !defined(MBEDTLS_FS_IO) || !defined(MBEDTLS_CTR_DRBG_C) || \
58 !defined(MBEDTLS_SHA1_C)
Rich Evans85b05ec2015-02-12 11:37:29 +000059int main( void )
Paul Bakker5690efc2011-05-26 13:16:06 +000060{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020061 mbedtls_printf("MBEDTLS_AES_C and/or MBEDTLS_DHM_C and/or MBEDTLS_ENTROPY_C "
62 "and/or MBEDTLS_NET_C and/or MBEDTLS_RSA_C and/or "
63 "MBEDTLS_SHA256_C and/or MBEDTLS_FS_IO and/or "
64 "MBEDTLS_CTR_DRBG_C not defined.\n");
Krzysztof Stachowiak5e1b1952019-04-24 14:24:46 +020065 mbedtls_exit( 0 );
Paul Bakker5690efc2011-05-26 13:16:06 +000066}
67#else
Simon Butcher63cb97e2018-12-06 17:43:31 +000068
Simon Butcher63cb97e2018-12-06 17:43:31 +000069
Rich Evans85b05ec2015-02-12 11:37:29 +000070int main( void )
Paul Bakker5121ce52009-01-03 21:22:43 +000071{
72 FILE *f;
73
Andres Amaya Garcia898841d2018-04-29 19:23:39 +010074 int ret = 1;
75 int exit_code = MBEDTLS_EXIT_FAILURE;
Paul Bakker23986e52011-04-24 08:57:21 +000076 size_t n, buflen;
Manuel Pégourié-Gonnard5db64322015-06-30 15:40:39 +020077 mbedtls_net_context server_fd;
Paul Bakker5121ce52009-01-03 21:22:43 +000078
79 unsigned char *p, *end;
Paul Bakker520ea912012-10-24 14:17:01 +000080 unsigned char buf[2048];
Manuel Pégourié-Gonnard102a6202015-08-27 21:51:44 +020081 unsigned char hash[32];
Paul Bakkeref3f8c72013-06-24 13:01:08 +020082 const char *pers = "dh_client";
Paul Bakker5121ce52009-01-03 21:22:43 +000083
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020084 mbedtls_entropy_context entropy;
85 mbedtls_ctr_drbg_context ctr_drbg;
86 mbedtls_rsa_context rsa;
87 mbedtls_dhm_context dhm;
88 mbedtls_aes_context aes;
Paul Bakker5121ce52009-01-03 21:22:43 +000089
Manuel Pégourié-Gonnard5db64322015-06-30 15:40:39 +020090 mbedtls_net_init( &server_fd );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020091 mbedtls_dhm_init( &dhm );
92 mbedtls_aes_init( &aes );
Manuel Pégourié-Gonnardec160c02015-04-28 22:52:30 +020093 mbedtls_ctr_drbg_init( &ctr_drbg );
Paul Bakker8cfd9d82014-06-18 11:16:11 +020094
Paul Bakker5121ce52009-01-03 21:22:43 +000095 /*
96 * 1. Setup the RNG
97 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020098 mbedtls_printf( "\n . Seeding the random number generator" );
Paul Bakker5121ce52009-01-03 21:22:43 +000099 fflush( stdout );
100
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200101 mbedtls_entropy_init( &entropy );
Manuel Pégourié-Gonnardec160c02015-04-28 22:52:30 +0200102 if( ( ret = mbedtls_ctr_drbg_seed( &ctr_drbg, mbedtls_entropy_func, &entropy,
Paul Bakkeref3f8c72013-06-24 13:01:08 +0200103 (const unsigned char *) pers,
104 strlen( pers ) ) ) != 0 )
Paul Bakker508ad5a2011-12-04 17:09:26 +0000105 {
Manuel Pégourié-Gonnardec160c02015-04-28 22:52:30 +0200106 mbedtls_printf( " failed\n ! mbedtls_ctr_drbg_seed returned %d\n", ret );
Paul Bakker508ad5a2011-12-04 17:09:26 +0000107 goto exit;
108 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000109
110 /*
111 * 2. Read the server's public RSA key
112 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200113 mbedtls_printf( "\n . Reading public key from rsa_pub.txt" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000114 fflush( stdout );
115
116 if( ( f = fopen( "rsa_pub.txt", "rb" ) ) == NULL )
117 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200118 mbedtls_printf( " failed\n ! Could not open rsa_pub.txt\n" \
Paul Bakker5121ce52009-01-03 21:22:43 +0000119 " ! Please run rsa_genkey first\n\n" );
120 goto exit;
121 }
122
Ronald Cronc1905a12021-06-05 11:11:14 +0200123 mbedtls_rsa_init( &rsa );
Paul Bakker5121ce52009-01-03 21:22:43 +0000124
Mateusz Starzyk5dd4f6e2021-05-19 19:35:35 +0200125 if( ( ret = mbedtls_mpi_read_file( &rsa.MBEDTLS_PRIVATE(N), 16, f ) ) != 0 ||
126 ( ret = mbedtls_mpi_read_file( &rsa.MBEDTLS_PRIVATE(E), 16, f ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000127 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200128 mbedtls_printf( " failed\n ! mbedtls_mpi_read_file returned %d\n\n", ret );
Janos Follath98e28a72016-05-31 14:03:54 +0100129 fclose( f );
Paul Bakker5121ce52009-01-03 21:22:43 +0000130 goto exit;
131 }
132
Mateusz Starzyk5dd4f6e2021-05-19 19:35:35 +0200133 rsa.MBEDTLS_PRIVATE(len) = ( mbedtls_mpi_bitlen( &rsa.MBEDTLS_PRIVATE(N) ) + 7 ) >> 3;
Paul Bakker5121ce52009-01-03 21:22:43 +0000134
135 fclose( f );
136
137 /*
138 * 3. Initiate the connection
139 */
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +0200140 mbedtls_printf( "\n . Connecting to tcp/%s/%s", SERVER_NAME,
Paul Bakker5121ce52009-01-03 21:22:43 +0000141 SERVER_PORT );
142 fflush( stdout );
143
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200144 if( ( ret = mbedtls_net_connect( &server_fd, SERVER_NAME,
145 SERVER_PORT, MBEDTLS_NET_PROTO_TCP ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000146 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200147 mbedtls_printf( " failed\n ! mbedtls_net_connect returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000148 goto exit;
149 }
150
151 /*
152 * 4a. First get the buffer length
153 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200154 mbedtls_printf( "\n . Receiving the server's DH parameters" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000155 fflush( stdout );
156
157 memset( buf, 0, sizeof( buf ) );
158
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200159 if( ( ret = mbedtls_net_recv( &server_fd, buf, 2 ) ) != 2 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000160 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200161 mbedtls_printf( " failed\n ! mbedtls_net_recv returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000162 goto exit;
163 }
164
165 n = buflen = ( buf[0] << 8 ) | buf[1];
Paul Bakker23986e52011-04-24 08:57:21 +0000166 if( buflen < 1 || buflen > sizeof( buf ) )
Paul Bakker5121ce52009-01-03 21:22:43 +0000167 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200168 mbedtls_printf( " failed\n ! Got an invalid buffer length\n\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000169 goto exit;
170 }
171
172 /*
173 * 4b. Get the DHM parameters: P, G and Ys = G^Xs mod P
174 */
175 memset( buf, 0, sizeof( buf ) );
176
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200177 if( ( ret = mbedtls_net_recv( &server_fd, buf, n ) ) != (int) n )
Paul Bakker5121ce52009-01-03 21:22:43 +0000178 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200179 mbedtls_printf( " failed\n ! mbedtls_net_recv returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000180 goto exit;
181 }
182
183 p = buf, end = buf + buflen;
184
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200185 if( ( ret = mbedtls_dhm_read_params( &dhm, &p, end ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000186 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200187 mbedtls_printf( " failed\n ! mbedtls_dhm_read_params returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000188 goto exit;
189 }
190
Gilles Peskine487bbf62021-05-27 22:17:07 +0200191 n = mbedtls_dhm_get_len( &dhm );
192 if( n < 64 || n > 512 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000193 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200194 mbedtls_printf( " failed\n ! Invalid DHM modulus size\n\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000195 goto exit;
196 }
197
198 /*
199 * 5. Check that the server's RSA signature matches
Manuel Pégourié-Gonnard6f60cd82015-02-10 10:47:03 +0000200 * the SHA-256 hash of (P,G,Ys)
Paul Bakker5121ce52009-01-03 21:22:43 +0000201 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200202 mbedtls_printf( "\n . Verifying the server's RSA signature" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000203 fflush( stdout );
204
Paul Bakker88f17b82012-04-26 18:52:13 +0000205 p += 2;
206
Mateusz Starzyk5dd4f6e2021-05-19 19:35:35 +0200207 if( ( n = (size_t) ( end - p ) ) != rsa.MBEDTLS_PRIVATE(len) )
Paul Bakker5121ce52009-01-03 21:22:43 +0000208 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200209 mbedtls_printf( " failed\n ! Invalid RSA signature size\n\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000210 goto exit;
211 }
212
TRodziewicz26371e42021-06-08 16:45:41 +0200213 if( ( ret = mbedtls_sha1( buf, (int)( p - 2 - buf ), hash ) ) != 0 )
Andres Amaya Garcia1ff60f42017-06-28 13:26:36 +0100214 {
TRodziewicz26371e42021-06-08 16:45:41 +0200215 mbedtls_printf( " failed\n ! mbedtls_sha1 returned %d\n\n", ret );
Andres Amaya Garcia1ff60f42017-06-28 13:26:36 +0100216 goto exit;
217 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000218
Thomas Daubney68d9cbc2021-05-18 18:45:09 +0100219 if( ( ret = mbedtls_rsa_pkcs1_verify( &rsa, MBEDTLS_MD_SHA256,
Gilles Peskine6e3187b2021-06-22 18:39:53 +0200220 32, hash, p ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000221 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200222 mbedtls_printf( " failed\n ! mbedtls_rsa_pkcs1_verify returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000223 goto exit;
224 }
225
226 /*
227 * 6. Send our public value: Yc = G ^ Xc mod P
228 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200229 mbedtls_printf( "\n . Sending own public value to server" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000230 fflush( stdout );
231
Gilles Peskine487bbf62021-05-27 22:17:07 +0200232 n = mbedtls_dhm_get_len( &dhm );
233 if( ( ret = mbedtls_dhm_make_public( &dhm, (int) n, buf, n,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200234 mbedtls_ctr_drbg_random, &ctr_drbg ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000235 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200236 mbedtls_printf( " failed\n ! mbedtls_dhm_make_public returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000237 goto exit;
238 }
239
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200240 if( ( ret = mbedtls_net_send( &server_fd, buf, n ) ) != (int) n )
Paul Bakker5121ce52009-01-03 21:22:43 +0000241 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200242 mbedtls_printf( " failed\n ! mbedtls_net_send returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000243 goto exit;
244 }
245
246 /*
247 * 7. Derive the shared secret: K = Ys ^ Xc mod P
248 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200249 mbedtls_printf( "\n . Shared secret: " );
Paul Bakker5121ce52009-01-03 21:22:43 +0000250 fflush( stdout );
251
Manuel Pégourié-Gonnard33352052015-06-02 16:17:08 +0100252 if( ( ret = mbedtls_dhm_calc_secret( &dhm, buf, sizeof( buf ), &n,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200253 mbedtls_ctr_drbg_random, &ctr_drbg ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000254 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200255 mbedtls_printf( " failed\n ! mbedtls_dhm_calc_secret returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000256 goto exit;
257 }
258
259 for( n = 0; n < 16; n++ )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200260 mbedtls_printf( "%02x", buf[n] );
Paul Bakker5121ce52009-01-03 21:22:43 +0000261
262 /*
263 * 8. Setup the AES-256 decryption key
264 *
265 * This is an overly simplified example; best practice is
266 * to hash the shared secret with a random value to derive
267 * the keying material for the encryption/decryption keys,
268 * IVs and MACs.
269 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200270 mbedtls_printf( "...\n . Receiving and decrypting the ciphertext" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000271 fflush( stdout );
272
Gilles Peskine7820a572021-07-07 21:08:28 +0200273 ret = mbedtls_aes_setkey_dec( &aes, buf, 256 );
274 if( ret != 0 )
275 goto exit;
Paul Bakker5121ce52009-01-03 21:22:43 +0000276
277 memset( buf, 0, sizeof( buf ) );
278
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200279 if( ( ret = mbedtls_net_recv( &server_fd, buf, 16 ) ) != 16 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000280 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200281 mbedtls_printf( " failed\n ! mbedtls_net_recv returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000282 goto exit;
283 }
284
Gilles Peskine7820a572021-07-07 21:08:28 +0200285 ret = mbedtls_aes_crypt_ecb( &aes, MBEDTLS_AES_DECRYPT, buf, buf );
286 if( ret != 0 )
287 goto exit;
Paul Bakker5121ce52009-01-03 21:22:43 +0000288 buf[16] = '\0';
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200289 mbedtls_printf( "\n . Plaintext is \"%s\"\n\n", (char *) buf );
Paul Bakker5121ce52009-01-03 21:22:43 +0000290
Andres Amaya Garcia898841d2018-04-29 19:23:39 +0100291 exit_code = MBEDTLS_EXIT_SUCCESS;
292
Paul Bakker5121ce52009-01-03 21:22:43 +0000293exit:
294
Manuel Pégourié-Gonnard3d7d00a2015-06-30 15:55:03 +0200295 mbedtls_net_free( &server_fd );
Paul Bakker0c226102014-04-17 16:02:36 +0200296
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200297 mbedtls_aes_free( &aes );
298 mbedtls_rsa_free( &rsa );
299 mbedtls_dhm_free( &dhm );
300 mbedtls_ctr_drbg_free( &ctr_drbg );
301 mbedtls_entropy_free( &entropy );
Paul Bakker5121ce52009-01-03 21:22:43 +0000302
Paul Bakkercce9d772011-11-18 14:26:47 +0000303#if defined(_WIN32)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200304 mbedtls_printf( " + Press Enter to exit this program.\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000305 fflush( stdout ); getchar();
306#endif
307
Krzysztof Stachowiak5e1b1952019-04-24 14:24:46 +0200308 mbedtls_exit( exit_code );
Paul Bakker5121ce52009-01-03 21:22:43 +0000309}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200310#endif /* MBEDTLS_AES_C && MBEDTLS_DHM_C && MBEDTLS_ENTROPY_C &&
311 MBEDTLS_NET_C && MBEDTLS_RSA_C && MBEDTLS_SHA256_C &&
312 MBEDTLS_FS_IO && MBEDTLS_CTR_DRBG_C */