blob: d147302556973ec1e33d50c9a5ad19bdca01ba10 [file] [log] [blame]
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +02001/*
2 * Public Key abstraction layer
3 *
Manuel Pégourié-Gonnarda658a402015-01-23 09:45:19 +00004 * Copyright (C) 2006-2014, ARM Limited, All Rights Reserved
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +02005 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +00006 * This file is part of mbed TLS (https://tls.mbed.org)
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +02007 *
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +02008 * 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é-Gonnard7f809972015-03-09 17:05:11 +000024#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020025#else
26#include POLARSSL_CONFIG_FILE
27#endif
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020028
Manuel Pégourié-Gonnardc40b4c32013-08-22 13:29:31 +020029#if defined(POLARSSL_PK_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000030#include "mbedtls/pk.h"
31#include "mbedtls/pk_wrap.h"
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020032
Manuel Pégourié-Gonnard81c313c2013-07-09 10:35:54 +020033#if defined(POLARSSL_RSA_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000034#include "mbedtls/rsa.h"
Manuel Pégourié-Gonnard81c313c2013-07-09 10:35:54 +020035#endif
36#if defined(POLARSSL_ECP_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000037#include "mbedtls/ecp.h"
Manuel Pégourié-Gonnard81c313c2013-07-09 10:35:54 +020038#endif
Manuel Pégourié-Gonnard7c5819e2013-07-10 12:29:57 +020039#if defined(POLARSSL_ECDSA_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000040#include "mbedtls/ecdsa.h"
Manuel Pégourié-Gonnard7c5819e2013-07-10 12:29:57 +020041#endif
Manuel Pégourié-Gonnard81c313c2013-07-09 10:35:54 +020042
Paul Bakker34617722014-06-13 17:20:13 +020043/* Implementation that should never be optimized out by the compiler */
44static void polarssl_zeroize( void *v, size_t n ) {
45 volatile unsigned char *p = v; while( n-- ) *p++ = 0;
46}
47
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020048/*
49 * Initialise a pk_context
50 */
51void pk_init( pk_context *ctx )
52{
53 if( ctx == NULL )
54 return;
55
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +020056 ctx->pk_info = NULL;
57 ctx->pk_ctx = NULL;
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020058}
59
60/*
61 * Free (the components of) a pk_context
62 */
63void pk_free( pk_context *ctx )
64{
Paul Bakker66d5d072014-06-17 16:39:18 +020065 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020066 return;
67
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +020068 ctx->pk_info->ctx_free_func( ctx->pk_ctx );
Manuel Pégourié-Gonnard1f73a652013-07-09 10:26:41 +020069
Paul Bakker34617722014-06-13 17:20:13 +020070 polarssl_zeroize( ctx, sizeof( pk_context ) );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020071}
72
73/*
74 * Get pk_info structure from type
75 */
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +020076const pk_info_t * pk_info_from_type( pk_type_t pk_type )
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020077{
78 switch( pk_type ) {
79#if defined(POLARSSL_RSA_C)
80 case POLARSSL_PK_RSA:
Paul Bakkerd8bb8262014-06-17 14:06:49 +020081 return( &rsa_info );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020082#endif
83#if defined(POLARSSL_ECP_C)
84 case POLARSSL_PK_ECKEY:
Paul Bakkerd8bb8262014-06-17 14:06:49 +020085 return( &eckey_info );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020086 case POLARSSL_PK_ECKEY_DH:
Paul Bakkerd8bb8262014-06-17 14:06:49 +020087 return( &eckeydh_info );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020088#endif
89#if defined(POLARSSL_ECDSA_C)
90 case POLARSSL_PK_ECDSA:
Paul Bakkerd8bb8262014-06-17 14:06:49 +020091 return( &ecdsa_info );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020092#endif
Paul Bakker75342a62014-04-08 17:35:40 +020093 /* POLARSSL_PK_RSA_ALT omitted on purpose */
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020094 default:
Paul Bakkerd8bb8262014-06-17 14:06:49 +020095 return( NULL );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020096 }
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020097}
98
99/*
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200100 * Initialise context
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200101 */
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200102int pk_init_ctx( pk_context *ctx, const pk_info_t *info )
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200103{
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200104 if( ctx == NULL || info == NULL || ctx->pk_info != NULL )
Manuel Pégourié-Gonnard15699382013-08-14 19:22:48 +0200105 return( POLARSSL_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200106
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200107 if( ( ctx->pk_ctx = info->ctx_alloc_func() ) == NULL )
Manuel Pégourié-Gonnard7a6c9462013-07-09 10:04:07 +0200108 return( POLARSSL_ERR_PK_MALLOC_FAILED );
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200109
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200110 ctx->pk_info = info;
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200111
112 return( 0 );
113}
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200114
Manuel Pégourié-Gonnard348bcb32015-03-31 14:01:33 +0200115#if defined(POLARSSL_PK_RSA_ALT_SUPPORT)
Manuel Pégourié-Gonnardb4fae572014-01-20 11:22:25 +0100116/*
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200117 * Initialize an RSA-alt context
118 */
119int pk_init_ctx_rsa_alt( pk_context *ctx, void * key,
120 pk_rsa_alt_decrypt_func decrypt_func,
121 pk_rsa_alt_sign_func sign_func,
122 pk_rsa_alt_key_len_func key_len_func )
123{
124 rsa_alt_context *rsa_alt;
125 const pk_info_t *info = &rsa_alt_info;
126
127 if( ctx == NULL || ctx->pk_info != NULL )
128 return( POLARSSL_ERR_PK_BAD_INPUT_DATA );
129
130 if( ( ctx->pk_ctx = info->ctx_alloc_func() ) == NULL )
131 return( POLARSSL_ERR_PK_MALLOC_FAILED );
132
133 ctx->pk_info = info;
134
135 rsa_alt = (rsa_alt_context *) ctx->pk_ctx;
136
137 rsa_alt->key = key;
138 rsa_alt->decrypt_func = decrypt_func;
139 rsa_alt->sign_func = sign_func;
140 rsa_alt->key_len_func = key_len_func;
141
142 return( 0 );
143}
Manuel Pégourié-Gonnard348bcb32015-03-31 14:01:33 +0200144#endif /* POLARSSL_PK_RSA_ALT_SUPPORT */
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200145
146/*
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200147 * Tell if a PK can do the operations of the given type
148 */
Manuel Pégourié-Gonnard0db107e2015-03-19 14:01:57 +0000149int pk_can_do( const pk_context *ctx, pk_type_t type )
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200150{
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200151 /* null or NONE context can't do anything */
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200152 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200153 return( 0 );
154
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200155 return( ctx->pk_info->can_do( type ) );
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200156}
157
158/*
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200159 * Helper for pk_sign and pk_verify
160 */
161static inline int pk_hashlen_helper( md_type_t md_alg, size_t *hash_len )
162{
163 const md_info_t *md_info;
164
165 if( *hash_len != 0 )
166 return( 0 );
167
168 if( ( md_info = md_info_from_type( md_alg ) ) == NULL )
169 return( -1 );
170
Manuel Pégourié-Gonnardca878db2015-03-24 12:13:30 +0100171 *hash_len = md_get_size( md_info );
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200172 return( 0 );
173}
174
175/*
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200176 * Verify a signature
177 */
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200178int pk_verify( pk_context *ctx, md_type_t md_alg,
179 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200180 const unsigned char *sig, size_t sig_len )
181{
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200182 if( ctx == NULL || ctx->pk_info == NULL ||
183 pk_hashlen_helper( md_alg, &hash_len ) != 0 )
Manuel Pégourié-Gonnard15699382013-08-14 19:22:48 +0200184 return( POLARSSL_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200185
Manuel Pégourié-Gonnardfff80f82013-08-17 15:20:06 +0200186 if( ctx->pk_info->verify_func == NULL )
187 return( POLARSSL_ERR_PK_TYPE_MISMATCH );
188
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200189 return( ctx->pk_info->verify_func( ctx->pk_ctx, md_alg, hash, hash_len,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200190 sig, sig_len ) );
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200191}
192
193/*
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200194 * Verify a signature with options
195 */
196int pk_verify_ext( pk_type_t type, const void *options,
197 pk_context *ctx, md_type_t md_alg,
198 const unsigned char *hash, size_t hash_len,
199 const unsigned char *sig, size_t sig_len )
200{
201 if( ctx == NULL || ctx->pk_info == NULL )
202 return( POLARSSL_ERR_PK_BAD_INPUT_DATA );
203
204 if( ! pk_can_do( ctx, type ) )
205 return( POLARSSL_ERR_PK_TYPE_MISMATCH );
206
207 if( type == POLARSSL_PK_RSASSA_PSS )
208 {
209#if defined(POLARSSL_RSA_C) && defined(POLARSSL_PKCS1_V21)
210 int ret;
211 const pk_rsassa_pss_options *pss_opts;
212
213 if( options == NULL )
214 return( POLARSSL_ERR_PK_BAD_INPUT_DATA );
215
216 pss_opts = (const pk_rsassa_pss_options *) options;
217
218 if( sig_len < pk_get_len( ctx ) )
219 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
220
221 ret = rsa_rsassa_pss_verify_ext( pk_rsa( *ctx ),
222 NULL, NULL, RSA_PUBLIC,
Sander Niemeijeref5087d2014-08-16 12:45:52 +0200223 md_alg, (unsigned int) hash_len, hash,
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200224 pss_opts->mgf1_hash_id,
225 pss_opts->expected_salt_len,
226 sig );
227 if( ret != 0 )
228 return( ret );
229
230 if( sig_len > pk_get_len( ctx ) )
231 return( POLARSSL_ERR_PK_SIG_LEN_MISMATCH );
232
233 return( 0 );
234#else
235 return( POLARSSL_ERR_PK_FEATURE_UNAVAILABLE );
236#endif
237 }
238
239 /* General case: no options */
240 if( options != NULL )
241 return( POLARSSL_ERR_PK_BAD_INPUT_DATA );
242
243 return( pk_verify( ctx, md_alg, hash, hash_len, sig, sig_len ) );
244}
245
246/*
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200247 * Make a signature
248 */
249int pk_sign( pk_context *ctx, md_type_t md_alg,
250 const unsigned char *hash, size_t hash_len,
251 unsigned char *sig, size_t *sig_len,
252 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
253{
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200254 if( ctx == NULL || ctx->pk_info == NULL ||
255 pk_hashlen_helper( md_alg, &hash_len ) != 0 )
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200256 return( POLARSSL_ERR_PK_BAD_INPUT_DATA );
257
258 if( ctx->pk_info->sign_func == NULL )
259 return( POLARSSL_ERR_PK_TYPE_MISMATCH );
260
261 return( ctx->pk_info->sign_func( ctx->pk_ctx, md_alg, hash, hash_len,
262 sig, sig_len, f_rng, p_rng ) );
263}
264
265/*
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200266 * Decrypt message
267 */
268int pk_decrypt( pk_context *ctx,
269 const unsigned char *input, size_t ilen,
270 unsigned char *output, size_t *olen, size_t osize,
271 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
272{
273 if( ctx == NULL || ctx->pk_info == NULL )
274 return( POLARSSL_ERR_PK_BAD_INPUT_DATA );
275
276 if( ctx->pk_info->decrypt_func == NULL )
277 return( POLARSSL_ERR_PK_TYPE_MISMATCH );
278
279 return( ctx->pk_info->decrypt_func( ctx->pk_ctx, input, ilen,
280 output, olen, osize, f_rng, p_rng ) );
281}
282
283/*
284 * Encrypt message
285 */
286int pk_encrypt( pk_context *ctx,
287 const unsigned char *input, size_t ilen,
288 unsigned char *output, size_t *olen, size_t osize,
289 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
290{
291 if( ctx == NULL || ctx->pk_info == NULL )
292 return( POLARSSL_ERR_PK_BAD_INPUT_DATA );
293
294 if( ctx->pk_info->encrypt_func == NULL )
295 return( POLARSSL_ERR_PK_TYPE_MISMATCH );
296
297 return( ctx->pk_info->encrypt_func( ctx->pk_ctx, input, ilen,
298 output, olen, osize, f_rng, p_rng ) );
299}
300
301/*
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100302 * Check public-private key pair
303 */
304int pk_check_pair( const pk_context *pub, const pk_context *prv )
305{
306 if( pub == NULL || pub->pk_info == NULL ||
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100307 prv == NULL || prv->pk_info == NULL ||
308 prv->pk_info->check_pair_func == NULL )
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100309 {
310 return( POLARSSL_ERR_PK_BAD_INPUT_DATA );
311 }
312
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100313 if( prv->pk_info->type == POLARSSL_PK_RSA_ALT )
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100314 {
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100315 if( pub->pk_info->type != POLARSSL_PK_RSA )
316 return( POLARSSL_ERR_PK_TYPE_MISMATCH );
317 }
318 else
319 {
320 if( pub->pk_info != prv->pk_info )
321 return( POLARSSL_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100322 }
323
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100324 return( prv->pk_info->check_pair_func( pub->pk_ctx, prv->pk_ctx ) );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100325}
326
327/*
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200328 * Get key size in bits
329 */
330size_t pk_get_size( const pk_context *ctx )
331{
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200332 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200333 return( 0 );
334
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200335 return( ctx->pk_info->get_size( ctx->pk_ctx ) );
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200336}
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200337
338/*
339 * Export debug information
340 */
341int pk_debug( const pk_context *ctx, pk_debug_item *items )
342{
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200343 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnard15699382013-08-14 19:22:48 +0200344 return( POLARSSL_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200345
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200346 if( ctx->pk_info->debug_func == NULL )
347 return( POLARSSL_ERR_PK_TYPE_MISMATCH );
348
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200349 ctx->pk_info->debug_func( ctx->pk_ctx, items );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200350 return( 0 );
351}
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200352
353/*
354 * Access the PK type name
355 */
Manuel Pégourié-Gonnard0db107e2015-03-19 14:01:57 +0000356const char *pk_get_name( const pk_context *ctx )
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200357{
358 if( ctx == NULL || ctx->pk_info == NULL )
359 return( "invalid PK" );
360
361 return( ctx->pk_info->name );
362}
Manuel Pégourié-Gonnardc40b4c32013-08-22 13:29:31 +0200363
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200364/*
365 * Access the PK type
366 */
367pk_type_t pk_get_type( const pk_context *ctx )
368{
369 if( ctx == NULL || ctx->pk_info == NULL )
370 return( POLARSSL_PK_NONE );
371
372 return( ctx->pk_info->type );
373}
374
Manuel Pégourié-Gonnardc40b4c32013-08-22 13:29:31 +0200375#endif /* POLARSSL_PK_C */