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