Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2005,2006,2007,2008 IBM Corporation |
| 3 | * |
| 4 | * Authors: |
| 5 | * Reiner Sailer <sailer@watson.ibm.com> |
| 6 | * Mimi Zohar <zohar@us.ibm.com> |
| 7 | * |
| 8 | * This program is free software; you can redistribute it and/or |
| 9 | * modify it under the terms of the GNU General Public License as |
| 10 | * published by the Free Software Foundation, version 2 of the |
| 11 | * License. |
| 12 | * |
| 13 | * File: ima.h |
| 14 | * internal Integrity Measurement Architecture (IMA) definitions |
| 15 | */ |
| 16 | |
| 17 | #ifndef __LINUX_IMA_H |
| 18 | #define __LINUX_IMA_H |
| 19 | |
| 20 | #include <linux/types.h> |
| 21 | #include <linux/crypto.h> |
| 22 | #include <linux/security.h> |
| 23 | #include <linux/hash.h> |
| 24 | #include <linux/tpm.h> |
| 25 | #include <linux/audit.h> |
| 26 | |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 27 | #include "../integrity.h" |
| 28 | |
Roberto Sassu | 3e8e550 | 2013-11-08 19:21:40 +0100 | [diff] [blame] | 29 | enum ima_show_type { IMA_SHOW_BINARY, IMA_SHOW_BINARY_NO_FIELD_LEN, |
Roberto Sassu | c019e30 | 2014-02-03 13:56:04 +0100 | [diff] [blame] | 30 | IMA_SHOW_BINARY_OLD_STRING_FMT, IMA_SHOW_ASCII }; |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 31 | enum tpm_pcrs { TPM_PCR0 = 0, TPM_PCR8 = 8 }; |
| 32 | |
| 33 | /* digest size for IMA, fits SHA1 or MD5 */ |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 34 | #define IMA_DIGEST_SIZE SHA1_DIGEST_SIZE |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 35 | #define IMA_EVENT_NAME_LEN_MAX 255 |
| 36 | |
| 37 | #define IMA_HASH_BITS 9 |
| 38 | #define IMA_MEASURE_HTABLE_SIZE (1 << IMA_HASH_BITS) |
| 39 | |
Roberto Sassu | adf53a7 | 2013-06-07 12:16:29 +0200 | [diff] [blame] | 40 | #define IMA_TEMPLATE_FIELD_ID_MAX_LEN 16 |
| 41 | #define IMA_TEMPLATE_NUM_FIELDS_MAX 15 |
| 42 | |
Roberto Sassu | 3ce1217d | 2013-06-07 12:16:30 +0200 | [diff] [blame] | 43 | #define IMA_TEMPLATE_IMA_NAME "ima" |
| 44 | #define IMA_TEMPLATE_IMA_FMT "d|n" |
| 45 | |
Roberto Sassu | a756024 | 2014-09-12 19:35:54 +0200 | [diff] [blame] | 46 | /* current content of the policy */ |
| 47 | extern int ima_policy_flag; |
| 48 | |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 49 | /* set during initialization */ |
| 50 | extern int ima_initialized; |
| 51 | extern int ima_used_chip; |
Dmitry Kasatkin | c7c8bb2 | 2013-04-25 10:43:56 +0300 | [diff] [blame] | 52 | extern int ima_hash_algo; |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 53 | extern int ima_appraise; |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 54 | |
Roberto Sassu | 23b5741 | 2015-04-11 17:09:50 +0200 | [diff] [blame] | 55 | /* IMA event related data */ |
| 56 | struct ima_event_data { |
| 57 | struct integrity_iint_cache *iint; |
| 58 | struct file *file; |
| 59 | const unsigned char *filename; |
| 60 | struct evm_ima_xattr_data *xattr_value; |
| 61 | int xattr_len; |
Roberto Sassu | 8d94eb9 | 2015-04-11 17:12:39 +0200 | [diff] [blame] | 62 | const char *violation; |
Roberto Sassu | 23b5741 | 2015-04-11 17:09:50 +0200 | [diff] [blame] | 63 | }; |
| 64 | |
Roberto Sassu | adf53a7 | 2013-06-07 12:16:29 +0200 | [diff] [blame] | 65 | /* IMA template field data definition */ |
| 66 | struct ima_field_data { |
| 67 | u8 *data; |
| 68 | u32 len; |
| 69 | }; |
| 70 | |
| 71 | /* IMA template field definition */ |
| 72 | struct ima_template_field { |
| 73 | const char field_id[IMA_TEMPLATE_FIELD_ID_MAX_LEN]; |
Roberto Sassu | 23b5741 | 2015-04-11 17:09:50 +0200 | [diff] [blame] | 74 | int (*field_init)(struct ima_event_data *event_data, |
| 75 | struct ima_field_data *field_data); |
| 76 | void (*field_show)(struct seq_file *m, enum ima_show_type show, |
| 77 | struct ima_field_data *field_data); |
Roberto Sassu | adf53a7 | 2013-06-07 12:16:29 +0200 | [diff] [blame] | 78 | }; |
| 79 | |
| 80 | /* IMA template descriptor definition */ |
| 81 | struct ima_template_desc { |
| 82 | char *name; |
| 83 | char *fmt; |
| 84 | int num_fields; |
| 85 | struct ima_template_field **fields; |
| 86 | }; |
| 87 | |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 88 | struct ima_template_entry { |
Mimi Zohar | 140d802 | 2013-03-11 20:29:47 -0400 | [diff] [blame] | 89 | u8 digest[TPM_DIGEST_SIZE]; /* sha1 or md5 measurement hash */ |
Roberto Sassu | a71dc65 | 2013-06-07 12:16:33 +0200 | [diff] [blame] | 90 | struct ima_template_desc *template_desc; /* template descriptor */ |
| 91 | u32 template_data_len; |
| 92 | struct ima_field_data template_data[0]; /* template related data */ |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 93 | }; |
| 94 | |
| 95 | struct ima_queue_entry { |
| 96 | struct hlist_node hnext; /* place in hash collision list */ |
| 97 | struct list_head later; /* place in ima_measurements list */ |
| 98 | struct ima_template_entry *entry; |
| 99 | }; |
| 100 | extern struct list_head ima_measurements; /* list of all measurements */ |
| 101 | |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 102 | /* Internal IMA function definitions */ |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 103 | int ima_init(void); |
Mimi Zohar | bab7393 | 2009-02-04 09:06:59 -0500 | [diff] [blame] | 104 | int ima_fs_init(void); |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 105 | int ima_add_template_entry(struct ima_template_entry *entry, int violation, |
Roberto Sassu | 9803d41 | 2013-06-07 12:16:27 +0200 | [diff] [blame] | 106 | const char *op, struct inode *inode, |
| 107 | const unsigned char *filename); |
Dmitry Kasatkin | c7c8bb2 | 2013-04-25 10:43:56 +0300 | [diff] [blame] | 108 | int ima_calc_file_hash(struct file *file, struct ima_digest_data *hash); |
Roberto Sassu | b6f8f16 | 2013-11-08 19:21:39 +0100 | [diff] [blame] | 109 | int ima_calc_field_array_hash(struct ima_field_data *field_data, |
| 110 | struct ima_template_desc *desc, int num_fields, |
Roberto Sassu | a71dc65 | 2013-06-07 12:16:33 +0200 | [diff] [blame] | 111 | struct ima_digest_data *hash); |
Dmitry Kasatkin | 09ef543 | 2013-06-07 12:16:25 +0200 | [diff] [blame] | 112 | int __init ima_calc_boot_aggregate(struct ima_digest_data *hash); |
Roberto Sassu | 7d802a2 | 2013-06-07 12:16:26 +0200 | [diff] [blame] | 113 | void ima_add_violation(struct file *file, const unsigned char *filename, |
Roberto Sassu | 8d94eb9 | 2015-04-11 17:12:39 +0200 | [diff] [blame] | 114 | struct integrity_iint_cache *iint, |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 115 | const char *op, const char *cause); |
Dmitry Kasatkin | 76bb28f | 2012-06-08 10:42:30 +0300 | [diff] [blame] | 116 | int ima_init_crypto(void); |
Roberto Sassu | 3ce1217d | 2013-06-07 12:16:30 +0200 | [diff] [blame] | 117 | void ima_putc(struct seq_file *m, void *data, int datalen); |
Mimi Zohar | 45b2613 | 2015-06-11 11:54:42 -0400 | [diff] [blame] | 118 | void ima_print_digest(struct seq_file *m, u8 *digest, u32 size); |
Roberto Sassu | a71dc65 | 2013-06-07 12:16:33 +0200 | [diff] [blame] | 119 | struct ima_template_desc *ima_template_desc_current(void); |
| 120 | int ima_init_template(void); |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 121 | |
| 122 | /* |
| 123 | * used to protect h_table and sha_table |
| 124 | */ |
| 125 | extern spinlock_t ima_queue_lock; |
| 126 | |
| 127 | struct ima_h_table { |
| 128 | atomic_long_t len; /* number of stored measurements in the list */ |
| 129 | atomic_long_t violations; |
| 130 | struct hlist_head queue[IMA_MEASURE_HTABLE_SIZE]; |
| 131 | }; |
| 132 | extern struct ima_h_table ima_htable; |
| 133 | |
| 134 | static inline unsigned long ima_hash_key(u8 *digest) |
| 135 | { |
| 136 | return hash_long(*digest, IMA_HASH_BITS); |
| 137 | } |
| 138 | |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 139 | /* LIM API function definitions */ |
Dmitry Kasatkin | d9d300c | 2012-06-27 11:26:14 +0300 | [diff] [blame] | 140 | int ima_get_action(struct inode *inode, int mask, int function); |
Mimi Zohar | 1adace9 | 2011-02-22 10:19:43 -0500 | [diff] [blame] | 141 | int ima_must_measure(struct inode *inode, int mask, int function); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 142 | int ima_collect_measurement(struct integrity_iint_cache *iint, |
Dmitry Kasatkin | d3634d0 | 2013-04-25 10:44:04 +0300 | [diff] [blame] | 143 | struct file *file, |
| 144 | struct evm_ima_xattr_data **xattr_value, |
| 145 | int *xattr_len); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 146 | void ima_store_measurement(struct integrity_iint_cache *iint, struct file *file, |
Mimi Zohar | bcbc9b0 | 2013-07-23 11:15:00 -0400 | [diff] [blame] | 147 | const unsigned char *filename, |
| 148 | struct evm_ima_xattr_data *xattr_value, |
| 149 | int xattr_len); |
Peter Moody | e7c568e | 2012-06-14 10:04:36 -0700 | [diff] [blame] | 150 | void ima_audit_measurement(struct integrity_iint_cache *iint, |
| 151 | const unsigned char *filename); |
Roberto Sassu | 23b5741 | 2015-04-11 17:09:50 +0200 | [diff] [blame] | 152 | int ima_alloc_init_template(struct ima_event_data *event_data, |
| 153 | struct ima_template_entry **entry); |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 154 | int ima_store_template(struct ima_template_entry *entry, int violation, |
Roberto Sassu | 9803d41 | 2013-06-07 12:16:27 +0200 | [diff] [blame] | 155 | struct inode *inode, const unsigned char *filename); |
Roberto Sassu | a7ed7c6 | 2013-12-02 19:40:34 +0100 | [diff] [blame] | 156 | void ima_free_template_entry(struct ima_template_entry *entry); |
Dmitry Kasatkin | ea1046d | 2012-09-04 00:40:17 +0300 | [diff] [blame] | 157 | const char *ima_d_path(struct path *path, char **pathbuf); |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 158 | |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 159 | /* IMA policy related functions */ |
Mimi Zohar | 5a9196d | 2014-07-22 10:39:48 -0400 | [diff] [blame] | 160 | enum ima_hooks { FILE_CHECK = 1, MMAP_CHECK, BPRM_CHECK, MODULE_CHECK, FIRMWARE_CHECK, POST_SETATTR }; |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 161 | |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 162 | int ima_match_policy(struct inode *inode, enum ima_hooks func, int mask, |
| 163 | int flags); |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 164 | void ima_init_policy(void); |
| 165 | void ima_update_policy(void); |
Roberto Sassu | a756024 | 2014-09-12 19:35:54 +0200 | [diff] [blame] | 166 | void ima_update_policy_flag(void); |
Eric Paris | 6ccd045 | 2010-04-20 10:20:54 -0400 | [diff] [blame] | 167 | ssize_t ima_parse_add_rule(char *); |
Mimi Zohar | 4af4662 | 2009-02-04 09:07:00 -0500 | [diff] [blame] | 168 | void ima_delete_rules(void); |
| 169 | |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 170 | /* Appraise integrity measurements */ |
| 171 | #define IMA_APPRAISE_ENFORCE 0x01 |
| 172 | #define IMA_APPRAISE_FIX 0x02 |
Dmitry Kasatkin | 2faa6ef | 2014-05-08 13:11:29 +0300 | [diff] [blame] | 173 | #define IMA_APPRAISE_LOG 0x04 |
| 174 | #define IMA_APPRAISE_MODULES 0x08 |
| 175 | #define IMA_APPRAISE_FIRMWARE 0x10 |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 176 | |
| 177 | #ifdef CONFIG_IMA_APPRAISE |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 178 | int ima_appraise_measurement(int func, struct integrity_iint_cache *iint, |
Dmitry Kasatkin | d3634d0 | 2013-04-25 10:44:04 +0300 | [diff] [blame] | 179 | struct file *file, const unsigned char *filename, |
| 180 | struct evm_ima_xattr_data *xattr_value, |
Dmitry Kasatkin | 3034a14 | 2014-06-27 18:15:44 +0300 | [diff] [blame] | 181 | int xattr_len, int opened); |
Dmitry Kasatkin | d26e193 | 2012-09-27 18:26:53 +0300 | [diff] [blame] | 182 | int ima_must_appraise(struct inode *inode, int mask, enum ima_hooks func); |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 183 | void ima_update_xattr(struct integrity_iint_cache *iint, struct file *file); |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 184 | enum integrity_status ima_get_cache_status(struct integrity_iint_cache *iint, |
| 185 | int func); |
Dmitry Kasatkin | d3634d0 | 2013-04-25 10:44:04 +0300 | [diff] [blame] | 186 | void ima_get_hash_algo(struct evm_ima_xattr_data *xattr_value, int xattr_len, |
| 187 | struct ima_digest_data *hash); |
| 188 | int ima_read_xattr(struct dentry *dentry, |
| 189 | struct evm_ima_xattr_data **xattr_value); |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 190 | |
| 191 | #else |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 192 | static inline int ima_appraise_measurement(int func, |
| 193 | struct integrity_iint_cache *iint, |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 194 | struct file *file, |
Dmitry Kasatkin | d3634d0 | 2013-04-25 10:44:04 +0300 | [diff] [blame] | 195 | const unsigned char *filename, |
| 196 | struct evm_ima_xattr_data *xattr_value, |
Dmitry Kasatkin | 3034a14 | 2014-06-27 18:15:44 +0300 | [diff] [blame] | 197 | int xattr_len, int opened) |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 198 | { |
| 199 | return INTEGRITY_UNKNOWN; |
| 200 | } |
| 201 | |
Dmitry Kasatkin | d26e193 | 2012-09-27 18:26:53 +0300 | [diff] [blame] | 202 | static inline int ima_must_appraise(struct inode *inode, int mask, |
| 203 | enum ima_hooks func) |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 204 | { |
| 205 | return 0; |
| 206 | } |
| 207 | |
| 208 | static inline void ima_update_xattr(struct integrity_iint_cache *iint, |
| 209 | struct file *file) |
| 210 | { |
| 211 | } |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 212 | |
| 213 | static inline enum integrity_status ima_get_cache_status(struct integrity_iint_cache |
| 214 | *iint, int func) |
| 215 | { |
| 216 | return INTEGRITY_UNKNOWN; |
| 217 | } |
Dmitry Kasatkin | d3634d0 | 2013-04-25 10:44:04 +0300 | [diff] [blame] | 218 | |
| 219 | static inline void ima_get_hash_algo(struct evm_ima_xattr_data *xattr_value, |
| 220 | int xattr_len, |
| 221 | struct ima_digest_data *hash) |
| 222 | { |
| 223 | } |
| 224 | |
| 225 | static inline int ima_read_xattr(struct dentry *dentry, |
| 226 | struct evm_ima_xattr_data **xattr_value) |
| 227 | { |
| 228 | return 0; |
| 229 | } |
| 230 | |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 231 | #endif |
| 232 | |
Mimi Zohar | 4af4662 | 2009-02-04 09:07:00 -0500 | [diff] [blame] | 233 | /* LSM based policy rules require audit */ |
| 234 | #ifdef CONFIG_IMA_LSM_RULES |
| 235 | |
| 236 | #define security_filter_rule_init security_audit_rule_init |
| 237 | #define security_filter_rule_match security_audit_rule_match |
| 238 | |
| 239 | #else |
| 240 | |
| 241 | static inline int security_filter_rule_init(u32 field, u32 op, char *rulestr, |
| 242 | void **lsmrule) |
| 243 | { |
| 244 | return -EINVAL; |
| 245 | } |
| 246 | |
| 247 | static inline int security_filter_rule_match(u32 secid, u32 field, u32 op, |
| 248 | void *lsmrule, |
| 249 | struct audit_context *actx) |
| 250 | { |
| 251 | return -EINVAL; |
| 252 | } |
| 253 | #endif /* CONFIG_IMA_LSM_RULES */ |
Mimi Zohar | 7d2ce23 | 2013-08-13 08:47:43 -0400 | [diff] [blame] | 254 | |
| 255 | #ifdef CONFIG_IMA_TRUSTED_KEYRING |
| 256 | static inline int ima_init_keyring(const unsigned int id) |
| 257 | { |
| 258 | return integrity_init_keyring(id); |
| 259 | } |
| 260 | #else |
| 261 | static inline int ima_init_keyring(const unsigned int id) |
| 262 | { |
| 263 | return 0; |
| 264 | } |
| 265 | #endif /* CONFIG_IMA_TRUSTED_KEYRING */ |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 266 | #endif |