Mimi Zohar | 3323eec | 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, |
| 30 | IMA_SHOW_ASCII }; |
Mimi Zohar | 3323eec | 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 | 3323eec | 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 | |
Mimi Zohar | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 46 | /* set during initialization */ |
| 47 | extern int ima_initialized; |
| 48 | extern int ima_used_chip; |
Dmitry Kasatkin | c7c8bb2 | 2013-04-25 10:43:56 +0300 | [diff] [blame] | 49 | extern int ima_hash_algo; |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 50 | extern int ima_appraise; |
Mimi Zohar | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 51 | |
Roberto Sassu | adf53a7 | 2013-06-07 12:16:29 +0200 | [diff] [blame] | 52 | /* IMA template field data definition */ |
| 53 | struct ima_field_data { |
| 54 | u8 *data; |
| 55 | u32 len; |
| 56 | }; |
| 57 | |
| 58 | /* IMA template field definition */ |
| 59 | struct ima_template_field { |
| 60 | const char field_id[IMA_TEMPLATE_FIELD_ID_MAX_LEN]; |
| 61 | int (*field_init) (struct integrity_iint_cache *iint, struct file *file, |
| 62 | const unsigned char *filename, |
Mimi Zohar | bcbc9b0c | 2013-07-23 11:15:00 -0400 | [diff] [blame] | 63 | struct evm_ima_xattr_data *xattr_value, |
| 64 | int xattr_len, struct ima_field_data *field_data); |
Roberto Sassu | adf53a7 | 2013-06-07 12:16:29 +0200 | [diff] [blame] | 65 | void (*field_show) (struct seq_file *m, enum ima_show_type show, |
| 66 | struct ima_field_data *field_data); |
| 67 | }; |
| 68 | |
| 69 | /* IMA template descriptor definition */ |
| 70 | struct ima_template_desc { |
| 71 | char *name; |
| 72 | char *fmt; |
| 73 | int num_fields; |
| 74 | struct ima_template_field **fields; |
| 75 | }; |
| 76 | |
Mimi Zohar | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 77 | struct ima_template_entry { |
Mimi Zohar | 140d802 | 2013-03-11 20:29:47 -0400 | [diff] [blame] | 78 | u8 digest[TPM_DIGEST_SIZE]; /* sha1 or md5 measurement hash */ |
Roberto Sassu | a71dc65 | 2013-06-07 12:16:33 +0200 | [diff] [blame] | 79 | struct ima_template_desc *template_desc; /* template descriptor */ |
| 80 | u32 template_data_len; |
| 81 | struct ima_field_data template_data[0]; /* template related data */ |
Mimi Zohar | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 82 | }; |
| 83 | |
| 84 | struct ima_queue_entry { |
| 85 | struct hlist_node hnext; /* place in hash collision list */ |
| 86 | struct list_head later; /* place in ima_measurements list */ |
| 87 | struct ima_template_entry *entry; |
| 88 | }; |
| 89 | extern struct list_head ima_measurements; /* list of all measurements */ |
| 90 | |
Mimi Zohar | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 91 | /* Internal IMA function definitions */ |
Mimi Zohar | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 92 | int ima_init(void); |
Mimi Zohar | bab7393 | 2009-02-04 09:06:59 -0500 | [diff] [blame] | 93 | void ima_cleanup(void); |
| 94 | int ima_fs_init(void); |
| 95 | void ima_fs_cleanup(void); |
Eric Paris | a178d20 | 2010-10-25 14:41:59 -0400 | [diff] [blame] | 96 | int ima_inode_alloc(struct inode *inode); |
Mimi Zohar | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 97 | int ima_add_template_entry(struct ima_template_entry *entry, int violation, |
Roberto Sassu | 9803d41 | 2013-06-07 12:16:27 +0200 | [diff] [blame] | 98 | const char *op, struct inode *inode, |
| 99 | const unsigned char *filename); |
Dmitry Kasatkin | c7c8bb2 | 2013-04-25 10:43:56 +0300 | [diff] [blame] | 100 | 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] | 101 | int ima_calc_field_array_hash(struct ima_field_data *field_data, |
| 102 | struct ima_template_desc *desc, int num_fields, |
Roberto Sassu | a71dc65 | 2013-06-07 12:16:33 +0200 | [diff] [blame] | 103 | struct ima_digest_data *hash); |
Dmitry Kasatkin | 09ef543 | 2013-06-07 12:16:25 +0200 | [diff] [blame] | 104 | int __init ima_calc_boot_aggregate(struct ima_digest_data *hash); |
Roberto Sassu | 7d802a2 | 2013-06-07 12:16:26 +0200 | [diff] [blame] | 105 | void ima_add_violation(struct file *file, const unsigned char *filename, |
Mimi Zohar | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 106 | const char *op, const char *cause); |
Dmitry Kasatkin | 76bb28f | 2012-06-08 10:42:30 +0300 | [diff] [blame] | 107 | int ima_init_crypto(void); |
Roberto Sassu | 3ce1217d | 2013-06-07 12:16:30 +0200 | [diff] [blame] | 108 | void ima_putc(struct seq_file *m, void *data, int datalen); |
| 109 | void ima_print_digest(struct seq_file *m, u8 *digest, int size); |
Roberto Sassu | a71dc65 | 2013-06-07 12:16:33 +0200 | [diff] [blame] | 110 | struct ima_template_desc *ima_template_desc_current(void); |
| 111 | int ima_init_template(void); |
Mimi Zohar | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 112 | |
Roberto Sassu | adf53a7 | 2013-06-07 12:16:29 +0200 | [diff] [blame] | 113 | int ima_init_template(void); |
| 114 | |
Mimi Zohar | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 115 | /* |
| 116 | * used to protect h_table and sha_table |
| 117 | */ |
| 118 | extern spinlock_t ima_queue_lock; |
| 119 | |
| 120 | struct ima_h_table { |
| 121 | atomic_long_t len; /* number of stored measurements in the list */ |
| 122 | atomic_long_t violations; |
| 123 | struct hlist_head queue[IMA_MEASURE_HTABLE_SIZE]; |
| 124 | }; |
| 125 | extern struct ima_h_table ima_htable; |
| 126 | |
| 127 | static inline unsigned long ima_hash_key(u8 *digest) |
| 128 | { |
| 129 | return hash_long(*digest, IMA_HASH_BITS); |
| 130 | } |
| 131 | |
Mimi Zohar | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 132 | /* LIM API function definitions */ |
Dmitry Kasatkin | d9d300c | 2012-06-27 11:26:14 +0300 | [diff] [blame] | 133 | int ima_get_action(struct inode *inode, int mask, int function); |
Mimi Zohar | 1adace9 | 2011-02-22 10:19:43 -0500 | [diff] [blame] | 134 | int ima_must_measure(struct inode *inode, int mask, int function); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 135 | int ima_collect_measurement(struct integrity_iint_cache *iint, |
Dmitry Kasatkin | d3634d0 | 2013-04-25 10:44:04 +0300 | [diff] [blame] | 136 | struct file *file, |
| 137 | struct evm_ima_xattr_data **xattr_value, |
| 138 | int *xattr_len); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 139 | void ima_store_measurement(struct integrity_iint_cache *iint, struct file *file, |
Mimi Zohar | bcbc9b0c | 2013-07-23 11:15:00 -0400 | [diff] [blame] | 140 | const unsigned char *filename, |
| 141 | struct evm_ima_xattr_data *xattr_value, |
| 142 | int xattr_len); |
Peter Moody | e7c568e | 2012-06-14 10:04:36 -0700 | [diff] [blame] | 143 | void ima_audit_measurement(struct integrity_iint_cache *iint, |
| 144 | const unsigned char *filename); |
Roberto Sassu | 7bc5f44 | 2013-06-07 12:16:28 +0200 | [diff] [blame] | 145 | int ima_alloc_init_template(struct integrity_iint_cache *iint, |
| 146 | struct file *file, const unsigned char *filename, |
Mimi Zohar | bcbc9b0c | 2013-07-23 11:15:00 -0400 | [diff] [blame] | 147 | struct evm_ima_xattr_data *xattr_value, |
| 148 | int xattr_len, struct ima_template_entry **entry); |
Mimi Zohar | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 149 | int ima_store_template(struct ima_template_entry *entry, int violation, |
Roberto Sassu | 9803d41 | 2013-06-07 12:16:27 +0200 | [diff] [blame] | 150 | struct inode *inode, const unsigned char *filename); |
Dmitry Kasatkin | ea1046d | 2012-09-04 00:40:17 +0300 | [diff] [blame] | 151 | const char *ima_d_path(struct path *path, char **pathbuf); |
Mimi Zohar | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 152 | |
Eric Paris | 8549164 | 2010-10-25 14:41:18 -0400 | [diff] [blame] | 153 | /* rbtree tree calls to lookup, insert, delete |
Mimi Zohar | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 154 | * integrity data associated with an inode. |
| 155 | */ |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 156 | struct integrity_iint_cache *integrity_iint_insert(struct inode *inode); |
| 157 | struct integrity_iint_cache *integrity_iint_find(struct inode *inode); |
Mimi Zohar | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 158 | |
| 159 | /* IMA policy related functions */ |
Mimi Zohar | 16cac49 | 2012-12-13 11:15:04 -0500 | [diff] [blame] | 160 | enum ima_hooks { FILE_CHECK = 1, MMAP_CHECK, BPRM_CHECK, MODULE_CHECK, POST_SETATTR }; |
Mimi Zohar | 3323eec | 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 | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 164 | void ima_init_policy(void); |
| 165 | void ima_update_policy(void); |
Eric Paris | 6ccd045 | 2010-04-20 10:20:54 -0400 | [diff] [blame] | 166 | ssize_t ima_parse_add_rule(char *); |
Mimi Zohar | 4af4662 | 2009-02-04 09:07:00 -0500 | [diff] [blame] | 167 | void ima_delete_rules(void); |
| 168 | |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 169 | /* Appraise integrity measurements */ |
| 170 | #define IMA_APPRAISE_ENFORCE 0x01 |
| 171 | #define IMA_APPRAISE_FIX 0x02 |
Mimi Zohar | a7f2a36 | 2012-12-21 08:34:21 -0500 | [diff] [blame] | 172 | #define IMA_APPRAISE_MODULES 0x04 |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 173 | |
| 174 | #ifdef CONFIG_IMA_APPRAISE |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 175 | int ima_appraise_measurement(int func, struct integrity_iint_cache *iint, |
Dmitry Kasatkin | d3634d0 | 2013-04-25 10:44:04 +0300 | [diff] [blame] | 176 | struct file *file, const unsigned char *filename, |
| 177 | struct evm_ima_xattr_data *xattr_value, |
| 178 | int xattr_len); |
Dmitry Kasatkin | d26e193 | 2012-09-27 18:26:53 +0300 | [diff] [blame] | 179 | 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] | 180 | void ima_update_xattr(struct integrity_iint_cache *iint, struct file *file); |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 181 | enum integrity_status ima_get_cache_status(struct integrity_iint_cache *iint, |
| 182 | int func); |
Dmitry Kasatkin | d3634d0 | 2013-04-25 10:44:04 +0300 | [diff] [blame] | 183 | void ima_get_hash_algo(struct evm_ima_xattr_data *xattr_value, int xattr_len, |
| 184 | struct ima_digest_data *hash); |
| 185 | int ima_read_xattr(struct dentry *dentry, |
| 186 | struct evm_ima_xattr_data **xattr_value); |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 187 | |
| 188 | #else |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 189 | static inline int ima_appraise_measurement(int func, |
| 190 | struct integrity_iint_cache *iint, |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 191 | struct file *file, |
Dmitry Kasatkin | d3634d0 | 2013-04-25 10:44:04 +0300 | [diff] [blame] | 192 | const unsigned char *filename, |
| 193 | struct evm_ima_xattr_data *xattr_value, |
| 194 | int xattr_len) |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 195 | { |
| 196 | return INTEGRITY_UNKNOWN; |
| 197 | } |
| 198 | |
Dmitry Kasatkin | d26e193 | 2012-09-27 18:26:53 +0300 | [diff] [blame] | 199 | static inline int ima_must_appraise(struct inode *inode, int mask, |
| 200 | enum ima_hooks func) |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 201 | { |
| 202 | return 0; |
| 203 | } |
| 204 | |
| 205 | static inline void ima_update_xattr(struct integrity_iint_cache *iint, |
| 206 | struct file *file) |
| 207 | { |
| 208 | } |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 209 | |
| 210 | static inline enum integrity_status ima_get_cache_status(struct integrity_iint_cache |
| 211 | *iint, int func) |
| 212 | { |
| 213 | return INTEGRITY_UNKNOWN; |
| 214 | } |
Dmitry Kasatkin | d3634d0 | 2013-04-25 10:44:04 +0300 | [diff] [blame] | 215 | |
| 216 | static inline void ima_get_hash_algo(struct evm_ima_xattr_data *xattr_value, |
| 217 | int xattr_len, |
| 218 | struct ima_digest_data *hash) |
| 219 | { |
| 220 | } |
| 221 | |
| 222 | static inline int ima_read_xattr(struct dentry *dentry, |
| 223 | struct evm_ima_xattr_data **xattr_value) |
| 224 | { |
| 225 | return 0; |
| 226 | } |
| 227 | |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 228 | #endif |
| 229 | |
Mimi Zohar | 4af4662 | 2009-02-04 09:07:00 -0500 | [diff] [blame] | 230 | /* LSM based policy rules require audit */ |
| 231 | #ifdef CONFIG_IMA_LSM_RULES |
| 232 | |
| 233 | #define security_filter_rule_init security_audit_rule_init |
| 234 | #define security_filter_rule_match security_audit_rule_match |
| 235 | |
| 236 | #else |
| 237 | |
| 238 | static inline int security_filter_rule_init(u32 field, u32 op, char *rulestr, |
| 239 | void **lsmrule) |
| 240 | { |
| 241 | return -EINVAL; |
| 242 | } |
| 243 | |
| 244 | static inline int security_filter_rule_match(u32 secid, u32 field, u32 op, |
| 245 | void *lsmrule, |
| 246 | struct audit_context *actx) |
| 247 | { |
| 248 | return -EINVAL; |
| 249 | } |
| 250 | #endif /* CONFIG_IMA_LSM_RULES */ |
Mimi Zohar | 3323eec | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 251 | #endif |