a_verify.c revision 277195
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(i2d_of_void *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	if (signature->type == V_ASN1_BIT_STRING && signature->flags & 0x7)
94		{
95		ASN1err(ASN1_F_ASN1_VERIFY, ASN1_R_INVALID_BIT_STRING_BITS_LEFT);
96		goto err;
97		}
98
99	inl=i2d(data,NULL);
100	buf_in=OPENSSL_malloc((unsigned int)inl);
101	if (buf_in == NULL)
102		{
103		ASN1err(ASN1_F_ASN1_VERIFY,ERR_R_MALLOC_FAILURE);
104		goto err;
105		}
106	p=buf_in;
107
108	i2d(data,&p);
109	if (!EVP_VerifyInit_ex(&ctx,type, NULL))
110		{
111		ASN1err(ASN1_F_ASN1_VERIFY,ERR_R_EVP_LIB);
112		ret=0;
113		goto err;
114		}
115	EVP_VerifyUpdate(&ctx,(unsigned char *)buf_in,inl);
116
117	OPENSSL_cleanse(buf_in,(unsigned int)inl);
118	OPENSSL_free(buf_in);
119
120	if (EVP_VerifyFinal(&ctx,(unsigned char *)signature->data,
121			(unsigned int)signature->length,pkey) <= 0)
122		{
123		ASN1err(ASN1_F_ASN1_VERIFY,ERR_R_EVP_LIB);
124		ret=0;
125		goto err;
126		}
127	/* we don't need to zero the 'ctx' because we just checked
128	 * public information */
129	/* memset(&ctx,0,sizeof(ctx)); */
130	ret=1;
131err:
132	EVP_MD_CTX_cleanup(&ctx);
133	return(ret);
134	}
135
136#endif
137
138
139int ASN1_item_verify(const ASN1_ITEM *it, X509_ALGOR *a, ASN1_BIT_STRING *signature,
140	     void *asn, EVP_PKEY *pkey)
141	{
142	EVP_MD_CTX ctx;
143	const EVP_MD *type;
144	unsigned char *buf_in=NULL;
145	int ret= -1,i,inl;
146
147	if (!pkey)
148		{
149		ASN1err(ASN1_F_ASN1_ITEM_VERIFY, ERR_R_PASSED_NULL_PARAMETER);
150		return -1;
151		}
152
153	if (signature->type == V_ASN1_BIT_STRING && signature->flags & 0x7)
154		{
155		ASN1err(ASN1_F_ASN1_ITEM_VERIFY, ASN1_R_INVALID_BIT_STRING_BITS_LEFT);
156		return -1;
157		}
158
159	EVP_MD_CTX_init(&ctx);
160	i=OBJ_obj2nid(a->algorithm);
161	type=EVP_get_digestbyname(OBJ_nid2sn(i));
162	if (type == NULL)
163		{
164		ASN1err(ASN1_F_ASN1_ITEM_VERIFY,ASN1_R_UNKNOWN_MESSAGE_DIGEST_ALGORITHM);
165		goto err;
166		}
167
168	if (!EVP_VerifyInit_ex(&ctx,type, NULL))
169		{
170		ASN1err(ASN1_F_ASN1_ITEM_VERIFY,ERR_R_EVP_LIB);
171		ret=0;
172		goto err;
173		}
174
175	inl = ASN1_item_i2d(asn, &buf_in, it);
176
177	if (buf_in == NULL)
178		{
179		ASN1err(ASN1_F_ASN1_ITEM_VERIFY,ERR_R_MALLOC_FAILURE);
180		goto err;
181		}
182
183	EVP_VerifyUpdate(&ctx,(unsigned char *)buf_in,inl);
184
185	OPENSSL_cleanse(buf_in,(unsigned int)inl);
186	OPENSSL_free(buf_in);
187
188	if (EVP_VerifyFinal(&ctx,(unsigned char *)signature->data,
189			(unsigned int)signature->length,pkey) <= 0)
190		{
191		ASN1err(ASN1_F_ASN1_ITEM_VERIFY,ERR_R_EVP_LIB);
192		ret=0;
193		goto err;
194		}
195	/* we don't need to zero the 'ctx' because we just checked
196	 * public information */
197	/* memset(&ctx,0,sizeof(ctx)); */
198	ret=1;
199err:
200	EVP_MD_CTX_cleanup(&ctx);
201	return(ret);
202	}
203
204
205