Check reseed interval before generating output.
[openssl.git] / fips / ecdh / fips_ecdhvs.c
1 /* fips/ecdh/fips_ecdhvs.c */
2 /* Written by Dr Stephen N Henson (steve@openssl.org) for the OpenSSL
3  * project.
4  */
5 /* ====================================================================
6  * Copyright (c) 2011 The OpenSSL Project.  All rights reserved.
7  *
8  * Redistribution and use in source and binary forms, with or without
9  * modification, are permitted provided that the following conditions
10  * are met:
11  *
12  * 1. Redistributions of source code must retain the above copyright
13  *    notice, this list of conditions and the following disclaimer. 
14  *
15  * 2. Redistributions in binary form must reproduce the above copyright
16  *    notice, this list of conditions and the following disclaimer in
17  *    the documentation and/or other materials provided with the
18  *    distribution.
19  *
20  * 3. All advertising materials mentioning features or use of this
21  *    software must display the following acknowledgment:
22  *    "This product includes software developed by the OpenSSL Project
23  *    for use in the OpenSSL Toolkit. (http://www.OpenSSL.org/)"
24  *
25  * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
26  *    endorse or promote products derived from this software without
27  *    prior written permission. For written permission, please contact
28  *    licensing@OpenSSL.org.
29  *
30  * 5. Products derived from this software may not be called "OpenSSL"
31  *    nor may "OpenSSL" appear in their names without prior written
32  *    permission of the OpenSSL Project.
33  *
34  * 6. Redistributions of any form whatsoever must retain the following
35  *    acknowledgment:
36  *    "This product includes software developed by the OpenSSL Project
37  *    for use in the OpenSSL Toolkit (http://www.OpenSSL.org/)"
38  *
39  * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
40  * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
41  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
42  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE OpenSSL PROJECT OR
43  * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
44  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
45  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
46  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
48  * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
49  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
50  * OF THE POSSIBILITY OF SUCH DAMAGE.
51  * ====================================================================
52  */
53
54
55 #define OPENSSL_FIPSAPI
56 #include <openssl/opensslconf.h>
57
58 #ifndef OPENSSL_FIPS
59 #include <stdio.h>
60
61 int main(int argc, char **argv)
62 {
63     printf("No FIPS ECDH support\n");
64     return(0);
65 }
66 #else
67
68 #include <openssl/crypto.h>
69 #include <openssl/bn.h>
70 #include <openssl/ecdh.h>
71 #include <openssl/fips.h>
72 #include <openssl/err.h>
73 #include <openssl/evp.h>
74 #include <string.h>
75 #include <ctype.h>
76
77 #include "fips_utl.h"
78
79 static const EVP_MD *parse_md(char *line)
80         {
81         char *p;
82         if (line[0] != '[' || line[1] != 'E')
83                 return NULL;
84         p = strchr(line, '-');
85         if (!p)
86                 return NULL;
87         line = p + 1;
88         p = strchr(line, ']');
89         if (!p)
90                 return NULL;
91         *p = 0;
92         p = line;
93         while(isspace(*p))
94                 p++;
95         if (!strcmp(p, "SHA1"))
96                 return EVP_sha1();
97         else if (!strcmp(p, "SHA224"))
98                 return EVP_sha224();
99         else if (!strcmp(p, "SHA256"))
100                 return EVP_sha256();
101         else if (!strcmp(p, "SHA384"))
102                 return EVP_sha384();
103         else if (!strcmp(p, "SHA512"))
104                 return EVP_sha512();
105         else
106                 return NULL;
107         }
108
109 static int lookup_curve2(char *cname)
110         {
111         char *p;
112         p = strchr(cname, ']');
113         if (!p)
114                 {
115                 fprintf(stderr, "Parse error: missing ]\n");
116                 return NID_undef;
117                 }
118         *p = 0;
119
120         if (!strcmp(cname, "B-163"))
121                 return NID_sect163r2;
122         if (!strcmp(cname, "B-233"))
123                 return NID_sect233r1;
124         if (!strcmp(cname, "B-283"))
125                 return NID_sect283r1;
126         if (!strcmp(cname, "B-409"))
127                 return NID_sect409r1;
128         if (!strcmp(cname, "B-571"))
129                 return NID_sect571r1;
130         if (!strcmp(cname, "K-163"))
131                 return NID_sect163k1;
132         if (!strcmp(cname, "K-233"))
133                 return NID_sect233k1;
134         if (!strcmp(cname, "K-283"))
135                 return NID_sect283k1;
136         if (!strcmp(cname, "K-409"))
137                 return NID_sect409k1;
138         if (!strcmp(cname, "K-571"))
139                 return NID_sect571k1;
140         if (!strcmp(cname, "P-192"))
141                 return NID_X9_62_prime192v1;
142         if (!strcmp(cname, "P-224"))
143                 return NID_secp224r1;
144         if (!strcmp(cname, "P-256"))
145                 return NID_X9_62_prime256v1;
146         if (!strcmp(cname, "P-384"))
147                 return NID_secp384r1;
148         if (!strcmp(cname, "P-521"))
149                 return NID_secp521r1;
150
151         fprintf(stderr, "Unknown Curve name %s\n", cname);
152         return NID_undef;
153         }
154
155 static int lookup_curve(char *cname)
156         {
157         char *p;
158         p = strchr(cname, ':');
159         if (!p)
160                 {
161                 fprintf(stderr, "Parse error: missing :\n");
162                 return NID_undef;
163                 }
164         cname = p + 1;
165         while(isspace(*cname))
166                 cname++;
167         return lookup_curve2(cname);
168         }
169
170 static EC_POINT *make_peer(EC_GROUP *group, BIGNUM *x, BIGNUM *y)
171         {
172         EC_POINT *peer;
173         int rv;
174         BN_CTX *c;
175         peer = EC_POINT_new(group);
176         if (!peer)
177                 return NULL;
178         c = BN_CTX_new();
179         if (EC_METHOD_get_field_type(EC_GROUP_method_of(group))
180                 == NID_X9_62_prime_field)
181                 rv = EC_POINT_set_affine_coordinates_GFp(group, peer, x, y, c);
182         else
183 #ifdef OPENSSL_NO_EC2M
184                 {
185                 fprintf(stderr, "ERROR: GF2m not supported\n");
186                 exit(1);
187                 }
188 #else
189                 rv = EC_POINT_set_affine_coordinates_GF2m(group, peer, x, y, c);
190 #endif
191
192         BN_CTX_free(c);
193         if (rv)
194                 return peer;
195         EC_POINT_free(peer);
196         return NULL;
197         }
198
199 static int ec_print_key(FILE *out, EC_KEY *key, int add_e, int exout)
200         {
201         const EC_POINT *pt;
202         const EC_GROUP *grp;
203         const EC_METHOD *meth;
204         int rv;
205         BIGNUM *tx, *ty;
206         const BIGNUM *d = NULL;
207         BN_CTX *ctx;
208         ctx = BN_CTX_new();
209         if (!ctx)
210                 return 0;
211         tx = BN_CTX_get(ctx);
212         ty = BN_CTX_get(ctx);
213         if (!tx || !ty)
214                 return 0;
215         grp = EC_KEY_get0_group(key);
216         pt = EC_KEY_get0_public_key(key);
217         if (exout)
218                 d = EC_KEY_get0_private_key(key);
219         meth = EC_GROUP_method_of(grp);
220         if (EC_METHOD_get_field_type(meth) == NID_X9_62_prime_field)
221                 rv = EC_POINT_get_affine_coordinates_GFp(grp, pt, tx, ty, ctx);
222         else
223 #ifdef OPENSSL_NO_EC2M
224                 {
225                 fprintf(stderr, "ERROR: GF2m not supported\n");
226                 exit(1);
227                 }
228 #else
229                 rv = EC_POINT_get_affine_coordinates_GF2m(grp, pt, tx, ty, ctx);
230 #endif
231
232         if (add_e)
233                 {
234                 do_bn_print_name(out, "QeIUTx", tx);
235                 do_bn_print_name(out, "QeIUTy", ty);
236                 if (d)
237                         do_bn_print_name(out, "QeIUTd", d);
238                 }
239         else
240                 {
241                 do_bn_print_name(out, "QIUTx", tx);
242                 do_bn_print_name(out, "QIUTy", ty);
243                 if (d)
244                         do_bn_print_name(out, "QIUTd", d);
245                 }
246
247         BN_CTX_free(ctx);
248
249         return rv;
250
251         }
252
253 static void ec_output_Zhash(FILE *out, int exout, EC_GROUP *group,
254                         BIGNUM *ix, BIGNUM *iy, BIGNUM *id, BIGNUM *cx,
255                         BIGNUM *cy, const EVP_MD *md,
256                                 unsigned char *rhash, size_t rhashlen)
257         {
258         EC_KEY *ec = NULL;
259         EC_POINT *peerkey = NULL;
260         unsigned char *Z;
261         unsigned char chash[EVP_MAX_MD_SIZE];
262         int Zlen;
263         ec = EC_KEY_new();
264         EC_KEY_set_group(ec, group);
265         peerkey = make_peer(group, cx, cy);
266         if (rhash == NULL)
267                 {
268                 if (md)
269                         rhashlen = M_EVP_MD_size(md);
270                 EC_KEY_generate_key(ec);
271                 ec_print_key(out, ec, md ? 1 : 0, exout);
272                 }
273         else
274                 {
275                 EC_KEY_set_public_key_affine_coordinates(ec, ix, iy);
276                 EC_KEY_set_private_key(ec, id);
277                 }
278         Zlen = (EC_GROUP_get_degree(group) + 7)/8;
279         Z = OPENSSL_malloc(Zlen);
280         if (!Z)
281                 exit(1);
282         ECDH_compute_key(Z, Zlen, peerkey, ec, 0);
283         if (md)
284                 {
285                 if (exout)
286                         OutputValue("Z", Z, Zlen, out, 0);
287                 FIPS_digest(Z, Zlen, chash, NULL, md);
288                 OutputValue(rhash ? "IUTHashZZ" : "HashZZ",
289                                                 chash, rhashlen, out, 0);
290                 if (rhash)
291                         {
292                         fprintf(out, "Result = %s\n",
293                                 memcmp(chash, rhash, rhashlen) ? "F" : "P");
294                         }
295                 }
296         else
297                 OutputValue("ZIUT", Z, Zlen, out, 0);
298         OPENSSL_cleanse(Z, Zlen);
299         OPENSSL_free(Z);
300         EC_KEY_free(ec);
301         EC_POINT_free(peerkey);
302         }
303                 
304 int main(int argc,char **argv)
305         {
306         char **args = argv + 1;
307         int argn = argc - 1;
308         FILE *in, *out;
309         char buf[2048], lbuf[2048];
310         unsigned char *rhash = NULL;
311         long rhashlen;
312         BIGNUM *cx = NULL, *cy = NULL;
313         BIGNUM *id = NULL, *ix = NULL, *iy = NULL;
314         const EVP_MD *md = NULL;
315         EC_GROUP *group = NULL;
316         char *keyword = NULL, *value = NULL;
317         int do_verify = -1, exout = 0;
318
319         int curve_nids[5] = {0,0,0,0,0};
320         int param_set = -1;
321
322         fips_algtest_init();
323
324         if (argn && !strcmp(*args, "ecdhver"))
325                 {
326                 do_verify = 1;
327                 args++;
328                 argn--;
329                 }
330         else if (argn && !strcmp(*args, "ecdhgen"))
331                 {
332                 do_verify = 0;
333                 args++;
334                 argn--;
335                 }
336
337         if (argn && !strcmp(*args, "-exout"))
338                 {
339                 exout = 1;
340                 args++;
341                 argn--;
342                 }
343
344         if (do_verify == -1)
345                 {
346                 fprintf(stderr,"%s [ecdhver|ecdhgen|] [-exout] (infile outfile)\n",argv[0]);
347                 exit(1);
348                 }
349
350         if (argn == 2)
351                 {
352                 in = fopen(*args, "r");
353                 if (!in)
354                         {
355                         fprintf(stderr, "Error opening input file\n");
356                         exit(1);
357                         }
358                 out = fopen(args[1], "w");
359                 if (!out)
360                         {
361                         fprintf(stderr, "Error opening output file\n");
362                         exit(1);
363                         }
364                 }
365         else if (argn == 0)
366                 {
367                 in = stdin;
368                 out = stdout;
369                 }
370         else
371                 {
372                 fprintf(stderr,"%s [dhver|dhgen|] [-exout] (infile outfile)\n",argv[0]);
373                 exit(1);
374                 }
375
376         while (fgets(buf, sizeof(buf), in) != NULL)
377                 {
378                 fputs(buf, out);
379                 if (buf[0] == '[' && buf[1] == 'E')
380                         {
381                         int c = buf[2];
382                         if (c < 'A' || c > 'E')
383                                 goto parse_error;
384                         param_set = c - 'A';
385                         /* If just [E?] then initial paramset */
386                         if (buf[3] == ']')
387                                 continue;
388                         if (group)
389                                 EC_GROUP_free(group);
390                         group = EC_GROUP_new_by_curve_name(curve_nids[c - 'A']);
391                         }
392                 if (strlen(buf) > 10 && !strncmp(buf, "[Curve", 6))
393                         {
394                         int nid;
395                         if (param_set == -1)
396                                 goto parse_error;
397                         nid = lookup_curve(buf);
398                         if (nid == NID_undef)
399                                 goto parse_error;
400                         curve_nids[param_set] = nid;
401                         }
402
403                 if (strlen(buf) > 4 && buf[0] == '[' && buf[2] == '-')
404                         {
405                         int nid = lookup_curve2(buf + 1);
406                         if (nid == NID_undef)
407                                 goto parse_error;
408                         if (group)
409                                 EC_GROUP_free(group);
410                         group = EC_GROUP_new_by_curve_name(nid);
411                         }
412
413                 if (strlen(buf) > 6 && !strncmp(buf, "[E", 2))
414                         {
415                         md = parse_md(buf);
416                         if (md == NULL)
417                                 goto parse_error;
418                         continue;
419                         }
420                 if (!parse_line(&keyword, &value, lbuf, buf))
421                         continue;
422                 if (!strcmp(keyword, "QeCAVSx") || !strcmp(keyword, "QCAVSx"))
423                         {
424                         if (!do_hex2bn(&cx, value))
425                                 goto parse_error;
426                         }
427                 else if (!strcmp(keyword, "QeCAVSy") || !strcmp(keyword, "QCAVSy"))
428                         {
429                         if (!do_hex2bn(&cy, value))
430                                 goto parse_error;
431                         if (do_verify == 0)
432                                 ec_output_Zhash(out, exout, group,
433                                                 NULL, NULL, NULL,
434                                                 cx, cy, md, rhash, rhashlen);
435                         }
436                 else if (!strcmp(keyword, "deIUT"))
437                         {
438                         if (!do_hex2bn(&id, value))
439                                 goto parse_error;
440                         }
441                 else if (!strcmp(keyword, "QeIUTx"))
442                         {
443                         if (!do_hex2bn(&ix, value))
444                                 goto parse_error;
445                         }
446                 else if (!strcmp(keyword, "QeIUTy"))
447                         {
448                         if (!do_hex2bn(&iy, value))
449                                 goto parse_error;
450                         }
451                 else if (!strcmp(keyword, "CAVSHashZZ"))
452                         {
453                         if (!md)
454                                 goto parse_error;
455                         rhash = hex2bin_m(value, &rhashlen);
456                         if (!rhash || rhashlen != M_EVP_MD_size(md))
457                                 goto parse_error;
458                         ec_output_Zhash(out, exout, group, ix, iy, id, cx, cy,
459                                         md, rhash, rhashlen);
460                         }
461                 }
462         return 0;
463         parse_error:
464         fprintf(stderr, "Error Parsing request file\n");
465         exit(1);
466         }
467
468 #endif