1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0
2*4882a593Smuzhiyun /*
3*4882a593Smuzhiyun * Verification of builtin signatures
4*4882a593Smuzhiyun *
5*4882a593Smuzhiyun * Copyright 2019 Google LLC
6*4882a593Smuzhiyun */
7*4882a593Smuzhiyun
8*4882a593Smuzhiyun #include "fsverity_private.h"
9*4882a593Smuzhiyun
10*4882a593Smuzhiyun #include <linux/cred.h>
11*4882a593Smuzhiyun #include <linux/key.h>
12*4882a593Smuzhiyun #include <linux/slab.h>
13*4882a593Smuzhiyun #include <linux/verification.h>
14*4882a593Smuzhiyun
15*4882a593Smuzhiyun /*
16*4882a593Smuzhiyun * /proc/sys/fs/verity/require_signatures
17*4882a593Smuzhiyun * If 1, all verity files must have a valid builtin signature.
18*4882a593Smuzhiyun */
19*4882a593Smuzhiyun static int fsverity_require_signatures;
20*4882a593Smuzhiyun
21*4882a593Smuzhiyun /*
22*4882a593Smuzhiyun * Keyring that contains the trusted X.509 certificates.
23*4882a593Smuzhiyun *
24*4882a593Smuzhiyun * Only root (kuid=0) can modify this. Also, root may use
25*4882a593Smuzhiyun * keyctl_restrict_keyring() to prevent any more additions.
26*4882a593Smuzhiyun */
27*4882a593Smuzhiyun static struct key *fsverity_keyring;
28*4882a593Smuzhiyun
29*4882a593Smuzhiyun /**
30*4882a593Smuzhiyun * fsverity_verify_signature() - check a verity file's signature
31*4882a593Smuzhiyun * @vi: the file's fsverity_info
32*4882a593Smuzhiyun * @signature: the file's built-in signature
33*4882a593Smuzhiyun * @sig_size: size of signature in bytes, or 0 if no signature
34*4882a593Smuzhiyun *
35*4882a593Smuzhiyun * If the file includes a signature of its fs-verity file digest, verify it
36*4882a593Smuzhiyun * against the certificates in the fs-verity keyring.
37*4882a593Smuzhiyun *
38*4882a593Smuzhiyun * Return: 0 on success (signature valid or not required); -errno on failure
39*4882a593Smuzhiyun */
fsverity_verify_signature(const struct fsverity_info * vi,const u8 * signature,size_t sig_size)40*4882a593Smuzhiyun int fsverity_verify_signature(const struct fsverity_info *vi,
41*4882a593Smuzhiyun const u8 *signature, size_t sig_size)
42*4882a593Smuzhiyun {
43*4882a593Smuzhiyun unsigned int digest_algorithm =
44*4882a593Smuzhiyun vi->tree_params.hash_alg - fsverity_hash_algs;
45*4882a593Smuzhiyun
46*4882a593Smuzhiyun return __fsverity_verify_signature(vi->inode, signature, sig_size,
47*4882a593Smuzhiyun vi->file_digest, digest_algorithm);
48*4882a593Smuzhiyun }
49*4882a593Smuzhiyun
50*4882a593Smuzhiyun /**
51*4882a593Smuzhiyun * __fsverity_verify_signature() - check a verity file's signature
52*4882a593Smuzhiyun * @inode: the file's inode
53*4882a593Smuzhiyun * @signature: the file's signature
54*4882a593Smuzhiyun * @sig_size: size of @signature. Can be 0 if there is no signature
55*4882a593Smuzhiyun * @file_digest: the file's digest
56*4882a593Smuzhiyun * @digest_algorithm: the digest algorithm used
57*4882a593Smuzhiyun *
58*4882a593Smuzhiyun * Takes the file's digest and optional signature and verifies the signature
59*4882a593Smuzhiyun * against the digest and the fs-verity keyring if appropriate
60*4882a593Smuzhiyun *
61*4882a593Smuzhiyun * Return: 0 on success (signature valid or not required); -errno on failure
62*4882a593Smuzhiyun */
__fsverity_verify_signature(const struct inode * inode,const u8 * signature,size_t sig_size,const u8 * file_digest,unsigned int digest_algorithm)63*4882a593Smuzhiyun int __fsverity_verify_signature(const struct inode *inode, const u8 *signature,
64*4882a593Smuzhiyun size_t sig_size, const u8 *file_digest,
65*4882a593Smuzhiyun unsigned int digest_algorithm)
66*4882a593Smuzhiyun {
67*4882a593Smuzhiyun struct fsverity_formatted_digest *d;
68*4882a593Smuzhiyun struct fsverity_hash_alg *hash_alg = fsverity_get_hash_alg(inode,
69*4882a593Smuzhiyun digest_algorithm);
70*4882a593Smuzhiyun int err;
71*4882a593Smuzhiyun
72*4882a593Smuzhiyun if (IS_ERR(hash_alg))
73*4882a593Smuzhiyun return PTR_ERR(hash_alg);
74*4882a593Smuzhiyun
75*4882a593Smuzhiyun if (sig_size == 0) {
76*4882a593Smuzhiyun if (fsverity_require_signatures) {
77*4882a593Smuzhiyun fsverity_err(inode,
78*4882a593Smuzhiyun "require_signatures=1, rejecting unsigned file!");
79*4882a593Smuzhiyun return -EPERM;
80*4882a593Smuzhiyun }
81*4882a593Smuzhiyun return 0;
82*4882a593Smuzhiyun }
83*4882a593Smuzhiyun
84*4882a593Smuzhiyun d = kzalloc(sizeof(*d) + hash_alg->digest_size, GFP_KERNEL);
85*4882a593Smuzhiyun if (!d)
86*4882a593Smuzhiyun return -ENOMEM;
87*4882a593Smuzhiyun memcpy(d->magic, "FSVerity", 8);
88*4882a593Smuzhiyun d->digest_algorithm = cpu_to_le16(hash_alg - fsverity_hash_algs);
89*4882a593Smuzhiyun d->digest_size = cpu_to_le16(hash_alg->digest_size);
90*4882a593Smuzhiyun memcpy(d->digest, file_digest, hash_alg->digest_size);
91*4882a593Smuzhiyun
92*4882a593Smuzhiyun err = verify_pkcs7_signature(d, sizeof(*d) + hash_alg->digest_size,
93*4882a593Smuzhiyun signature, sig_size, fsverity_keyring,
94*4882a593Smuzhiyun VERIFYING_UNSPECIFIED_SIGNATURE,
95*4882a593Smuzhiyun NULL, NULL);
96*4882a593Smuzhiyun kfree(d);
97*4882a593Smuzhiyun
98*4882a593Smuzhiyun if (err) {
99*4882a593Smuzhiyun if (err == -ENOKEY)
100*4882a593Smuzhiyun fsverity_err(inode,
101*4882a593Smuzhiyun "File's signing cert isn't in the fs-verity keyring");
102*4882a593Smuzhiyun else if (err == -EKEYREJECTED)
103*4882a593Smuzhiyun fsverity_err(inode, "Incorrect file signature");
104*4882a593Smuzhiyun else if (err == -EBADMSG)
105*4882a593Smuzhiyun fsverity_err(inode, "Malformed file signature");
106*4882a593Smuzhiyun else
107*4882a593Smuzhiyun fsverity_err(inode, "Error %d verifying file signature",
108*4882a593Smuzhiyun err);
109*4882a593Smuzhiyun return err;
110*4882a593Smuzhiyun }
111*4882a593Smuzhiyun
112*4882a593Smuzhiyun pr_debug("Valid signature for file digest %s:%*phN\n",
113*4882a593Smuzhiyun hash_alg->name, hash_alg->digest_size, file_digest);
114*4882a593Smuzhiyun return 0;
115*4882a593Smuzhiyun }
116*4882a593Smuzhiyun EXPORT_SYMBOL_GPL(__fsverity_verify_signature);
117*4882a593Smuzhiyun
118*4882a593Smuzhiyun #ifdef CONFIG_SYSCTL
119*4882a593Smuzhiyun static struct ctl_table_header *fsverity_sysctl_header;
120*4882a593Smuzhiyun
121*4882a593Smuzhiyun static const struct ctl_path fsverity_sysctl_path[] = {
122*4882a593Smuzhiyun { .procname = "fs", },
123*4882a593Smuzhiyun { .procname = "verity", },
124*4882a593Smuzhiyun { }
125*4882a593Smuzhiyun };
126*4882a593Smuzhiyun
127*4882a593Smuzhiyun static struct ctl_table fsverity_sysctl_table[] = {
128*4882a593Smuzhiyun {
129*4882a593Smuzhiyun .procname = "require_signatures",
130*4882a593Smuzhiyun .data = &fsverity_require_signatures,
131*4882a593Smuzhiyun .maxlen = sizeof(int),
132*4882a593Smuzhiyun .mode = 0644,
133*4882a593Smuzhiyun .proc_handler = proc_dointvec_minmax,
134*4882a593Smuzhiyun .extra1 = SYSCTL_ZERO,
135*4882a593Smuzhiyun .extra2 = SYSCTL_ONE,
136*4882a593Smuzhiyun },
137*4882a593Smuzhiyun { }
138*4882a593Smuzhiyun };
139*4882a593Smuzhiyun
fsverity_sysctl_init(void)140*4882a593Smuzhiyun static int __init fsverity_sysctl_init(void)
141*4882a593Smuzhiyun {
142*4882a593Smuzhiyun fsverity_sysctl_header = register_sysctl_paths(fsverity_sysctl_path,
143*4882a593Smuzhiyun fsverity_sysctl_table);
144*4882a593Smuzhiyun if (!fsverity_sysctl_header) {
145*4882a593Smuzhiyun pr_err("sysctl registration failed!\n");
146*4882a593Smuzhiyun return -ENOMEM;
147*4882a593Smuzhiyun }
148*4882a593Smuzhiyun return 0;
149*4882a593Smuzhiyun }
150*4882a593Smuzhiyun #else /* !CONFIG_SYSCTL */
fsverity_sysctl_init(void)151*4882a593Smuzhiyun static inline int __init fsverity_sysctl_init(void)
152*4882a593Smuzhiyun {
153*4882a593Smuzhiyun return 0;
154*4882a593Smuzhiyun }
155*4882a593Smuzhiyun #endif /* !CONFIG_SYSCTL */
156*4882a593Smuzhiyun
fsverity_init_signature(void)157*4882a593Smuzhiyun int __init fsverity_init_signature(void)
158*4882a593Smuzhiyun {
159*4882a593Smuzhiyun struct key *ring;
160*4882a593Smuzhiyun int err;
161*4882a593Smuzhiyun
162*4882a593Smuzhiyun ring = keyring_alloc(".fs-verity", KUIDT_INIT(0), KGIDT_INIT(0),
163*4882a593Smuzhiyun current_cred(), KEY_POS_SEARCH |
164*4882a593Smuzhiyun KEY_USR_VIEW | KEY_USR_READ | KEY_USR_WRITE |
165*4882a593Smuzhiyun KEY_USR_SEARCH | KEY_USR_SETATTR,
166*4882a593Smuzhiyun KEY_ALLOC_NOT_IN_QUOTA, NULL, NULL);
167*4882a593Smuzhiyun if (IS_ERR(ring))
168*4882a593Smuzhiyun return PTR_ERR(ring);
169*4882a593Smuzhiyun
170*4882a593Smuzhiyun err = fsverity_sysctl_init();
171*4882a593Smuzhiyun if (err)
172*4882a593Smuzhiyun goto err_put_ring;
173*4882a593Smuzhiyun
174*4882a593Smuzhiyun fsverity_keyring = ring;
175*4882a593Smuzhiyun return 0;
176*4882a593Smuzhiyun
177*4882a593Smuzhiyun err_put_ring:
178*4882a593Smuzhiyun key_put(ring);
179*4882a593Smuzhiyun return err;
180*4882a593Smuzhiyun }
181