Thomas Gleixner | b886d83 | 2019-06-01 10:08:55 +0200 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0-only */ |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 2 | /* |
| 3 | * Copyright (C) 2009-2010 IBM Corporation |
| 4 | * |
| 5 | * Authors: |
| 6 | * Mimi Zohar <zohar@us.ibm.com> |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 7 | */ |
| 8 | |
Tushar Sugandhi | 555d6d7 | 2020-02-18 16:06:11 -0800 | [diff] [blame] | 9 | #ifdef pr_fmt |
| 10 | #undef pr_fmt |
| 11 | #endif |
| 12 | |
| 13 | #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt |
| 14 | |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 15 | #include <linux/types.h> |
| 16 | #include <linux/integrity.h> |
| 17 | #include <crypto/sha.h> |
Dmitry Kasatkin | e075125 | 2013-02-07 00:12:08 +0200 | [diff] [blame] | 18 | #include <linux/key.h> |
Stefan Berger | 2afd020 | 2018-06-04 16:54:54 -0400 | [diff] [blame] | 19 | #include <linux/audit.h> |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 20 | |
Dmitry Kasatkin | 45e2472 | 2012-09-12 20:51:32 +0300 | [diff] [blame] | 21 | /* iint action cache flags */ |
Mimi Zohar | f578c08 | 2012-12-05 09:29:09 -0500 | [diff] [blame] | 22 | #define IMA_MEASURE 0x00000001 |
| 23 | #define IMA_MEASURED 0x00000002 |
| 24 | #define IMA_APPRAISE 0x00000004 |
| 25 | #define IMA_APPRAISED 0x00000008 |
| 26 | /*#define IMA_COLLECT 0x00000010 do not use this flag */ |
| 27 | #define IMA_COLLECTED 0x00000020 |
| 28 | #define IMA_AUDIT 0x00000040 |
| 29 | #define IMA_AUDITED 0x00000080 |
Mimi Zohar | da1b002 | 2016-09-29 10:04:52 -0400 | [diff] [blame] | 30 | #define IMA_HASH 0x00000100 |
| 31 | #define IMA_HASHED 0x00000200 |
Dmitry Kasatkin | 45e2472 | 2012-09-12 20:51:32 +0300 | [diff] [blame] | 32 | |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 33 | /* iint cache flags */ |
Mimi Zohar | f578c08 | 2012-12-05 09:29:09 -0500 | [diff] [blame] | 34 | #define IMA_ACTION_FLAGS 0xff000000 |
Dmitry Kasatkin | 0d73a55 | 2017-12-05 21:06:34 +0200 | [diff] [blame] | 35 | #define IMA_DIGSIG_REQUIRED 0x01000000 |
| 36 | #define IMA_PERMIT_DIRECTIO 0x02000000 |
| 37 | #define IMA_NEW_FILE 0x04000000 |
| 38 | #define EVM_IMMUTABLE_DIGSIG 0x08000000 |
Mimi Zohar | 9e67028 | 2018-02-21 11:36:32 -0500 | [diff] [blame] | 39 | #define IMA_FAIL_UNVERIFIABLE_SIGS 0x10000000 |
Thiago Jung Bauermann | 9044d62 | 2019-06-27 23:19:28 -0300 | [diff] [blame] | 40 | #define IMA_MODSIG_ALLOWED 0x20000000 |
Nayna Jain | 273df86 | 2019-10-30 23:31:32 -0400 | [diff] [blame] | 41 | #define IMA_CHECK_BLACKLIST 0x40000000 |
Dmitry Kasatkin | 45e2472 | 2012-09-12 20:51:32 +0300 | [diff] [blame] | 42 | |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 43 | #define IMA_DO_MASK (IMA_MEASURE | IMA_APPRAISE | IMA_AUDIT | \ |
Mimi Zohar | da1b002 | 2016-09-29 10:04:52 -0400 | [diff] [blame] | 44 | IMA_HASH | IMA_APPRAISE_SUBMASK) |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 45 | #define IMA_DONE_MASK (IMA_MEASURED | IMA_APPRAISED | IMA_AUDITED | \ |
Mimi Zohar | da1b002 | 2016-09-29 10:04:52 -0400 | [diff] [blame] | 46 | IMA_HASHED | IMA_COLLECTED | \ |
| 47 | IMA_APPRAISED_SUBMASK) |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 48 | |
| 49 | /* iint subaction appraise cache flags */ |
Mimi Zohar | da1b002 | 2016-09-29 10:04:52 -0400 | [diff] [blame] | 50 | #define IMA_FILE_APPRAISE 0x00001000 |
| 51 | #define IMA_FILE_APPRAISED 0x00002000 |
| 52 | #define IMA_MMAP_APPRAISE 0x00004000 |
| 53 | #define IMA_MMAP_APPRAISED 0x00008000 |
| 54 | #define IMA_BPRM_APPRAISE 0x00010000 |
| 55 | #define IMA_BPRM_APPRAISED 0x00020000 |
| 56 | #define IMA_READ_APPRAISE 0x00040000 |
| 57 | #define IMA_READ_APPRAISED 0x00080000 |
Matthew Garrett | d906c10 | 2018-01-08 13:36:20 -0800 | [diff] [blame] | 58 | #define IMA_CREDS_APPRAISE 0x00100000 |
| 59 | #define IMA_CREDS_APPRAISED 0x00200000 |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 60 | #define IMA_APPRAISE_SUBMASK (IMA_FILE_APPRAISE | IMA_MMAP_APPRAISE | \ |
Matthew Garrett | d906c10 | 2018-01-08 13:36:20 -0800 | [diff] [blame] | 61 | IMA_BPRM_APPRAISE | IMA_READ_APPRAISE | \ |
| 62 | IMA_CREDS_APPRAISE) |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 63 | #define IMA_APPRAISED_SUBMASK (IMA_FILE_APPRAISED | IMA_MMAP_APPRAISED | \ |
Matthew Garrett | d906c10 | 2018-01-08 13:36:20 -0800 | [diff] [blame] | 64 | IMA_BPRM_APPRAISED | IMA_READ_APPRAISED | \ |
| 65 | IMA_CREDS_APPRAISED) |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 66 | |
Dmitry Kasatkin | 0d73a55 | 2017-12-05 21:06:34 +0200 | [diff] [blame] | 67 | /* iint cache atomic_flags */ |
| 68 | #define IMA_CHANGE_XATTR 0 |
| 69 | #define IMA_UPDATE_XATTR 1 |
| 70 | #define IMA_CHANGE_ATTR 2 |
| 71 | #define IMA_DIGSIG 3 |
| 72 | #define IMA_MUST_MEASURE 4 |
| 73 | |
Dmitry Kasatkin | 6be5cc5 | 2011-03-09 14:28:20 -0500 | [diff] [blame] | 74 | enum evm_ima_xattr_type { |
| 75 | IMA_XATTR_DIGEST = 0x01, |
| 76 | EVM_XATTR_HMAC, |
| 77 | EVM_IMA_XATTR_DIGSIG, |
Dmitry Kasatkin | 3ea7a56 | 2013-08-12 11:22:51 +0300 | [diff] [blame] | 78 | IMA_XATTR_DIGEST_NG, |
Matthew Garrett | 50b9774 | 2017-11-07 07:17:42 -0800 | [diff] [blame] | 79 | EVM_XATTR_PORTABLE_DIGSIG, |
Dmitry Kasatkin | a48fda9 | 2014-10-28 13:31:22 +0200 | [diff] [blame] | 80 | IMA_XATTR_LAST |
Dmitry Kasatkin | 6be5cc5 | 2011-03-09 14:28:20 -0500 | [diff] [blame] | 81 | }; |
| 82 | |
| 83 | struct evm_ima_xattr_data { |
| 84 | u8 type; |
Thiago Jung Bauermann | 650b29d | 2019-06-11 03:28:08 -0300 | [diff] [blame] | 85 | u8 data[]; |
| 86 | } __packed; |
| 87 | |
| 88 | /* Only used in the EVM HMAC code. */ |
| 89 | struct evm_xattr { |
| 90 | struct evm_ima_xattr_data data; |
Dmitry Kasatkin | 6be5cc5 | 2011-03-09 14:28:20 -0500 | [diff] [blame] | 91 | u8 digest[SHA1_DIGEST_SIZE]; |
Dmitry Kasatkin | c7c8bb2 | 2013-04-25 10:43:56 +0300 | [diff] [blame] | 92 | } __packed; |
| 93 | |
| 94 | #define IMA_MAX_DIGEST_SIZE 64 |
| 95 | |
| 96 | struct ima_digest_data { |
| 97 | u8 algo; |
| 98 | u8 length; |
Dmitry Kasatkin | 3ea7a56 | 2013-08-12 11:22:51 +0300 | [diff] [blame] | 99 | union { |
| 100 | struct { |
| 101 | u8 unused; |
| 102 | u8 type; |
| 103 | } sha1; |
| 104 | struct { |
| 105 | u8 type; |
| 106 | u8 algo; |
| 107 | } ng; |
| 108 | u8 data[2]; |
| 109 | } xattr; |
Gustavo A. R. Silva | eb492c6 | 2020-05-28 09:35:11 -0500 | [diff] [blame] | 110 | u8 digest[]; |
Dmitry Kasatkin | c7c8bb2 | 2013-04-25 10:43:56 +0300 | [diff] [blame] | 111 | } __packed; |
Dmitry Kasatkin | 6be5cc5 | 2011-03-09 14:28:20 -0500 | [diff] [blame] | 112 | |
Dmitry Kasatkin | d3634d0 | 2013-04-25 10:44:04 +0300 | [diff] [blame] | 113 | /* |
| 114 | * signature format v2 - for using with asymmetric keys |
| 115 | */ |
| 116 | struct signature_v2_hdr { |
Dmitry Kasatkin | b1aaab2 | 2013-10-10 16:12:03 +0900 | [diff] [blame] | 117 | uint8_t type; /* xattr type */ |
Dmitry Kasatkin | d3634d0 | 2013-04-25 10:44:04 +0300 | [diff] [blame] | 118 | uint8_t version; /* signature format version */ |
David Howells | 4e8ae72 | 2016-03-03 21:49:27 +0000 | [diff] [blame] | 119 | uint8_t hash_algo; /* Digest algorithm [enum hash_algo] */ |
Thiago Jung Bauermann | bb543e3 | 2017-06-07 22:49:10 -0300 | [diff] [blame] | 120 | __be32 keyid; /* IMA key identifier - not X509/PGP specific */ |
| 121 | __be16 sig_size; /* signature size */ |
Gustavo A. R. Silva | eb492c6 | 2020-05-28 09:35:11 -0500 | [diff] [blame] | 122 | uint8_t sig[]; /* signature payload */ |
Dmitry Kasatkin | d3634d0 | 2013-04-25 10:44:04 +0300 | [diff] [blame] | 123 | } __packed; |
| 124 | |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 125 | /* integrity data associated with an inode */ |
| 126 | struct integrity_iint_cache { |
Dmitry Kasatkin | c7c8bb2 | 2013-04-25 10:43:56 +0300 | [diff] [blame] | 127 | struct rb_node rb_node; /* rooted in integrity_iint_tree */ |
Dmitry Kasatkin | 0d73a55 | 2017-12-05 21:06:34 +0200 | [diff] [blame] | 128 | struct mutex mutex; /* protects: version, flags, digest */ |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 129 | struct inode *inode; /* back pointer to inode in question */ |
| 130 | u64 version; /* track inode changes */ |
Mimi Zohar | f578c08 | 2012-12-05 09:29:09 -0500 | [diff] [blame] | 131 | unsigned long flags; |
Eric Richter | 96d450b | 2016-06-01 13:14:00 -0500 | [diff] [blame] | 132 | unsigned long measured_pcrs; |
Dmitry Kasatkin | 0d73a55 | 2017-12-05 21:06:34 +0200 | [diff] [blame] | 133 | unsigned long atomic_flags; |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 134 | enum integrity_status ima_file_status:4; |
| 135 | enum integrity_status ima_mmap_status:4; |
| 136 | enum integrity_status ima_bprm_status:4; |
Mimi Zohar | cf22221 | 2016-01-14 17:57:47 -0500 | [diff] [blame] | 137 | enum integrity_status ima_read_status:4; |
Matthew Garrett | d906c10 | 2018-01-08 13:36:20 -0800 | [diff] [blame] | 138 | enum integrity_status ima_creds_status:4; |
Dmitry Kasatkin | ee86633 | 2012-09-21 17:00:43 +0300 | [diff] [blame] | 139 | enum integrity_status evm_status:4; |
Dmitry Kasatkin | a35c3fb | 2013-04-25 10:44:04 +0300 | [diff] [blame] | 140 | struct ima_digest_data *ima_hash; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 141 | }; |
| 142 | |
| 143 | /* rbtree tree calls to lookup, insert, delete |
| 144 | * integrity data associated with an inode. |
| 145 | */ |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 146 | struct integrity_iint_cache *integrity_iint_find(struct inode *inode); |
James Morris | 4892722 | 2011-08-17 10:34:33 +1000 | [diff] [blame] | 147 | |
Dmitry Kasatkin | e3c4abb | 2014-11-05 17:01:12 +0200 | [diff] [blame] | 148 | int integrity_kernel_read(struct file *file, loff_t offset, |
Thiago Jung Bauermann | bb543e3 | 2017-06-07 22:49:10 -0300 | [diff] [blame] | 149 | void *addr, unsigned long count); |
| 150 | |
Dmitry Kasatkin | 8607c50 | 2011-10-05 11:54:46 +0300 | [diff] [blame] | 151 | #define INTEGRITY_KEYRING_EVM 0 |
Dmitry Kasatkin | f4dc377 | 2015-10-22 21:26:10 +0300 | [diff] [blame] | 152 | #define INTEGRITY_KEYRING_IMA 1 |
Thiago Jung Bauermann | c7f7e58 | 2018-12-12 23:39:09 -0200 | [diff] [blame] | 153 | #define INTEGRITY_KEYRING_PLATFORM 2 |
| 154 | #define INTEGRITY_KEYRING_MAX 3 |
Dmitry Kasatkin | 8607c50 | 2011-10-05 11:54:46 +0300 | [diff] [blame] | 155 | |
Matthew Garrett | 0c343af | 2018-05-11 16:12:34 -0700 | [diff] [blame] | 156 | extern struct dentry *integrity_dir; |
| 157 | |
Thiago Jung Bauermann | 39b0709 | 2019-06-27 23:19:30 -0300 | [diff] [blame] | 158 | struct modsig; |
| 159 | |
Dmitry Kasatkin | f1be242 | 2012-01-17 17:12:07 +0200 | [diff] [blame] | 160 | #ifdef CONFIG_INTEGRITY_SIGNATURE |
Dmitry Kasatkin | 8607c50 | 2011-10-05 11:54:46 +0300 | [diff] [blame] | 161 | |
| 162 | int integrity_digsig_verify(const unsigned int id, const char *sig, int siglen, |
Dmitry Kasatkin | 089bc8e | 2013-10-10 15:56:13 +0900 | [diff] [blame] | 163 | const char *digest, int digestlen); |
Thiago Jung Bauermann | 39b0709 | 2019-06-27 23:19:30 -0300 | [diff] [blame] | 164 | int integrity_modsig_verify(unsigned int id, const struct modsig *modsig); |
Dmitry Kasatkin | 8607c50 | 2011-10-05 11:54:46 +0300 | [diff] [blame] | 165 | |
Dmitry Kasatkin | d16a858 | 2014-10-01 21:43:07 +0300 | [diff] [blame] | 166 | int __init integrity_init_keyring(const unsigned int id); |
Dmitry Kasatkin | 9d03a72 | 2014-11-26 16:55:00 +0200 | [diff] [blame] | 167 | int __init integrity_load_x509(const unsigned int id, const char *path); |
Nayna Jain | 60740ac | 2018-12-09 01:57:00 +0530 | [diff] [blame] | 168 | int __init integrity_load_cert(const unsigned int id, const char *source, |
Linus Torvalds | 028db3e | 2019-07-10 18:43:43 -0700 | [diff] [blame] | 169 | const void *data, size_t len, key_perm_t perm); |
Dmitry Kasatkin | 8607c50 | 2011-10-05 11:54:46 +0300 | [diff] [blame] | 170 | #else |
| 171 | |
| 172 | static inline int integrity_digsig_verify(const unsigned int id, |
| 173 | const char *sig, int siglen, |
| 174 | const char *digest, int digestlen) |
| 175 | { |
| 176 | return -EOPNOTSUPP; |
| 177 | } |
| 178 | |
Thiago Jung Bauermann | 39b0709 | 2019-06-27 23:19:30 -0300 | [diff] [blame] | 179 | static inline int integrity_modsig_verify(unsigned int id, |
| 180 | const struct modsig *modsig) |
| 181 | { |
| 182 | return -EOPNOTSUPP; |
| 183 | } |
| 184 | |
Mimi Zohar | 7d2ce23 | 2013-08-13 08:47:43 -0400 | [diff] [blame] | 185 | static inline int integrity_init_keyring(const unsigned int id) |
| 186 | { |
| 187 | return 0; |
| 188 | } |
Nayna Jain | 60740ac | 2018-12-09 01:57:00 +0530 | [diff] [blame] | 189 | |
| 190 | static inline int __init integrity_load_cert(const unsigned int id, |
| 191 | const char *source, |
| 192 | const void *data, size_t len, |
Linus Torvalds | 028db3e | 2019-07-10 18:43:43 -0700 | [diff] [blame] | 193 | key_perm_t perm) |
Nayna Jain | 60740ac | 2018-12-09 01:57:00 +0530 | [diff] [blame] | 194 | { |
| 195 | return 0; |
| 196 | } |
Dmitry Kasatkin | f1be242 | 2012-01-17 17:12:07 +0200 | [diff] [blame] | 197 | #endif /* CONFIG_INTEGRITY_SIGNATURE */ |
Dmitry Kasatkin | 8607c50 | 2011-10-05 11:54:46 +0300 | [diff] [blame] | 198 | |
Dmitry Kasatkin | e075125 | 2013-02-07 00:12:08 +0200 | [diff] [blame] | 199 | #ifdef CONFIG_INTEGRITY_ASYMMETRIC_KEYS |
| 200 | int asymmetric_verify(struct key *keyring, const char *sig, |
| 201 | int siglen, const char *data, int datalen); |
| 202 | #else |
| 203 | static inline int asymmetric_verify(struct key *keyring, const char *sig, |
| 204 | int siglen, const char *data, int datalen) |
| 205 | { |
| 206 | return -EOPNOTSUPP; |
| 207 | } |
| 208 | #endif |
| 209 | |
Thiago Jung Bauermann | 39b0709 | 2019-06-27 23:19:30 -0300 | [diff] [blame] | 210 | #ifdef CONFIG_IMA_APPRAISE_MODSIG |
| 211 | int ima_modsig_verify(struct key *keyring, const struct modsig *modsig); |
| 212 | #else |
| 213 | static inline int ima_modsig_verify(struct key *keyring, |
| 214 | const struct modsig *modsig) |
| 215 | { |
| 216 | return -EOPNOTSUPP; |
| 217 | } |
| 218 | #endif |
| 219 | |
Dmitry Kasatkin | fd5f4e90 | 2014-11-05 17:01:14 +0200 | [diff] [blame] | 220 | #ifdef CONFIG_IMA_LOAD_X509 |
| 221 | void __init ima_load_x509(void); |
| 222 | #else |
| 223 | static inline void ima_load_x509(void) |
| 224 | { |
| 225 | } |
| 226 | #endif |
| 227 | |
Dmitry Kasatkin | 2ce523e | 2015-10-22 21:26:21 +0300 | [diff] [blame] | 228 | #ifdef CONFIG_EVM_LOAD_X509 |
| 229 | void __init evm_load_x509(void); |
| 230 | #else |
| 231 | static inline void evm_load_x509(void) |
| 232 | { |
| 233 | } |
| 234 | #endif |
| 235 | |
Mimi Zohar | d726d8d | 2013-03-18 14:48:02 -0400 | [diff] [blame] | 236 | #ifdef CONFIG_INTEGRITY_AUDIT |
| 237 | /* declarations */ |
| 238 | void integrity_audit_msg(int audit_msgno, struct inode *inode, |
| 239 | const unsigned char *fname, const char *op, |
| 240 | const char *cause, int result, int info); |
Stefan Berger | 2afd020 | 2018-06-04 16:54:54 -0400 | [diff] [blame] | 241 | |
Lakshmi Ramasubramanian | 2f84588 | 2020-06-18 14:10:11 -0700 | [diff] [blame] | 242 | void integrity_audit_message(int audit_msgno, struct inode *inode, |
| 243 | const unsigned char *fname, const char *op, |
| 244 | const char *cause, int result, int info, |
| 245 | int errno); |
| 246 | |
Stefan Berger | 2afd020 | 2018-06-04 16:54:54 -0400 | [diff] [blame] | 247 | static inline struct audit_buffer * |
| 248 | integrity_audit_log_start(struct audit_context *ctx, gfp_t gfp_mask, int type) |
| 249 | { |
| 250 | return audit_log_start(ctx, gfp_mask, type); |
| 251 | } |
| 252 | |
Mimi Zohar | d726d8d | 2013-03-18 14:48:02 -0400 | [diff] [blame] | 253 | #else |
| 254 | static inline void integrity_audit_msg(int audit_msgno, struct inode *inode, |
| 255 | const unsigned char *fname, |
| 256 | const char *op, const char *cause, |
| 257 | int result, int info) |
| 258 | { |
| 259 | } |
Stefan Berger | 2afd020 | 2018-06-04 16:54:54 -0400 | [diff] [blame] | 260 | |
Lakshmi Ramasubramanian | 2f84588 | 2020-06-18 14:10:11 -0700 | [diff] [blame] | 261 | static inline void integrity_audit_message(int audit_msgno, |
| 262 | struct inode *inode, |
| 263 | const unsigned char *fname, |
| 264 | const char *op, const char *cause, |
| 265 | int result, int info, int errno) |
| 266 | { |
| 267 | } |
| 268 | |
Stefan Berger | 2afd020 | 2018-06-04 16:54:54 -0400 | [diff] [blame] | 269 | static inline struct audit_buffer * |
| 270 | integrity_audit_log_start(struct audit_context *ctx, gfp_t gfp_mask, int type) |
| 271 | { |
| 272 | return NULL; |
| 273 | } |
| 274 | |
Mimi Zohar | d726d8d | 2013-03-18 14:48:02 -0400 | [diff] [blame] | 275 | #endif |
Nayna Jain | 60740ac | 2018-12-09 01:57:00 +0530 | [diff] [blame] | 276 | |
| 277 | #ifdef CONFIG_INTEGRITY_PLATFORM_KEYRING |
| 278 | void __init add_to_platform_keyring(const char *source, const void *data, |
| 279 | size_t len); |
| 280 | #else |
| 281 | static inline void __init add_to_platform_keyring(const char *source, |
| 282 | const void *data, size_t len) |
| 283 | { |
| 284 | } |
| 285 | #endif |