xref: /freebsd/crypto/heimdal/lib/gssapi/krb5/decapsulate.c (revision 5130b35ef561edf87be53721ed68de7927843fd4)
1c19800e8SDoug Rabson /*
2ae771770SStanislav Sedov  * Copyright (c) 1997 - 2001 Kungliga Tekniska Högskolan
3c19800e8SDoug Rabson  * (Royal Institute of Technology, Stockholm, Sweden).
4c19800e8SDoug Rabson  * All rights reserved.
5c19800e8SDoug Rabson  *
6c19800e8SDoug Rabson  * Redistribution and use in source and binary forms, with or without
7c19800e8SDoug Rabson  * modification, are permitted provided that the following conditions
8c19800e8SDoug Rabson  * are met:
9c19800e8SDoug Rabson  *
10c19800e8SDoug Rabson  * 1. Redistributions of source code must retain the above copyright
11c19800e8SDoug Rabson  *    notice, this list of conditions and the following disclaimer.
12c19800e8SDoug Rabson  *
13c19800e8SDoug Rabson  * 2. Redistributions in binary form must reproduce the above copyright
14c19800e8SDoug Rabson  *    notice, this list of conditions and the following disclaimer in the
15c19800e8SDoug Rabson  *    documentation and/or other materials provided with the distribution.
16c19800e8SDoug Rabson  *
17c19800e8SDoug Rabson  * 3. Neither the name of the Institute nor the names of its contributors
18c19800e8SDoug Rabson  *    may be used to endorse or promote products derived from this software
19c19800e8SDoug Rabson  *    without specific prior written permission.
20c19800e8SDoug Rabson  *
21c19800e8SDoug Rabson  * THIS SOFTWARE IS PROVIDED BY THE INSTITUTE AND CONTRIBUTORS ``AS IS'' AND
22c19800e8SDoug Rabson  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
23c19800e8SDoug Rabson  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
24c19800e8SDoug Rabson  * ARE DISCLAIMED.  IN NO EVENT SHALL THE INSTITUTE OR CONTRIBUTORS BE LIABLE
25c19800e8SDoug Rabson  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
26c19800e8SDoug Rabson  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
27c19800e8SDoug Rabson  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
28c19800e8SDoug Rabson  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
29c19800e8SDoug Rabson  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
30c19800e8SDoug Rabson  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
31c19800e8SDoug Rabson  * SUCH DAMAGE.
32c19800e8SDoug Rabson  */
33c19800e8SDoug Rabson 
34ae771770SStanislav Sedov #include "gsskrb5_locl.h"
35c19800e8SDoug Rabson 
36c19800e8SDoug Rabson /*
37c19800e8SDoug Rabson  * return the length of the mechanism in token or -1
38c19800e8SDoug Rabson  * (which implies that the token was bad - GSS_S_DEFECTIVE_TOKEN
39c19800e8SDoug Rabson  */
40c19800e8SDoug Rabson 
41c19800e8SDoug Rabson ssize_t
_gsskrb5_get_mech(const u_char * ptr,size_t total_len,const u_char ** mech_ret)42c19800e8SDoug Rabson _gsskrb5_get_mech (const u_char *ptr,
43c19800e8SDoug Rabson 		      size_t total_len,
44c19800e8SDoug Rabson 		      const u_char **mech_ret)
45c19800e8SDoug Rabson {
46c19800e8SDoug Rabson     size_t len, len_len, mech_len, foo;
47c19800e8SDoug Rabson     const u_char *p = ptr;
48c19800e8SDoug Rabson     int e;
49c19800e8SDoug Rabson 
50c19800e8SDoug Rabson     if (total_len < 1)
51c19800e8SDoug Rabson 	return -1;
52c19800e8SDoug Rabson     if (*p++ != 0x60)
53c19800e8SDoug Rabson 	return -1;
54c19800e8SDoug Rabson     e = der_get_length (p, total_len - 1, &len, &len_len);
55c19800e8SDoug Rabson     if (e || 1 + len_len + len != total_len)
56c19800e8SDoug Rabson 	return -1;
57*ed549cb0SCy Schubert     if (total_len < 1 + len_len + 1)
58*ed549cb0SCy Schubert 	return -1;
59c19800e8SDoug Rabson     p += len_len;
60c19800e8SDoug Rabson     if (*p++ != 0x06)
61c19800e8SDoug Rabson 	return -1;
62c19800e8SDoug Rabson     e = der_get_length (p, total_len - 1 - len_len - 1,
63c19800e8SDoug Rabson 			&mech_len, &foo);
64c19800e8SDoug Rabson     if (e)
65c19800e8SDoug Rabson 	return -1;
66c19800e8SDoug Rabson     p += foo;
67c19800e8SDoug Rabson     *mech_ret = p;
68c19800e8SDoug Rabson     return mech_len;
69c19800e8SDoug Rabson }
70c19800e8SDoug Rabson 
71c19800e8SDoug Rabson OM_uint32
_gssapi_verify_mech_header(u_char ** str,size_t total_len,gss_OID mech)72c19800e8SDoug Rabson _gssapi_verify_mech_header(u_char **str,
73c19800e8SDoug Rabson 			   size_t total_len,
74c19800e8SDoug Rabson 			   gss_OID mech)
75c19800e8SDoug Rabson {
76c19800e8SDoug Rabson     const u_char *p;
77c19800e8SDoug Rabson     ssize_t mech_len;
78c19800e8SDoug Rabson 
79c19800e8SDoug Rabson     mech_len = _gsskrb5_get_mech (*str, total_len, &p);
80c19800e8SDoug Rabson     if (mech_len < 0)
81c19800e8SDoug Rabson 	return GSS_S_DEFECTIVE_TOKEN;
82c19800e8SDoug Rabson 
83c19800e8SDoug Rabson     if (mech_len != mech->length)
84c19800e8SDoug Rabson 	return GSS_S_BAD_MECH;
85*ed549cb0SCy Schubert     if (mech_len > total_len)
86*ed549cb0SCy Schubert 	return GSS_S_BAD_MECH;
87*ed549cb0SCy Schubert     if (p - *str > total_len - mech_len)
88*ed549cb0SCy Schubert 	return GSS_S_BAD_MECH;
89ae771770SStanislav Sedov     if (ct_memcmp(p,
90c19800e8SDoug Rabson 		  mech->elements,
91c19800e8SDoug Rabson 		  mech->length) != 0)
92c19800e8SDoug Rabson 	return GSS_S_BAD_MECH;
93c19800e8SDoug Rabson     p += mech_len;
94c19800e8SDoug Rabson     *str = rk_UNCONST(p);
95c19800e8SDoug Rabson     return GSS_S_COMPLETE;
96c19800e8SDoug Rabson }
97c19800e8SDoug Rabson 
98c19800e8SDoug Rabson OM_uint32
_gsskrb5_verify_header(u_char ** str,size_t total_len,const void * type,gss_OID oid)99c19800e8SDoug Rabson _gsskrb5_verify_header(u_char **str,
100c19800e8SDoug Rabson 			  size_t total_len,
101c19800e8SDoug Rabson 			  const void *type,
102c19800e8SDoug Rabson 			  gss_OID oid)
103c19800e8SDoug Rabson {
104c19800e8SDoug Rabson     OM_uint32 ret;
105c19800e8SDoug Rabson     size_t len;
106c19800e8SDoug Rabson     u_char *p = *str;
107c19800e8SDoug Rabson 
108c19800e8SDoug Rabson     ret = _gssapi_verify_mech_header(str, total_len, oid);
109c19800e8SDoug Rabson     if (ret)
110c19800e8SDoug Rabson 	return ret;
111c19800e8SDoug Rabson 
112c19800e8SDoug Rabson     len = total_len - (*str - p);
113c19800e8SDoug Rabson 
114c19800e8SDoug Rabson     if (len < 2)
115c19800e8SDoug Rabson 	return GSS_S_DEFECTIVE_TOKEN;
116c19800e8SDoug Rabson 
117ae771770SStanislav Sedov     if (ct_memcmp (*str, type, 2) != 0)
118c19800e8SDoug Rabson 	return GSS_S_DEFECTIVE_TOKEN;
119c19800e8SDoug Rabson     *str += 2;
120c19800e8SDoug Rabson 
121c19800e8SDoug Rabson     return 0;
122c19800e8SDoug Rabson }
123c19800e8SDoug Rabson 
124c19800e8SDoug Rabson /*
125c19800e8SDoug Rabson  * Remove the GSS-API wrapping from `in_token' giving `out_data.
126c19800e8SDoug Rabson  * Does not copy data, so just free `in_token'.
127c19800e8SDoug Rabson  */
128c19800e8SDoug Rabson 
129c19800e8SDoug Rabson OM_uint32
_gssapi_decapsulate(OM_uint32 * minor_status,gss_buffer_t input_token_buffer,krb5_data * out_data,const gss_OID mech)130c19800e8SDoug Rabson _gssapi_decapsulate(
131c19800e8SDoug Rabson     OM_uint32 *minor_status,
132c19800e8SDoug Rabson     gss_buffer_t input_token_buffer,
133c19800e8SDoug Rabson     krb5_data *out_data,
134c19800e8SDoug Rabson     const gss_OID mech
135c19800e8SDoug Rabson )
136c19800e8SDoug Rabson {
137c19800e8SDoug Rabson     u_char *p;
138c19800e8SDoug Rabson     OM_uint32 ret;
139c19800e8SDoug Rabson 
140c19800e8SDoug Rabson     p = input_token_buffer->value;
141c19800e8SDoug Rabson     ret = _gssapi_verify_mech_header(&p,
142c19800e8SDoug Rabson 				    input_token_buffer->length,
143c19800e8SDoug Rabson 				    mech);
144c19800e8SDoug Rabson     if (ret) {
145c19800e8SDoug Rabson 	*minor_status = 0;
146c19800e8SDoug Rabson 	return ret;
147c19800e8SDoug Rabson     }
148c19800e8SDoug Rabson 
149c19800e8SDoug Rabson     out_data->length = input_token_buffer->length -
150c19800e8SDoug Rabson 	(p - (u_char *)input_token_buffer->value);
151c19800e8SDoug Rabson     out_data->data   = p;
152c19800e8SDoug Rabson     return GSS_S_COMPLETE;
153c19800e8SDoug Rabson }
154c19800e8SDoug Rabson 
155c19800e8SDoug Rabson /*
156c19800e8SDoug Rabson  * Remove the GSS-API wrapping from `in_token' giving `out_data.
157c19800e8SDoug Rabson  * Does not copy data, so just free `in_token'.
158c19800e8SDoug Rabson  */
159c19800e8SDoug Rabson 
160c19800e8SDoug Rabson OM_uint32
_gsskrb5_decapsulate(OM_uint32 * minor_status,gss_buffer_t input_token_buffer,krb5_data * out_data,const void * type,gss_OID oid)161c19800e8SDoug Rabson _gsskrb5_decapsulate(OM_uint32 *minor_status,
162c19800e8SDoug Rabson 			gss_buffer_t input_token_buffer,
163c19800e8SDoug Rabson 			krb5_data *out_data,
164c19800e8SDoug Rabson 			const void *type,
165c19800e8SDoug Rabson 			gss_OID oid)
166c19800e8SDoug Rabson {
167c19800e8SDoug Rabson     u_char *p;
168c19800e8SDoug Rabson     OM_uint32 ret;
169c19800e8SDoug Rabson 
170c19800e8SDoug Rabson     p = input_token_buffer->value;
171c19800e8SDoug Rabson     ret = _gsskrb5_verify_header(&p,
172c19800e8SDoug Rabson 				    input_token_buffer->length,
173c19800e8SDoug Rabson 				    type,
174c19800e8SDoug Rabson 				    oid);
175c19800e8SDoug Rabson     if (ret) {
176c19800e8SDoug Rabson 	*minor_status = 0;
177c19800e8SDoug Rabson 	return ret;
178c19800e8SDoug Rabson     }
179c19800e8SDoug Rabson 
180c19800e8SDoug Rabson     out_data->length = input_token_buffer->length -
181c19800e8SDoug Rabson 	(p - (u_char *)input_token_buffer->value);
182c19800e8SDoug Rabson     out_data->data   = p;
183c19800e8SDoug Rabson     return GSS_S_COMPLETE;
184c19800e8SDoug Rabson }
185c19800e8SDoug Rabson 
186c19800e8SDoug Rabson /*
187c19800e8SDoug Rabson  * Verify padding of a gss wrapped message and return its length.
188c19800e8SDoug Rabson  */
189c19800e8SDoug Rabson 
190c19800e8SDoug Rabson OM_uint32
_gssapi_verify_pad(gss_buffer_t wrapped_token,size_t datalen,size_t * padlen)191c19800e8SDoug Rabson _gssapi_verify_pad(gss_buffer_t wrapped_token,
192c19800e8SDoug Rabson 		   size_t datalen,
193c19800e8SDoug Rabson 		   size_t *padlen)
194c19800e8SDoug Rabson {
195c19800e8SDoug Rabson     u_char *pad;
196c19800e8SDoug Rabson     size_t padlength;
197c19800e8SDoug Rabson     int i;
198c19800e8SDoug Rabson 
199*ed549cb0SCy Schubert     pad = (u_char *)wrapped_token->value + wrapped_token->length;
200*ed549cb0SCy Schubert     padlength = pad[-1];
201c19800e8SDoug Rabson 
202c19800e8SDoug Rabson     if (padlength > datalen)
203c19800e8SDoug Rabson 	return GSS_S_BAD_MECH;
204c19800e8SDoug Rabson 
205*ed549cb0SCy Schubert     for (i = padlength; i > 0 && *--pad == padlength; i--)
206c19800e8SDoug Rabson 	;
207c19800e8SDoug Rabson     if (i != 0)
208c19800e8SDoug Rabson 	return GSS_S_BAD_MIC;
209c19800e8SDoug Rabson 
210c19800e8SDoug Rabson     *padlen = padlength;
211c19800e8SDoug Rabson 
212c19800e8SDoug Rabson     return 0;
213c19800e8SDoug Rabson }
214