1/* crypto/asn1/a_verify.c */
2/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
3 * All rights reserved.
4 *
5 * This package is an SSL implementation written
6 * by Eric Young (eay@cryptsoft.com).
7 * The implementation was written so as to conform with Netscapes SSL.
8 *
9 * This library is free for commercial and non-commercial use as long as
10 * the following conditions are aheared to.  The following conditions
11 * apply to all code found in this distribution, be it the RC4, RSA,
12 * lhash, DES, etc., code; not just the SSL code.  The SSL documentation
13 * included with this distribution is covered by the same copyright terms
14 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
15 *
16 * Copyright remains Eric Young's, and as such any Copyright notices in
17 * the code are not to be removed.
18 * If this package is used in a product, Eric Young should be given attribution
19 * as the author of the parts of the library used.
20 * This can be in the form of a textual message at program startup or
21 * in documentation (online or textual) provided with the package.
22 *
23 * Redistribution and use in source and binary forms, with or without
24 * modification, are permitted provided that the following conditions
25 * are met:
26 * 1. Redistributions of source code must retain the copyright
27 *    notice, this list of conditions and the following disclaimer.
28 * 2. Redistributions in binary form must reproduce the above copyright
29 *    notice, this list of conditions and the following disclaimer in the
30 *    documentation and/or other materials provided with the distribution.
31 * 3. All advertising materials mentioning features or use of this software
32 *    must display the following acknowledgement:
33 *    "This product includes cryptographic software written by
34 *     Eric Young (eay@cryptsoft.com)"
35 *    The word 'cryptographic' can be left out if the rouines from the library
36 *    being used are not cryptographic related :-).
37 * 4. If you include any Windows specific code (or a derivative thereof) from
38 *    the apps directory (application code) you must include an acknowledgement:
39 *    "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
40 *
41 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
42 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
43 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
44 * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
45 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
46 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
47 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
48 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
49 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
50 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
51 * SUCH DAMAGE.
52 *
53 * The licence and distribution terms for any publically available version or
54 * derivative of this code cannot be changed.  i.e. this code cannot simply be
55 * copied and put under another distribution licence
56 * [including the GNU Public Licence.]
57 */
58
59#include <stdio.h>
60#include <time.h>
61
62#include "cryptlib.h"
63
64#ifndef NO_SYS_TYPES_H
65# include <sys/types.h>
66#endif
67
68#include <openssl/bn.h>
69#include <openssl/x509.h>
70#include <openssl/objects.h>
71#include <openssl/buffer.h>
72#include <openssl/evp.h>
73
74#ifndef NO_ASN1_OLD
75
76int ASN1_verify(int (*i2d)(), X509_ALGOR *a, ASN1_BIT_STRING *signature,
77	     char *data, EVP_PKEY *pkey)
78	{
79	EVP_MD_CTX ctx;
80	const EVP_MD *type;
81	unsigned char *p,*buf_in=NULL;
82	int ret= -1,i,inl;
83
84	EVP_MD_CTX_init(&ctx);
85	i=OBJ_obj2nid(a->algorithm);
86	type=EVP_get_digestbyname(OBJ_nid2sn(i));
87	if (type == NULL)
88		{
89		ASN1err(ASN1_F_ASN1_VERIFY,ASN1_R_UNKNOWN_MESSAGE_DIGEST_ALGORITHM);
90		goto err;
91		}
92
93	inl=i2d(data,NULL);
94	buf_in=OPENSSL_malloc((unsigned int)inl);
95	if (buf_in == NULL)
96		{
97		ASN1err(ASN1_F_ASN1_VERIFY,ERR_R_MALLOC_FAILURE);
98		goto err;
99		}
100	p=buf_in;
101
102	i2d(data,&p);
103	EVP_VerifyInit_ex(&ctx,type, NULL);
104	EVP_VerifyUpdate(&ctx,(unsigned char *)buf_in,inl);
105
106	OPENSSL_cleanse(buf_in,(unsigned int)inl);
107	OPENSSL_free(buf_in);
108
109	if (EVP_VerifyFinal(&ctx,(unsigned char *)signature->data,
110			(unsigned int)signature->length,pkey) <= 0)
111		{
112		ASN1err(ASN1_F_ASN1_VERIFY,ERR_R_EVP_LIB);
113		ret=0;
114		goto err;
115		}
116	/* we don't need to zero the 'ctx' because we just checked
117	 * public information */
118	/* memset(&ctx,0,sizeof(ctx)); */
119	ret=1;
120err:
121	EVP_MD_CTX_cleanup(&ctx);
122	return(ret);
123	}
124
125#endif
126
127
128int ASN1_item_verify(const ASN1_ITEM *it, X509_ALGOR *a, ASN1_BIT_STRING *signature,
129	     void *asn, EVP_PKEY *pkey)
130	{
131	EVP_MD_CTX ctx;
132	const EVP_MD *type;
133	unsigned char *buf_in=NULL;
134	int ret= -1,i,inl;
135
136	EVP_MD_CTX_init(&ctx);
137	i=OBJ_obj2nid(a->algorithm);
138	type=EVP_get_digestbyname(OBJ_nid2sn(i));
139	if (type == NULL)
140		{
141		ASN1err(ASN1_F_ASN1_VERIFY,ASN1_R_UNKNOWN_MESSAGE_DIGEST_ALGORITHM);
142		goto err;
143		}
144
145	if (!EVP_VerifyInit_ex(&ctx,type, NULL))
146		{
147		ASN1err(ASN1_F_ASN1_VERIFY,ERR_R_EVP_LIB);
148		ret=0;
149		goto err;
150		}
151
152	inl = ASN1_item_i2d(asn, &buf_in, it);
153
154	if (buf_in == NULL)
155		{
156		ASN1err(ASN1_F_ASN1_VERIFY,ERR_R_MALLOC_FAILURE);
157		goto err;
158		}
159
160	EVP_VerifyUpdate(&ctx,(unsigned char *)buf_in,inl);
161
162	OPENSSL_cleanse(buf_in,(unsigned int)inl);
163	OPENSSL_free(buf_in);
164
165	if (EVP_VerifyFinal(&ctx,(unsigned char *)signature->data,
166			(unsigned int)signature->length,pkey) <= 0)
167		{
168		ASN1err(ASN1_F_ASN1_VERIFY,ERR_R_EVP_LIB);
169		ret=0;
170		goto err;
171		}
172	/* we don't need to zero the 'ctx' because we just checked
173	 * public information */
174	/* memset(&ctx,0,sizeof(ctx)); */
175	ret=1;
176err:
177	EVP_MD_CTX_cleanup(&ctx);
178	return(ret);
179	}
180
181
182