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; |
| 42 | extern char *ima_hash; |
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 { |
| 52 | u8 digest[IMA_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 | |
Dmitry Kasatkin | 417c6c8 | 2012-06-25 12:18:21 +0300 | [diff] [blame] | 65 | #ifdef CONFIG_IMA_AUDIT |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 66 | /* declarations */ |
| 67 | void integrity_audit_msg(int audit_msgno, struct inode *inode, |
| 68 | const unsigned char *fname, const char *op, |
| 69 | const char *cause, int result, int info); |
Dmitry Kasatkin | 417c6c8 | 2012-06-25 12:18:21 +0300 | [diff] [blame] | 70 | #else |
| 71 | static inline void integrity_audit_msg(int audit_msgno, struct inode *inode, |
| 72 | const unsigned char *fname, |
| 73 | const char *op, const char *cause, |
| 74 | int result, int info) |
| 75 | { |
| 76 | } |
| 77 | #endif |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 78 | |
| 79 | /* Internal IMA function definitions */ |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 80 | int ima_init(void); |
Mimi Zohar | bab7393 | 2009-02-04 09:06:59 -0500 | [diff] [blame] | 81 | void ima_cleanup(void); |
| 82 | int ima_fs_init(void); |
| 83 | void ima_fs_cleanup(void); |
Eric Paris | a178d20 | 2010-10-25 14:41:59 -0400 | [diff] [blame] | 84 | int ima_inode_alloc(struct inode *inode); |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 85 | int ima_add_template_entry(struct ima_template_entry *entry, int violation, |
| 86 | const char *op, struct inode *inode); |
| 87 | int ima_calc_hash(struct file *file, char *digest); |
| 88 | int ima_calc_template_hash(int template_len, void *template, char *digest); |
| 89 | int ima_calc_boot_aggregate(char *digest); |
| 90 | void ima_add_violation(struct inode *inode, const unsigned char *filename, |
| 91 | const char *op, const char *cause); |
Dmitry Kasatkin | 76bb28f | 2012-06-08 10:42:30 +0300 | [diff] [blame^] | 92 | int ima_init_crypto(void); |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 93 | |
| 94 | /* |
| 95 | * used to protect h_table and sha_table |
| 96 | */ |
| 97 | extern spinlock_t ima_queue_lock; |
| 98 | |
| 99 | struct ima_h_table { |
| 100 | atomic_long_t len; /* number of stored measurements in the list */ |
| 101 | atomic_long_t violations; |
| 102 | struct hlist_head queue[IMA_MEASURE_HTABLE_SIZE]; |
| 103 | }; |
| 104 | extern struct ima_h_table ima_htable; |
| 105 | |
| 106 | static inline unsigned long ima_hash_key(u8 *digest) |
| 107 | { |
| 108 | return hash_long(*digest, IMA_HASH_BITS); |
| 109 | } |
| 110 | |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 111 | /* LIM API function definitions */ |
Dmitry Kasatkin | d9d300c | 2012-06-27 11:26:14 +0300 | [diff] [blame] | 112 | int ima_get_action(struct inode *inode, int mask, int function); |
Mimi Zohar | 1adace9 | 2011-02-22 10:19:43 -0500 | [diff] [blame] | 113 | int ima_must_measure(struct inode *inode, int mask, int function); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 114 | int ima_collect_measurement(struct integrity_iint_cache *iint, |
| 115 | struct file *file); |
| 116 | void ima_store_measurement(struct integrity_iint_cache *iint, struct file *file, |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 117 | const unsigned char *filename); |
Peter Moody | e7c568e | 2012-06-14 10:04:36 -0700 | [diff] [blame] | 118 | void ima_audit_measurement(struct integrity_iint_cache *iint, |
| 119 | const unsigned char *filename); |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 120 | int ima_store_template(struct ima_template_entry *entry, int violation, |
| 121 | struct inode *inode); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 122 | 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] | 123 | const char *ima_d_path(struct path *path, char **pathbuf); |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 124 | |
Eric Paris | 8549164 | 2010-10-25 14:41:18 -0400 | [diff] [blame] | 125 | /* rbtree tree calls to lookup, insert, delete |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 126 | * integrity data associated with an inode. |
| 127 | */ |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 128 | struct integrity_iint_cache *integrity_iint_insert(struct inode *inode); |
| 129 | struct integrity_iint_cache *integrity_iint_find(struct inode *inode); |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 130 | |
| 131 | /* IMA policy related functions */ |
Mimi Zohar | 16cac49 | 2012-12-13 11:15:04 -0500 | [diff] [blame] | 132 | 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] | 133 | |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 134 | int ima_match_policy(struct inode *inode, enum ima_hooks func, int mask, |
| 135 | int flags); |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 136 | void ima_init_policy(void); |
| 137 | void ima_update_policy(void); |
Eric Paris | 6ccd045 | 2010-04-20 10:20:54 -0400 | [diff] [blame] | 138 | ssize_t ima_parse_add_rule(char *); |
Mimi Zohar | 4af4662 | 2009-02-04 09:07:00 -0500 | [diff] [blame] | 139 | void ima_delete_rules(void); |
| 140 | |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 141 | /* Appraise integrity measurements */ |
| 142 | #define IMA_APPRAISE_ENFORCE 0x01 |
| 143 | #define IMA_APPRAISE_FIX 0x02 |
| 144 | |
| 145 | #ifdef CONFIG_IMA_APPRAISE |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 146 | int ima_appraise_measurement(int func, struct integrity_iint_cache *iint, |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 147 | struct file *file, const unsigned char *filename); |
Dmitry Kasatkin | d26e193 | 2012-09-27 18:26:53 +0300 | [diff] [blame] | 148 | 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] | 149 | void ima_update_xattr(struct integrity_iint_cache *iint, struct file *file); |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 150 | enum integrity_status ima_get_cache_status(struct integrity_iint_cache *iint, |
| 151 | int func); |
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, |
| 157 | const unsigned char *filename) |
| 158 | { |
| 159 | return INTEGRITY_UNKNOWN; |
| 160 | } |
| 161 | |
Dmitry Kasatkin | d26e193 | 2012-09-27 18:26:53 +0300 | [diff] [blame] | 162 | static inline int ima_must_appraise(struct inode *inode, int mask, |
| 163 | enum ima_hooks func) |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 164 | { |
| 165 | return 0; |
| 166 | } |
| 167 | |
| 168 | static inline void ima_update_xattr(struct integrity_iint_cache *iint, |
| 169 | struct file *file) |
| 170 | { |
| 171 | } |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 172 | |
| 173 | static inline enum integrity_status ima_get_cache_status(struct integrity_iint_cache |
| 174 | *iint, int func) |
| 175 | { |
| 176 | return INTEGRITY_UNKNOWN; |
| 177 | } |
Mimi Zohar | 2fe5d6d | 2012-02-13 10:15:05 -0500 | [diff] [blame] | 178 | #endif |
| 179 | |
Mimi Zohar | 4af4662 | 2009-02-04 09:07:00 -0500 | [diff] [blame] | 180 | /* LSM based policy rules require audit */ |
| 181 | #ifdef CONFIG_IMA_LSM_RULES |
| 182 | |
| 183 | #define security_filter_rule_init security_audit_rule_init |
| 184 | #define security_filter_rule_match security_audit_rule_match |
| 185 | |
| 186 | #else |
| 187 | |
| 188 | static inline int security_filter_rule_init(u32 field, u32 op, char *rulestr, |
| 189 | void **lsmrule) |
| 190 | { |
| 191 | return -EINVAL; |
| 192 | } |
| 193 | |
| 194 | static inline int security_filter_rule_match(u32 secid, u32 field, u32 op, |
| 195 | void *lsmrule, |
| 196 | struct audit_context *actx) |
| 197 | { |
| 198 | return -EINVAL; |
| 199 | } |
| 200 | #endif /* CONFIG_IMA_LSM_RULES */ |
Mimi Zohar | 3323eec9 | 2009-02-04 09:06:58 -0500 | [diff] [blame] | 201 | #endif |