blob: 5c8470d4489c6a7360ff641f6841961d7cdf458f [file] [log] [blame]
Paul Bakker5121ce52009-01-03 21:22:43 +00001/*
2 * Diffie-Hellman-Merkle key exchange (client side)
3 *
Manuel Pégourié-Gonnarda658a402015-01-23 09:45:19 +00004 * Copyright (C) 2006-2011, ARM Limited, All Rights Reserved
Paul Bakkerb96f1542010-07-18 20:36:00 +00005 *
Manuel Pégourié-Gonnard860b5162015-01-28 17:12:07 +00006 * This file is part of mbed TLS (https://polarssl.org)
Paul Bakkerb96f1542010-07-18 20:36:00 +00007 *
Paul Bakker5121ce52009-01-03 21:22:43 +00008 * This program is free software; you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License as published by
10 * the Free Software Foundation; either version 2 of the License, or
11 * (at your option) any later version.
12 *
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
17 *
18 * You should have received a copy of the GNU General Public License along
19 * with this program; if not, write to the Free Software Foundation, Inc.,
20 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
21 */
22
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020023#if !defined(POLARSSL_CONFIG_FILE)
Manuel Pégourié-Gonnardabd6e022013-09-20 13:30:43 +020024#include "polarssl/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020025#else
26#include POLARSSL_CONFIG_FILE
27#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000028
Rich Evansf90016a2015-01-19 14:26:37 +000029#if defined(POLARSSL_PLATFORM_C)
30#include "polarssl/platform.h"
31#else
Rich Evans18b78c72015-02-11 14:06:19 +000032#include <stdio.h>
Rich Evansf90016a2015-01-19 14:26:37 +000033#define polarssl_printf printf
Rich Evansf90016a2015-01-19 14:26:37 +000034#endif
35
Rich Evans18b78c72015-02-11 14:06:19 +000036#if defined(POLARSSL_AES_C) && defined(POLARSSL_DHM_C) &&\
37 defined(POLARSSL_ENTROPY_C) && defined(POLARSSL_NET_C) &&\
38 defined(POLARSSL_RSA_C) && defined(POLARSSL_SHA256_C) &&\
39 defined(POLARSSL_FS_IO) && defined(POLARSSL_CTR_DRBG_C)
Paul Bakker40e46942009-01-03 21:51:57 +000040#include "polarssl/net.h"
41#include "polarssl/aes.h"
42#include "polarssl/dhm.h"
43#include "polarssl/rsa.h"
44#include "polarssl/sha1.h"
Paul Bakker508ad5a2011-12-04 17:09:26 +000045#include "polarssl/entropy.h"
46#include "polarssl/ctr_drbg.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000047
Rich Evans18b78c72015-02-11 14:06:19 +000048#include <stdio.h>
49#include <string.h>
50#endif
51
Paul Bakker5121ce52009-01-03 21:22:43 +000052#define SERVER_NAME "localhost"
53#define SERVER_PORT 11999
54
Paul Bakker5690efc2011-05-26 13:16:06 +000055#if !defined(POLARSSL_AES_C) || !defined(POLARSSL_DHM_C) || \
Paul Bakker508ad5a2011-12-04 17:09:26 +000056 !defined(POLARSSL_ENTROPY_C) || !defined(POLARSSL_NET_C) || \
Manuel Pégourié-Gonnard6f60cd82015-02-10 10:47:03 +000057 !defined(POLARSSL_RSA_C) || !defined(POLARSSL_SHA256_C) || \
Paul Bakker508ad5a2011-12-04 17:09:26 +000058 !defined(POLARSSL_FS_IO) || !defined(POLARSSL_CTR_DRBG_C)
Paul Bakkercce9d772011-11-18 14:26:47 +000059int main( int argc, char *argv[] )
Paul Bakker5690efc2011-05-26 13:16:06 +000060{
Paul Bakkercce9d772011-11-18 14:26:47 +000061 ((void) argc);
62 ((void) argv);
63
Rich Evansf90016a2015-01-19 14:26:37 +000064 polarssl_printf("POLARSSL_AES_C and/or POLARSSL_DHM_C and/or POLARSSL_ENTROPY_C "
Paul Bakker5690efc2011-05-26 13:16:06 +000065 "and/or POLARSSL_NET_C and/or POLARSSL_RSA_C and/or "
Manuel Pégourié-Gonnard6f60cd82015-02-10 10:47:03 +000066 "POLARSSL_SHA256_C and/or POLARSSL_FS_IO and/or "
Paul Bakker508ad5a2011-12-04 17:09:26 +000067 "POLARSSL_CTR_DRBG_C not defined.\n");
Paul Bakker5690efc2011-05-26 13:16:06 +000068 return( 0 );
69}
70#else
Paul Bakkercce9d772011-11-18 14:26:47 +000071int main( int argc, char *argv[] )
Paul Bakker5121ce52009-01-03 21:22:43 +000072{
73 FILE *f;
74
Paul Bakker23986e52011-04-24 08:57:21 +000075 int ret;
76 size_t n, buflen;
Paul Bakker5121ce52009-01-03 21:22:43 +000077 int server_fd = -1;
78
79 unsigned char *p, *end;
Paul Bakker520ea912012-10-24 14:17:01 +000080 unsigned char buf[2048];
Paul Bakker5121ce52009-01-03 21:22:43 +000081 unsigned char hash[20];
Paul Bakkeref3f8c72013-06-24 13:01:08 +020082 const char *pers = "dh_client";
Paul Bakker5121ce52009-01-03 21:22:43 +000083
Paul Bakker508ad5a2011-12-04 17:09:26 +000084 entropy_context entropy;
85 ctr_drbg_context ctr_drbg;
Paul Bakker5121ce52009-01-03 21:22:43 +000086 rsa_context rsa;
87 dhm_context dhm;
88 aes_context aes;
89
Paul Bakkercce9d772011-11-18 14:26:47 +000090 ((void) argc);
91 ((void) argv);
92
Paul Bakker5121ce52009-01-03 21:22:43 +000093 memset( &rsa, 0, sizeof( rsa ) );
Paul Bakkera317a982014-06-18 16:44:11 +020094 dhm_init( &dhm );
Paul Bakker8cfd9d82014-06-18 11:16:11 +020095 aes_init( &aes );
96
Paul Bakker5121ce52009-01-03 21:22:43 +000097 /*
98 * 1. Setup the RNG
99 */
Rich Evansf90016a2015-01-19 14:26:37 +0000100 polarssl_printf( "\n . Seeding the random number generator" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000101 fflush( stdout );
102
Paul Bakker508ad5a2011-12-04 17:09:26 +0000103 entropy_init( &entropy );
104 if( ( ret = ctr_drbg_init( &ctr_drbg, entropy_func, &entropy,
Paul Bakkeref3f8c72013-06-24 13:01:08 +0200105 (const unsigned char *) pers,
106 strlen( pers ) ) ) != 0 )
Paul Bakker508ad5a2011-12-04 17:09:26 +0000107 {
Rich Evansf90016a2015-01-19 14:26:37 +0000108 polarssl_printf( " failed\n ! ctr_drbg_init returned %d\n", ret );
Paul Bakker508ad5a2011-12-04 17:09:26 +0000109 goto exit;
110 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000111
112 /*
113 * 2. Read the server's public RSA key
114 */
Rich Evansf90016a2015-01-19 14:26:37 +0000115 polarssl_printf( "\n . Reading public key from rsa_pub.txt" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000116 fflush( stdout );
117
118 if( ( f = fopen( "rsa_pub.txt", "rb" ) ) == NULL )
119 {
120 ret = 1;
Rich Evansf90016a2015-01-19 14:26:37 +0000121 polarssl_printf( " failed\n ! Could not open rsa_pub.txt\n" \
Paul Bakker5121ce52009-01-03 21:22:43 +0000122 " ! Please run rsa_genkey first\n\n" );
123 goto exit;
124 }
125
Paul Bakkera802e1a2010-08-16 11:56:45 +0000126 rsa_init( &rsa, RSA_PKCS_V15, 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000127
128 if( ( ret = mpi_read_file( &rsa.N, 16, f ) ) != 0 ||
129 ( ret = mpi_read_file( &rsa.E, 16, f ) ) != 0 )
130 {
Rich Evansf90016a2015-01-19 14:26:37 +0000131 polarssl_printf( " failed\n ! mpi_read_file returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000132 goto exit;
133 }
134
135 rsa.len = ( mpi_msb( &rsa.N ) + 7 ) >> 3;
136
137 fclose( f );
138
139 /*
140 * 3. Initiate the connection
141 */
Rich Evansf90016a2015-01-19 14:26:37 +0000142 polarssl_printf( "\n . Connecting to tcp/%s/%d", SERVER_NAME,
Paul Bakker5121ce52009-01-03 21:22:43 +0000143 SERVER_PORT );
144 fflush( stdout );
145
146 if( ( ret = net_connect( &server_fd, SERVER_NAME,
147 SERVER_PORT ) ) != 0 )
148 {
Rich Evansf90016a2015-01-19 14:26:37 +0000149 polarssl_printf( " failed\n ! net_connect returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000150 goto exit;
151 }
152
153 /*
154 * 4a. First get the buffer length
155 */
Rich Evansf90016a2015-01-19 14:26:37 +0000156 polarssl_printf( "\n . Receiving the server's DH parameters" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000157 fflush( stdout );
158
159 memset( buf, 0, sizeof( buf ) );
160
161 if( ( ret = net_recv( &server_fd, buf, 2 ) ) != 2 )
162 {
Rich Evansf90016a2015-01-19 14:26:37 +0000163 polarssl_printf( " failed\n ! net_recv returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000164 goto exit;
165 }
166
167 n = buflen = ( buf[0] << 8 ) | buf[1];
Paul Bakker23986e52011-04-24 08:57:21 +0000168 if( buflen < 1 || buflen > sizeof( buf ) )
Paul Bakker5121ce52009-01-03 21:22:43 +0000169 {
Rich Evansf90016a2015-01-19 14:26:37 +0000170 polarssl_printf( " failed\n ! Got an invalid buffer length\n\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000171 goto exit;
172 }
173
174 /*
175 * 4b. Get the DHM parameters: P, G and Ys = G^Xs mod P
176 */
177 memset( buf, 0, sizeof( buf ) );
178
Paul Bakker23986e52011-04-24 08:57:21 +0000179 if( ( ret = net_recv( &server_fd, buf, n ) ) != (int) n )
Paul Bakker5121ce52009-01-03 21:22:43 +0000180 {
Rich Evansf90016a2015-01-19 14:26:37 +0000181 polarssl_printf( " failed\n ! net_recv returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000182 goto exit;
183 }
184
185 p = buf, end = buf + buflen;
186
187 if( ( ret = dhm_read_params( &dhm, &p, end ) ) != 0 )
188 {
Rich Evansf90016a2015-01-19 14:26:37 +0000189 polarssl_printf( " failed\n ! dhm_read_params returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000190 goto exit;
191 }
192
Paul Bakker520ea912012-10-24 14:17:01 +0000193 if( dhm.len < 64 || dhm.len > 512 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000194 {
195 ret = 1;
Rich Evansf90016a2015-01-19 14:26:37 +0000196 polarssl_printf( " failed\n ! Invalid DHM modulus size\n\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000197 goto exit;
198 }
199
200 /*
201 * 5. Check that the server's RSA signature matches
Manuel Pégourié-Gonnard6f60cd82015-02-10 10:47:03 +0000202 * the SHA-256 hash of (P,G,Ys)
Paul Bakker5121ce52009-01-03 21:22:43 +0000203 */
Rich Evansf90016a2015-01-19 14:26:37 +0000204 polarssl_printf( "\n . Verifying the server's RSA signature" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000205 fflush( stdout );
206
Paul Bakker88f17b82012-04-26 18:52:13 +0000207 p += 2;
208
Paul Bakker23986e52011-04-24 08:57:21 +0000209 if( ( n = (size_t) ( end - p ) ) != rsa.len )
Paul Bakker5121ce52009-01-03 21:22:43 +0000210 {
211 ret = 1;
Rich Evansf90016a2015-01-19 14:26:37 +0000212 polarssl_printf( " failed\n ! Invalid RSA signature size\n\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000213 goto exit;
214 }
215
216 sha1( buf, (int)( p - 2 - buf ), hash );
217
Paul Bakker548957d2013-08-30 10:30:02 +0200218 if( ( ret = rsa_pkcs1_verify( &rsa, NULL, NULL, RSA_PUBLIC,
Manuel Pégourié-Gonnard6f60cd82015-02-10 10:47:03 +0000219 POLARSSL_MD_SHA256, 0, hash, p ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000220 {
Rich Evansf90016a2015-01-19 14:26:37 +0000221 polarssl_printf( " failed\n ! rsa_pkcs1_verify returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000222 goto exit;
223 }
224
225 /*
226 * 6. Send our public value: Yc = G ^ Xc mod P
227 */
Rich Evansf90016a2015-01-19 14:26:37 +0000228 polarssl_printf( "\n . Sending own public value to server" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000229 fflush( stdout );
230
231 n = dhm.len;
Paul Bakker840ab202013-11-30 15:14:38 +0100232 if( ( ret = dhm_make_public( &dhm, (int) dhm.len, buf, n,
Paul Bakker508ad5a2011-12-04 17:09:26 +0000233 ctr_drbg_random, &ctr_drbg ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000234 {
Rich Evansf90016a2015-01-19 14:26:37 +0000235 polarssl_printf( " failed\n ! dhm_make_public returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000236 goto exit;
237 }
238
Paul Bakker23986e52011-04-24 08:57:21 +0000239 if( ( ret = net_send( &server_fd, buf, n ) ) != (int) n )
Paul Bakker5121ce52009-01-03 21:22:43 +0000240 {
Rich Evansf90016a2015-01-19 14:26:37 +0000241 polarssl_printf( " failed\n ! net_send returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000242 goto exit;
243 }
244
245 /*
246 * 7. Derive the shared secret: K = Ys ^ Xc mod P
247 */
Rich Evansf90016a2015-01-19 14:26:37 +0000248 polarssl_printf( "\n . Shared secret: " );
Paul Bakker5121ce52009-01-03 21:22:43 +0000249 fflush( stdout );
250
251 n = dhm.len;
Manuel Pégourié-Gonnard15d5de12013-09-17 11:34:11 +0200252 if( ( ret = dhm_calc_secret( &dhm, buf, &n,
253 ctr_drbg_random, &ctr_drbg ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000254 {
Rich Evansf90016a2015-01-19 14:26:37 +0000255 polarssl_printf( " failed\n ! 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++ )
Rich Evansf90016a2015-01-19 14:26:37 +0000260 polarssl_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 */
Rich Evansf90016a2015-01-19 14:26:37 +0000270 polarssl_printf( "...\n . Receiving and decrypting the ciphertext" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000271 fflush( stdout );
272
273 aes_setkey_dec( &aes, buf, 256 );
274
275 memset( buf, 0, sizeof( buf ) );
276
277 if( ( ret = net_recv( &server_fd, buf, 16 ) ) != 16 )
278 {
Rich Evansf90016a2015-01-19 14:26:37 +0000279 polarssl_printf( " failed\n ! net_recv returned %d\n\n", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000280 goto exit;
281 }
282
283 aes_crypt_ecb( &aes, AES_DECRYPT, buf, buf );
284 buf[16] = '\0';
Rich Evansf90016a2015-01-19 14:26:37 +0000285 polarssl_printf( "\n . Plaintext is \"%s\"\n\n", (char *) buf );
Paul Bakker5121ce52009-01-03 21:22:43 +0000286
287exit:
288
Paul Bakker0c226102014-04-17 16:02:36 +0200289 if( server_fd != -1 )
290 net_close( server_fd );
291
Paul Bakker8cfd9d82014-06-18 11:16:11 +0200292 aes_free( &aes );
Paul Bakker5121ce52009-01-03 21:22:43 +0000293 rsa_free( &rsa );
294 dhm_free( &dhm );
Paul Bakkera317a982014-06-18 16:44:11 +0200295 ctr_drbg_free( &ctr_drbg );
Paul Bakker1ffefac2013-09-28 15:23:03 +0200296 entropy_free( &entropy );
Paul Bakker5121ce52009-01-03 21:22:43 +0000297
Paul Bakkercce9d772011-11-18 14:26:47 +0000298#if defined(_WIN32)
Rich Evansf90016a2015-01-19 14:26:37 +0000299 polarssl_printf( " + Press Enter to exit this program.\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000300 fflush( stdout ); getchar();
301#endif
302
303 return( ret );
304}
Paul Bakker508ad5a2011-12-04 17:09:26 +0000305#endif /* POLARSSL_AES_C && POLARSSL_DHM_C && POLARSSL_ENTROPY_C &&
Manuel Pégourié-Gonnard6f60cd82015-02-10 10:47:03 +0000306 POLARSSL_NET_C && POLARSSL_RSA_C && POLARSSL_SHA256_C &&
Paul Bakker508ad5a2011-12-04 17:09:26 +0000307 POLARSSL_FS_IO && POLARSSL_CTR_DRBG_C */