492 lines
16 KiB
C
492 lines
16 KiB
C
/*
|
|
* Copyright 1999-2018 The OpenSSL Project Authors. All Rights Reserved.
|
|
*
|
|
* Licensed under the OpenSSL license (the "License"). You may not use
|
|
* this file except in compliance with the License. You can obtain a copy
|
|
* in the file LICENSE in the source distribution or at
|
|
* https://www.openssl.org/source/license.html
|
|
*/
|
|
|
|
#include <stdio.h>
|
|
#include "internal/cryptlib.h"
|
|
#include <openssl/conf.h>
|
|
#include <openssl/asn1.h>
|
|
#include <openssl/asn1t.h>
|
|
#include <openssl/x509v3.h>
|
|
|
|
#include "pcy_local.h"
|
|
#include "ext_dat.h"
|
|
|
|
/* Certificate policies extension support: this one is a bit complex... */
|
|
|
|
static int i2r_certpol(X509V3_EXT_METHOD *method, STACK_OF(POLICYINFO) *pol,
|
|
BIO *out, int indent);
|
|
static STACK_OF(POLICYINFO) *r2i_certpol(X509V3_EXT_METHOD *method,
|
|
X509V3_CTX *ctx, const char *value);
|
|
static void print_qualifiers(BIO *out, STACK_OF(POLICYQUALINFO) *quals,
|
|
int indent);
|
|
static void print_notice(BIO *out, USERNOTICE *notice, int indent);
|
|
static POLICYINFO *policy_section(X509V3_CTX *ctx,
|
|
STACK_OF(CONF_VALUE) *polstrs, int ia5org);
|
|
static POLICYQUALINFO *notice_section(X509V3_CTX *ctx,
|
|
STACK_OF(CONF_VALUE) *unot, int ia5org);
|
|
static int nref_nos(STACK_OF(ASN1_INTEGER) *nnums, STACK_OF(CONF_VALUE) *nos);
|
|
static int displaytext_str2tag(const char *tagstr, unsigned int *tag_len);
|
|
static int displaytext_get_tag_len(const char *tagstr);
|
|
|
|
const X509V3_EXT_METHOD v3_cpols = {
|
|
NID_certificate_policies, 0, ASN1_ITEM_ref(CERTIFICATEPOLICIES),
|
|
0, 0, 0, 0,
|
|
0, 0,
|
|
0, 0,
|
|
(X509V3_EXT_I2R)i2r_certpol,
|
|
(X509V3_EXT_R2I)r2i_certpol,
|
|
NULL
|
|
};
|
|
|
|
ASN1_ITEM_TEMPLATE(CERTIFICATEPOLICIES) =
|
|
ASN1_EX_TEMPLATE_TYPE(ASN1_TFLG_SEQUENCE_OF, 0, CERTIFICATEPOLICIES, POLICYINFO)
|
|
ASN1_ITEM_TEMPLATE_END(CERTIFICATEPOLICIES)
|
|
|
|
IMPLEMENT_ASN1_FUNCTIONS(CERTIFICATEPOLICIES)
|
|
|
|
ASN1_SEQUENCE(POLICYINFO) = {
|
|
ASN1_SIMPLE(POLICYINFO, policyid, ASN1_OBJECT),
|
|
ASN1_SEQUENCE_OF_OPT(POLICYINFO, qualifiers, POLICYQUALINFO)
|
|
} ASN1_SEQUENCE_END(POLICYINFO)
|
|
|
|
IMPLEMENT_ASN1_FUNCTIONS(POLICYINFO)
|
|
|
|
ASN1_ADB_TEMPLATE(policydefault) = ASN1_SIMPLE(POLICYQUALINFO, d.other, ASN1_ANY);
|
|
|
|
ASN1_ADB(POLICYQUALINFO) = {
|
|
ADB_ENTRY(NID_id_qt_cps, ASN1_SIMPLE(POLICYQUALINFO, d.cpsuri, ASN1_IA5STRING)),
|
|
ADB_ENTRY(NID_id_qt_unotice, ASN1_SIMPLE(POLICYQUALINFO, d.usernotice, USERNOTICE))
|
|
} ASN1_ADB_END(POLICYQUALINFO, 0, pqualid, 0, &policydefault_tt, NULL);
|
|
|
|
ASN1_SEQUENCE(POLICYQUALINFO) = {
|
|
ASN1_SIMPLE(POLICYQUALINFO, pqualid, ASN1_OBJECT),
|
|
ASN1_ADB_OBJECT(POLICYQUALINFO)
|
|
} ASN1_SEQUENCE_END(POLICYQUALINFO)
|
|
|
|
IMPLEMENT_ASN1_FUNCTIONS(POLICYQUALINFO)
|
|
|
|
ASN1_SEQUENCE(USERNOTICE) = {
|
|
ASN1_OPT(USERNOTICE, noticeref, NOTICEREF),
|
|
ASN1_OPT(USERNOTICE, exptext, DISPLAYTEXT)
|
|
} ASN1_SEQUENCE_END(USERNOTICE)
|
|
|
|
IMPLEMENT_ASN1_FUNCTIONS(USERNOTICE)
|
|
|
|
ASN1_SEQUENCE(NOTICEREF) = {
|
|
ASN1_SIMPLE(NOTICEREF, organization, DISPLAYTEXT),
|
|
ASN1_SEQUENCE_OF(NOTICEREF, noticenos, ASN1_INTEGER)
|
|
} ASN1_SEQUENCE_END(NOTICEREF)
|
|
|
|
IMPLEMENT_ASN1_FUNCTIONS(NOTICEREF)
|
|
|
|
static STACK_OF(POLICYINFO) *r2i_certpol(X509V3_EXT_METHOD *method,
|
|
X509V3_CTX *ctx, const char *value)
|
|
{
|
|
STACK_OF(POLICYINFO) *pols;
|
|
char *pstr;
|
|
POLICYINFO *pol;
|
|
ASN1_OBJECT *pobj;
|
|
STACK_OF(CONF_VALUE) *vals = X509V3_parse_list(value);
|
|
CONF_VALUE *cnf;
|
|
const int num = sk_CONF_VALUE_num(vals);
|
|
int i, ia5org;
|
|
|
|
if (vals == NULL) {
|
|
X509V3err(X509V3_F_R2I_CERTPOL, ERR_R_X509V3_LIB);
|
|
return NULL;
|
|
}
|
|
|
|
pols = sk_POLICYINFO_new_reserve(NULL, num);
|
|
if (pols == NULL) {
|
|
X509V3err(X509V3_F_R2I_CERTPOL, ERR_R_MALLOC_FAILURE);
|
|
goto err;
|
|
}
|
|
|
|
ia5org = 0;
|
|
for (i = 0; i < num; i++) {
|
|
cnf = sk_CONF_VALUE_value(vals, i);
|
|
|
|
if (cnf->value || !cnf->name) {
|
|
X509V3err(X509V3_F_R2I_CERTPOL,
|
|
X509V3_R_INVALID_POLICY_IDENTIFIER);
|
|
X509V3_conf_err(cnf);
|
|
goto err;
|
|
}
|
|
pstr = cnf->name;
|
|
if (strcmp(pstr, "ia5org") == 0) {
|
|
ia5org = 1;
|
|
continue;
|
|
} else if (*pstr == '@') {
|
|
STACK_OF(CONF_VALUE) *polsect;
|
|
polsect = X509V3_get_section(ctx, pstr + 1);
|
|
if (!polsect) {
|
|
X509V3err(X509V3_F_R2I_CERTPOL, X509V3_R_INVALID_SECTION);
|
|
|
|
X509V3_conf_err(cnf);
|
|
goto err;
|
|
}
|
|
pol = policy_section(ctx, polsect, ia5org);
|
|
X509V3_section_free(ctx, polsect);
|
|
if (pol == NULL)
|
|
goto err;
|
|
} else {
|
|
if ((pobj = OBJ_txt2obj(cnf->name, 0)) == NULL) {
|
|
X509V3err(X509V3_F_R2I_CERTPOL,
|
|
X509V3_R_INVALID_OBJECT_IDENTIFIER);
|
|
X509V3_conf_err(cnf);
|
|
goto err;
|
|
}
|
|
pol = POLICYINFO_new();
|
|
if (pol == NULL) {
|
|
ASN1_OBJECT_free(pobj);
|
|
X509V3err(X509V3_F_R2I_CERTPOL, ERR_R_MALLOC_FAILURE);
|
|
goto err;
|
|
}
|
|
pol->policyid = pobj;
|
|
}
|
|
if (!sk_POLICYINFO_push(pols, pol)) {
|
|
POLICYINFO_free(pol);
|
|
X509V3err(X509V3_F_R2I_CERTPOL, ERR_R_MALLOC_FAILURE);
|
|
goto err;
|
|
}
|
|
}
|
|
sk_CONF_VALUE_pop_free(vals, X509V3_conf_free);
|
|
return pols;
|
|
err:
|
|
sk_CONF_VALUE_pop_free(vals, X509V3_conf_free);
|
|
sk_POLICYINFO_pop_free(pols, POLICYINFO_free);
|
|
return NULL;
|
|
}
|
|
|
|
static POLICYINFO *policy_section(X509V3_CTX *ctx,
|
|
STACK_OF(CONF_VALUE) *polstrs, int ia5org)
|
|
{
|
|
int i;
|
|
CONF_VALUE *cnf;
|
|
POLICYINFO *pol;
|
|
POLICYQUALINFO *qual;
|
|
|
|
if ((pol = POLICYINFO_new()) == NULL)
|
|
goto merr;
|
|
for (i = 0; i < sk_CONF_VALUE_num(polstrs); i++) {
|
|
cnf = sk_CONF_VALUE_value(polstrs, i);
|
|
if (strcmp(cnf->name, "policyIdentifier") == 0) {
|
|
ASN1_OBJECT *pobj;
|
|
if ((pobj = OBJ_txt2obj(cnf->value, 0)) == NULL) {
|
|
X509V3err(X509V3_F_POLICY_SECTION,
|
|
X509V3_R_INVALID_OBJECT_IDENTIFIER);
|
|
X509V3_conf_err(cnf);
|
|
goto err;
|
|
}
|
|
pol->policyid = pobj;
|
|
|
|
} else if (!name_cmp(cnf->name, "CPS")) {
|
|
if (pol->qualifiers == NULL)
|
|
pol->qualifiers = sk_POLICYQUALINFO_new_null();
|
|
if ((qual = POLICYQUALINFO_new()) == NULL)
|
|
goto merr;
|
|
if (!sk_POLICYQUALINFO_push(pol->qualifiers, qual))
|
|
goto merr;
|
|
if ((qual->pqualid = OBJ_nid2obj(NID_id_qt_cps)) == NULL) {
|
|
X509V3err(X509V3_F_POLICY_SECTION, ERR_R_INTERNAL_ERROR);
|
|
goto err;
|
|
}
|
|
if ((qual->d.cpsuri = ASN1_IA5STRING_new()) == NULL)
|
|
goto merr;
|
|
if (!ASN1_STRING_set(qual->d.cpsuri, cnf->value,
|
|
strlen(cnf->value)))
|
|
goto merr;
|
|
} else if (!name_cmp(cnf->name, "userNotice")) {
|
|
STACK_OF(CONF_VALUE) *unot;
|
|
if (*cnf->value != '@') {
|
|
X509V3err(X509V3_F_POLICY_SECTION,
|
|
X509V3_R_EXPECTED_A_SECTION_NAME);
|
|
X509V3_conf_err(cnf);
|
|
goto err;
|
|
}
|
|
unot = X509V3_get_section(ctx, cnf->value + 1);
|
|
if (!unot) {
|
|
X509V3err(X509V3_F_POLICY_SECTION, X509V3_R_INVALID_SECTION);
|
|
|
|
X509V3_conf_err(cnf);
|
|
goto err;
|
|
}
|
|
qual = notice_section(ctx, unot, ia5org);
|
|
X509V3_section_free(ctx, unot);
|
|
if (!qual)
|
|
goto err;
|
|
if (!pol->qualifiers)
|
|
pol->qualifiers = sk_POLICYQUALINFO_new_null();
|
|
if (!sk_POLICYQUALINFO_push(pol->qualifiers, qual))
|
|
goto merr;
|
|
} else {
|
|
X509V3err(X509V3_F_POLICY_SECTION, X509V3_R_INVALID_OPTION);
|
|
|
|
X509V3_conf_err(cnf);
|
|
goto err;
|
|
}
|
|
}
|
|
if (!pol->policyid) {
|
|
X509V3err(X509V3_F_POLICY_SECTION, X509V3_R_NO_POLICY_IDENTIFIER);
|
|
goto err;
|
|
}
|
|
|
|
return pol;
|
|
|
|
merr:
|
|
X509V3err(X509V3_F_POLICY_SECTION, ERR_R_MALLOC_FAILURE);
|
|
|
|
err:
|
|
POLICYINFO_free(pol);
|
|
return NULL;
|
|
}
|
|
|
|
static int displaytext_get_tag_len(const char *tagstr)
|
|
{
|
|
char *colon = strchr(tagstr, ':');
|
|
|
|
return (colon == NULL) ? -1 : colon - tagstr;
|
|
}
|
|
|
|
static int displaytext_str2tag(const char *tagstr, unsigned int *tag_len)
|
|
{
|
|
int len;
|
|
|
|
*tag_len = 0;
|
|
len = displaytext_get_tag_len(tagstr);
|
|
|
|
if (len == -1)
|
|
return V_ASN1_VISIBLESTRING;
|
|
*tag_len = len;
|
|
if (len == sizeof("UTF8") - 1 && strncmp(tagstr, "UTF8", len) == 0)
|
|
return V_ASN1_UTF8STRING;
|
|
if (len == sizeof("UTF8String") - 1 && strncmp(tagstr, "UTF8String", len) == 0)
|
|
return V_ASN1_UTF8STRING;
|
|
if (len == sizeof("BMP") - 1 && strncmp(tagstr, "BMP", len) == 0)
|
|
return V_ASN1_BMPSTRING;
|
|
if (len == sizeof("BMPSTRING") - 1 && strncmp(tagstr, "BMPSTRING", len) == 0)
|
|
return V_ASN1_BMPSTRING;
|
|
if (len == sizeof("VISIBLE") - 1 && strncmp(tagstr, "VISIBLE", len) == 0)
|
|
return V_ASN1_VISIBLESTRING;
|
|
if (len == sizeof("VISIBLESTRING") - 1 && strncmp(tagstr, "VISIBLESTRING", len) == 0)
|
|
return V_ASN1_VISIBLESTRING;
|
|
*tag_len = 0;
|
|
return V_ASN1_VISIBLESTRING;
|
|
}
|
|
|
|
static POLICYQUALINFO *notice_section(X509V3_CTX *ctx,
|
|
STACK_OF(CONF_VALUE) *unot, int ia5org)
|
|
{
|
|
int i, ret, len, tag;
|
|
unsigned int tag_len;
|
|
CONF_VALUE *cnf;
|
|
USERNOTICE *not;
|
|
POLICYQUALINFO *qual;
|
|
char *value = NULL;
|
|
|
|
if ((qual = POLICYQUALINFO_new()) == NULL)
|
|
goto merr;
|
|
if ((qual->pqualid = OBJ_nid2obj(NID_id_qt_unotice)) == NULL) {
|
|
X509V3err(X509V3_F_NOTICE_SECTION, ERR_R_INTERNAL_ERROR);
|
|
goto err;
|
|
}
|
|
if ((not = USERNOTICE_new()) == NULL)
|
|
goto merr;
|
|
qual->d.usernotice = not;
|
|
for (i = 0; i < sk_CONF_VALUE_num(unot); i++) {
|
|
cnf = sk_CONF_VALUE_value(unot, i);
|
|
value = cnf->value;
|
|
if (strcmp(cnf->name, "explicitText") == 0) {
|
|
tag = displaytext_str2tag(value, &tag_len);
|
|
if ((not->exptext = ASN1_STRING_type_new(tag)) == NULL)
|
|
goto merr;
|
|
if (tag_len != 0)
|
|
value += tag_len + 1;
|
|
len = strlen(value);
|
|
if (!ASN1_STRING_set(not->exptext, value, len))
|
|
goto merr;
|
|
} else if (strcmp(cnf->name, "organization") == 0) {
|
|
NOTICEREF *nref;
|
|
if (!not->noticeref) {
|
|
if ((nref = NOTICEREF_new()) == NULL)
|
|
goto merr;
|
|
not->noticeref = nref;
|
|
} else
|
|
nref = not->noticeref;
|
|
if (ia5org)
|
|
nref->organization->type = V_ASN1_IA5STRING;
|
|
else
|
|
nref->organization->type = V_ASN1_VISIBLESTRING;
|
|
if (!ASN1_STRING_set(nref->organization, cnf->value,
|
|
strlen(cnf->value)))
|
|
goto merr;
|
|
} else if (strcmp(cnf->name, "noticeNumbers") == 0) {
|
|
NOTICEREF *nref;
|
|
STACK_OF(CONF_VALUE) *nos;
|
|
if (!not->noticeref) {
|
|
if ((nref = NOTICEREF_new()) == NULL)
|
|
goto merr;
|
|
not->noticeref = nref;
|
|
} else
|
|
nref = not->noticeref;
|
|
nos = X509V3_parse_list(cnf->value);
|
|
if (!nos || !sk_CONF_VALUE_num(nos)) {
|
|
X509V3err(X509V3_F_NOTICE_SECTION, X509V3_R_INVALID_NUMBERS);
|
|
X509V3_conf_err(cnf);
|
|
sk_CONF_VALUE_pop_free(nos, X509V3_conf_free);
|
|
goto err;
|
|
}
|
|
ret = nref_nos(nref->noticenos, nos);
|
|
sk_CONF_VALUE_pop_free(nos, X509V3_conf_free);
|
|
if (!ret)
|
|
goto err;
|
|
} else {
|
|
X509V3err(X509V3_F_NOTICE_SECTION, X509V3_R_INVALID_OPTION);
|
|
X509V3_conf_err(cnf);
|
|
goto err;
|
|
}
|
|
}
|
|
|
|
if (not->noticeref &&
|
|
(!not->noticeref->noticenos || !not->noticeref->organization)) {
|
|
X509V3err(X509V3_F_NOTICE_SECTION,
|
|
X509V3_R_NEED_ORGANIZATION_AND_NUMBERS);
|
|
goto err;
|
|
}
|
|
|
|
return qual;
|
|
|
|
merr:
|
|
X509V3err(X509V3_F_NOTICE_SECTION, ERR_R_MALLOC_FAILURE);
|
|
|
|
err:
|
|
POLICYQUALINFO_free(qual);
|
|
return NULL;
|
|
}
|
|
|
|
static int nref_nos(STACK_OF(ASN1_INTEGER) *nnums, STACK_OF(CONF_VALUE) *nos)
|
|
{
|
|
CONF_VALUE *cnf;
|
|
ASN1_INTEGER *aint;
|
|
|
|
int i;
|
|
|
|
for (i = 0; i < sk_CONF_VALUE_num(nos); i++) {
|
|
cnf = sk_CONF_VALUE_value(nos, i);
|
|
if ((aint = s2i_ASN1_INTEGER(NULL, cnf->name)) == NULL) {
|
|
X509V3err(X509V3_F_NREF_NOS, X509V3_R_INVALID_NUMBER);
|
|
goto err;
|
|
}
|
|
if (!sk_ASN1_INTEGER_push(nnums, aint))
|
|
goto merr;
|
|
}
|
|
return 1;
|
|
|
|
merr:
|
|
ASN1_INTEGER_free(aint);
|
|
X509V3err(X509V3_F_NREF_NOS, ERR_R_MALLOC_FAILURE);
|
|
|
|
err:
|
|
return 0;
|
|
}
|
|
|
|
static int i2r_certpol(X509V3_EXT_METHOD *method, STACK_OF(POLICYINFO) *pol,
|
|
BIO *out, int indent)
|
|
{
|
|
int i;
|
|
POLICYINFO *pinfo;
|
|
/* First print out the policy OIDs */
|
|
for (i = 0; i < sk_POLICYINFO_num(pol); i++) {
|
|
pinfo = sk_POLICYINFO_value(pol, i);
|
|
BIO_printf(out, "%*sPolicy: ", indent, "");
|
|
i2a_ASN1_OBJECT(out, pinfo->policyid);
|
|
BIO_puts(out, "\n");
|
|
if (pinfo->qualifiers)
|
|
print_qualifiers(out, pinfo->qualifiers, indent + 2);
|
|
}
|
|
return 1;
|
|
}
|
|
|
|
static void print_qualifiers(BIO *out, STACK_OF(POLICYQUALINFO) *quals,
|
|
int indent)
|
|
{
|
|
POLICYQUALINFO *qualinfo;
|
|
int i;
|
|
for (i = 0; i < sk_POLICYQUALINFO_num(quals); i++) {
|
|
qualinfo = sk_POLICYQUALINFO_value(quals, i);
|
|
switch (OBJ_obj2nid(qualinfo->pqualid)) {
|
|
case NID_id_qt_cps:
|
|
BIO_printf(out, "%*sCPS: %s\n", indent, "",
|
|
qualinfo->d.cpsuri->data);
|
|
break;
|
|
|
|
case NID_id_qt_unotice:
|
|
BIO_printf(out, "%*sUser Notice:\n", indent, "");
|
|
print_notice(out, qualinfo->d.usernotice, indent + 2);
|
|
break;
|
|
|
|
default:
|
|
BIO_printf(out, "%*sUnknown Qualifier: ", indent + 2, "");
|
|
|
|
i2a_ASN1_OBJECT(out, qualinfo->pqualid);
|
|
BIO_puts(out, "\n");
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
|
|
static void print_notice(BIO *out, USERNOTICE *notice, int indent)
|
|
{
|
|
int i;
|
|
if (notice->noticeref) {
|
|
NOTICEREF *ref;
|
|
ref = notice->noticeref;
|
|
BIO_printf(out, "%*sOrganization: %s\n", indent, "",
|
|
ref->organization->data);
|
|
BIO_printf(out, "%*sNumber%s: ", indent, "",
|
|
sk_ASN1_INTEGER_num(ref->noticenos) > 1 ? "s" : "");
|
|
for (i = 0; i < sk_ASN1_INTEGER_num(ref->noticenos); i++) {
|
|
ASN1_INTEGER *num;
|
|
char *tmp;
|
|
num = sk_ASN1_INTEGER_value(ref->noticenos, i);
|
|
if (i)
|
|
BIO_puts(out, ", ");
|
|
if (num == NULL)
|
|
BIO_puts(out, "(null)");
|
|
else {
|
|
tmp = i2s_ASN1_INTEGER(NULL, num);
|
|
if (tmp == NULL)
|
|
return;
|
|
BIO_puts(out, tmp);
|
|
OPENSSL_free(tmp);
|
|
}
|
|
}
|
|
BIO_puts(out, "\n");
|
|
}
|
|
if (notice->exptext)
|
|
BIO_printf(out, "%*sExplicit Text: %s\n", indent, "",
|
|
notice->exptext->data);
|
|
}
|
|
|
|
void X509_POLICY_NODE_print(BIO *out, X509_POLICY_NODE *node, int indent)
|
|
{
|
|
const X509_POLICY_DATA *dat = node->data;
|
|
|
|
BIO_printf(out, "%*sPolicy: ", indent, "");
|
|
|
|
i2a_ASN1_OBJECT(out, dat->valid_policy);
|
|
BIO_puts(out, "\n");
|
|
BIO_printf(out, "%*s%s\n", indent + 2, "",
|
|
node_data_critical(dat) ? "Critical" : "Non Critical");
|
|
if (dat->qualifier_set)
|
|
print_qualifiers(out, dat->qualifier_set, indent + 2);
|
|
else
|
|
BIO_printf(out, "%*sNo Qualifiers\n", indent + 2, "");
|
|
}
|