12fe5d6deSMimi Zohar /* 22fe5d6deSMimi Zohar * Copyright (C) 2011 IBM Corporation 32fe5d6deSMimi Zohar * 42fe5d6deSMimi Zohar * Author: 52fe5d6deSMimi Zohar * Mimi Zohar <zohar@us.ibm.com> 62fe5d6deSMimi Zohar * 72fe5d6deSMimi Zohar * This program is free software; you can redistribute it and/or modify 82fe5d6deSMimi Zohar * it under the terms of the GNU General Public License as published by 92fe5d6deSMimi Zohar * the Free Software Foundation, version 2 of the License. 102fe5d6deSMimi Zohar */ 112fe5d6deSMimi Zohar #include <linux/module.h> 122fe5d6deSMimi Zohar #include <linux/file.h> 132fe5d6deSMimi Zohar #include <linux/fs.h> 142fe5d6deSMimi Zohar #include <linux/xattr.h> 152fe5d6deSMimi Zohar #include <linux/magic.h> 162fe5d6deSMimi Zohar #include <linux/ima.h> 172fe5d6deSMimi Zohar #include <linux/evm.h> 182fe5d6deSMimi Zohar 192fe5d6deSMimi Zohar #include "ima.h" 202fe5d6deSMimi Zohar 212fe5d6deSMimi Zohar static int __init default_appraise_setup(char *str) 222fe5d6deSMimi Zohar { 232fe5d6deSMimi Zohar if (strncmp(str, "off", 3) == 0) 242fe5d6deSMimi Zohar ima_appraise = 0; 252fe5d6deSMimi Zohar else if (strncmp(str, "fix", 3) == 0) 262fe5d6deSMimi Zohar ima_appraise = IMA_APPRAISE_FIX; 272fe5d6deSMimi Zohar return 1; 282fe5d6deSMimi Zohar } 292fe5d6deSMimi Zohar 302fe5d6deSMimi Zohar __setup("ima_appraise=", default_appraise_setup); 312fe5d6deSMimi Zohar 322fe5d6deSMimi Zohar /* 332fe5d6deSMimi Zohar * ima_must_appraise - set appraise flag 342fe5d6deSMimi Zohar * 352fe5d6deSMimi Zohar * Return 1 to appraise 362fe5d6deSMimi Zohar */ 37d26e1936SDmitry Kasatkin int ima_must_appraise(struct inode *inode, int mask, enum ima_hooks func) 382fe5d6deSMimi Zohar { 3907f6a794SMimi Zohar if (!ima_appraise) 402fe5d6deSMimi Zohar return 0; 4107f6a794SMimi Zohar 4207f6a794SMimi Zohar return ima_match_policy(inode, func, mask, IMA_APPRAISE); 432fe5d6deSMimi Zohar } 442fe5d6deSMimi Zohar 45def3e8b9SDmitry Kasatkin static int ima_fix_xattr(struct dentry *dentry, 462fe5d6deSMimi Zohar struct integrity_iint_cache *iint) 472fe5d6deSMimi Zohar { 485a44b412SMimi Zohar iint->ima_xattr.type = IMA_XATTR_DIGEST; 49def3e8b9SDmitry Kasatkin return __vfs_setxattr_noperm(dentry, XATTR_NAME_IMA, 50def3e8b9SDmitry Kasatkin (u8 *)&iint->ima_xattr, 51def3e8b9SDmitry Kasatkin sizeof(iint->ima_xattr), 0); 522fe5d6deSMimi Zohar } 532fe5d6deSMimi Zohar 54*d79d72e0SMimi Zohar /* Return specific func appraised cached result */ 55*d79d72e0SMimi Zohar enum integrity_status ima_get_cache_status(struct integrity_iint_cache *iint, 56*d79d72e0SMimi Zohar int func) 57*d79d72e0SMimi Zohar { 58*d79d72e0SMimi Zohar switch(func) { 59*d79d72e0SMimi Zohar case MMAP_CHECK: 60*d79d72e0SMimi Zohar return iint->ima_mmap_status; 61*d79d72e0SMimi Zohar case BPRM_CHECK: 62*d79d72e0SMimi Zohar return iint->ima_bprm_status; 63*d79d72e0SMimi Zohar case MODULE_CHECK: 64*d79d72e0SMimi Zohar return iint->ima_module_status; 65*d79d72e0SMimi Zohar case FILE_CHECK: 66*d79d72e0SMimi Zohar default: 67*d79d72e0SMimi Zohar return iint->ima_file_status; 68*d79d72e0SMimi Zohar } 69*d79d72e0SMimi Zohar } 70*d79d72e0SMimi Zohar 71*d79d72e0SMimi Zohar static void ima_set_cache_status(struct integrity_iint_cache *iint, 72*d79d72e0SMimi Zohar int func, enum integrity_status status) 73*d79d72e0SMimi Zohar { 74*d79d72e0SMimi Zohar switch(func) { 75*d79d72e0SMimi Zohar case MMAP_CHECK: 76*d79d72e0SMimi Zohar iint->ima_mmap_status = status; 77*d79d72e0SMimi Zohar break; 78*d79d72e0SMimi Zohar case BPRM_CHECK: 79*d79d72e0SMimi Zohar iint->ima_bprm_status = status; 80*d79d72e0SMimi Zohar break; 81*d79d72e0SMimi Zohar case MODULE_CHECK: 82*d79d72e0SMimi Zohar iint->ima_module_status = status; 83*d79d72e0SMimi Zohar break; 84*d79d72e0SMimi Zohar case FILE_CHECK: 85*d79d72e0SMimi Zohar default: 86*d79d72e0SMimi Zohar iint->ima_file_status = status; 87*d79d72e0SMimi Zohar break; 88*d79d72e0SMimi Zohar } 89*d79d72e0SMimi Zohar } 90*d79d72e0SMimi Zohar 91*d79d72e0SMimi Zohar static void ima_cache_flags(struct integrity_iint_cache *iint, int func) 92*d79d72e0SMimi Zohar { 93*d79d72e0SMimi Zohar switch(func) { 94*d79d72e0SMimi Zohar case MMAP_CHECK: 95*d79d72e0SMimi Zohar iint->flags |= (IMA_MMAP_APPRAISED | IMA_APPRAISED); 96*d79d72e0SMimi Zohar break; 97*d79d72e0SMimi Zohar case BPRM_CHECK: 98*d79d72e0SMimi Zohar iint->flags |= (IMA_BPRM_APPRAISED | IMA_APPRAISED); 99*d79d72e0SMimi Zohar break; 100*d79d72e0SMimi Zohar case MODULE_CHECK: 101*d79d72e0SMimi Zohar iint->flags |= (IMA_MODULE_APPRAISED | IMA_APPRAISED); 102*d79d72e0SMimi Zohar break; 103*d79d72e0SMimi Zohar case FILE_CHECK: 104*d79d72e0SMimi Zohar default: 105*d79d72e0SMimi Zohar iint->flags |= (IMA_FILE_APPRAISED | IMA_APPRAISED); 106*d79d72e0SMimi Zohar break; 107*d79d72e0SMimi Zohar } 108*d79d72e0SMimi Zohar } 109*d79d72e0SMimi Zohar 1102fe5d6deSMimi Zohar /* 1112fe5d6deSMimi Zohar * ima_appraise_measurement - appraise file measurement 1122fe5d6deSMimi Zohar * 1132fe5d6deSMimi Zohar * Call evm_verifyxattr() to verify the integrity of 'security.ima'. 1142fe5d6deSMimi Zohar * Assuming success, compare the xattr hash with the collected measurement. 1152fe5d6deSMimi Zohar * 1162fe5d6deSMimi Zohar * Return 0 on success, error code otherwise 1172fe5d6deSMimi Zohar */ 118*d79d72e0SMimi Zohar int ima_appraise_measurement(int func, struct integrity_iint_cache *iint, 1192fe5d6deSMimi Zohar struct file *file, const unsigned char *filename) 1202fe5d6deSMimi Zohar { 1212fe5d6deSMimi Zohar struct dentry *dentry = file->f_dentry; 1222fe5d6deSMimi Zohar struct inode *inode = dentry->d_inode; 1238606404fSDmitry Kasatkin struct evm_ima_xattr_data *xattr_value = NULL; 1242fe5d6deSMimi Zohar enum integrity_status status = INTEGRITY_UNKNOWN; 1252fe5d6deSMimi Zohar const char *op = "appraise_data"; 1262fe5d6deSMimi Zohar char *cause = "unknown"; 1272fe5d6deSMimi Zohar int rc; 1282fe5d6deSMimi Zohar 1292fe5d6deSMimi Zohar if (!ima_appraise) 1302fe5d6deSMimi Zohar return 0; 1312fe5d6deSMimi Zohar if (!inode->i_op->getxattr) 1322fe5d6deSMimi Zohar return INTEGRITY_UNKNOWN; 1332fe5d6deSMimi Zohar 1348606404fSDmitry Kasatkin rc = vfs_getxattr_alloc(dentry, XATTR_NAME_IMA, (char **)&xattr_value, 1358606404fSDmitry Kasatkin 0, GFP_NOFS); 1362fe5d6deSMimi Zohar if (rc <= 0) { 1372fe5d6deSMimi Zohar if (rc && rc != -ENODATA) 1382fe5d6deSMimi Zohar goto out; 1392fe5d6deSMimi Zohar 1402fe5d6deSMimi Zohar cause = "missing-hash"; 1412fe5d6deSMimi Zohar status = 1422fe5d6deSMimi Zohar (inode->i_size == 0) ? INTEGRITY_PASS : INTEGRITY_NOLABEL; 1432fe5d6deSMimi Zohar goto out; 1442fe5d6deSMimi Zohar } 1452fe5d6deSMimi Zohar 1468606404fSDmitry Kasatkin status = evm_verifyxattr(dentry, XATTR_NAME_IMA, xattr_value, rc, iint); 1472fe5d6deSMimi Zohar if ((status != INTEGRITY_PASS) && (status != INTEGRITY_UNKNOWN)) { 1482fe5d6deSMimi Zohar if ((status == INTEGRITY_NOLABEL) 1492fe5d6deSMimi Zohar || (status == INTEGRITY_NOXATTRS)) 1502fe5d6deSMimi Zohar cause = "missing-HMAC"; 1512fe5d6deSMimi Zohar else if (status == INTEGRITY_FAIL) 1522fe5d6deSMimi Zohar cause = "invalid-HMAC"; 1532fe5d6deSMimi Zohar goto out; 1542fe5d6deSMimi Zohar } 1558606404fSDmitry Kasatkin switch (xattr_value->type) { 1568606404fSDmitry Kasatkin case IMA_XATTR_DIGEST: 1570e5a247cSDmitry Kasatkin if (iint->flags & IMA_DIGSIG_REQUIRED) { 1580e5a247cSDmitry Kasatkin cause = "IMA signature required"; 1590e5a247cSDmitry Kasatkin status = INTEGRITY_FAIL; 1600e5a247cSDmitry Kasatkin break; 1610e5a247cSDmitry Kasatkin } 1628606404fSDmitry Kasatkin rc = memcmp(xattr_value->digest, iint->ima_xattr.digest, 1635a44b412SMimi Zohar IMA_DIGEST_SIZE); 1642fe5d6deSMimi Zohar if (rc) { 1652fe5d6deSMimi Zohar cause = "invalid-hash"; 1668606404fSDmitry Kasatkin status = INTEGRITY_FAIL; 1678606404fSDmitry Kasatkin break; 1682fe5d6deSMimi Zohar } 1692fe5d6deSMimi Zohar status = INTEGRITY_PASS; 1708606404fSDmitry Kasatkin break; 1718606404fSDmitry Kasatkin case EVM_IMA_XATTR_DIGSIG: 1728606404fSDmitry Kasatkin iint->flags |= IMA_DIGSIG; 1738606404fSDmitry Kasatkin rc = integrity_digsig_verify(INTEGRITY_KEYRING_IMA, 1748606404fSDmitry Kasatkin xattr_value->digest, rc - 1, 1758606404fSDmitry Kasatkin iint->ima_xattr.digest, 1768606404fSDmitry Kasatkin IMA_DIGEST_SIZE); 1778606404fSDmitry Kasatkin if (rc == -EOPNOTSUPP) { 1788606404fSDmitry Kasatkin status = INTEGRITY_UNKNOWN; 1798606404fSDmitry Kasatkin } else if (rc) { 1808606404fSDmitry Kasatkin cause = "invalid-signature"; 1818606404fSDmitry Kasatkin status = INTEGRITY_FAIL; 1828606404fSDmitry Kasatkin } else { 1838606404fSDmitry Kasatkin status = INTEGRITY_PASS; 1848606404fSDmitry Kasatkin } 1858606404fSDmitry Kasatkin break; 1868606404fSDmitry Kasatkin default: 1878606404fSDmitry Kasatkin status = INTEGRITY_UNKNOWN; 1888606404fSDmitry Kasatkin cause = "unknown-ima-data"; 1898606404fSDmitry Kasatkin break; 1908606404fSDmitry Kasatkin } 1918606404fSDmitry Kasatkin 1922fe5d6deSMimi Zohar out: 1932fe5d6deSMimi Zohar if (status != INTEGRITY_PASS) { 1948606404fSDmitry Kasatkin if ((ima_appraise & IMA_APPRAISE_FIX) && 1958606404fSDmitry Kasatkin (!xattr_value || 1968606404fSDmitry Kasatkin xattr_value->type != EVM_IMA_XATTR_DIGSIG)) { 197def3e8b9SDmitry Kasatkin if (!ima_fix_xattr(dentry, iint)) 1982fe5d6deSMimi Zohar status = INTEGRITY_PASS; 1992fe5d6deSMimi Zohar } 2002fe5d6deSMimi Zohar integrity_audit_msg(AUDIT_INTEGRITY_DATA, inode, filename, 2012fe5d6deSMimi Zohar op, cause, rc, 0); 2028606404fSDmitry Kasatkin } else { 203*d79d72e0SMimi Zohar ima_cache_flags(iint, func); 2042fe5d6deSMimi Zohar } 205*d79d72e0SMimi Zohar ima_set_cache_status(iint, func, status); 2068606404fSDmitry Kasatkin kfree(xattr_value); 2072fe5d6deSMimi Zohar return status; 2082fe5d6deSMimi Zohar } 2092fe5d6deSMimi Zohar 2102fe5d6deSMimi Zohar /* 2112fe5d6deSMimi Zohar * ima_update_xattr - update 'security.ima' hash value 2122fe5d6deSMimi Zohar */ 2132fe5d6deSMimi Zohar void ima_update_xattr(struct integrity_iint_cache *iint, struct file *file) 2142fe5d6deSMimi Zohar { 2152fe5d6deSMimi Zohar struct dentry *dentry = file->f_dentry; 2162fe5d6deSMimi Zohar int rc = 0; 2172fe5d6deSMimi Zohar 2188606404fSDmitry Kasatkin /* do not collect and update hash for digital signatures */ 2198606404fSDmitry Kasatkin if (iint->flags & IMA_DIGSIG) 2208606404fSDmitry Kasatkin return; 2218606404fSDmitry Kasatkin 2222fe5d6deSMimi Zohar rc = ima_collect_measurement(iint, file); 2232fe5d6deSMimi Zohar if (rc < 0) 2242fe5d6deSMimi Zohar return; 2258606404fSDmitry Kasatkin 2262fe5d6deSMimi Zohar ima_fix_xattr(dentry, iint); 2272fe5d6deSMimi Zohar } 2282fe5d6deSMimi Zohar 2292fe5d6deSMimi Zohar /** 2302fe5d6deSMimi Zohar * ima_inode_post_setattr - reflect file metadata changes 2312fe5d6deSMimi Zohar * @dentry: pointer to the affected dentry 2322fe5d6deSMimi Zohar * 2332fe5d6deSMimi Zohar * Changes to a dentry's metadata might result in needing to appraise. 2342fe5d6deSMimi Zohar * 2352fe5d6deSMimi Zohar * This function is called from notify_change(), which expects the caller 2362fe5d6deSMimi Zohar * to lock the inode's i_mutex. 2372fe5d6deSMimi Zohar */ 2382fe5d6deSMimi Zohar void ima_inode_post_setattr(struct dentry *dentry) 2392fe5d6deSMimi Zohar { 2402fe5d6deSMimi Zohar struct inode *inode = dentry->d_inode; 2412fe5d6deSMimi Zohar struct integrity_iint_cache *iint; 2422fe5d6deSMimi Zohar int must_appraise, rc; 2432fe5d6deSMimi Zohar 2442fe5d6deSMimi Zohar if (!ima_initialized || !ima_appraise || !S_ISREG(inode->i_mode) 2452fe5d6deSMimi Zohar || !inode->i_op->removexattr) 2462fe5d6deSMimi Zohar return; 2472fe5d6deSMimi Zohar 2482fe5d6deSMimi Zohar must_appraise = ima_must_appraise(inode, MAY_ACCESS, POST_SETATTR); 2492fe5d6deSMimi Zohar iint = integrity_iint_find(inode); 2502fe5d6deSMimi Zohar if (iint) { 251*d79d72e0SMimi Zohar iint->flags &= ~(IMA_APPRAISE | IMA_APPRAISED | 252*d79d72e0SMimi Zohar IMA_APPRAISE_SUBMASK | IMA_APPRAISED_SUBMASK | 253*d79d72e0SMimi Zohar IMA_ACTION_FLAGS); 2542fe5d6deSMimi Zohar if (must_appraise) 2552fe5d6deSMimi Zohar iint->flags |= IMA_APPRAISE; 2562fe5d6deSMimi Zohar } 2572fe5d6deSMimi Zohar if (!must_appraise) 2582fe5d6deSMimi Zohar rc = inode->i_op->removexattr(dentry, XATTR_NAME_IMA); 2592fe5d6deSMimi Zohar return; 2602fe5d6deSMimi Zohar } 26142c63330SMimi Zohar 26242c63330SMimi Zohar /* 26342c63330SMimi Zohar * ima_protect_xattr - protect 'security.ima' 26442c63330SMimi Zohar * 26542c63330SMimi Zohar * Ensure that not just anyone can modify or remove 'security.ima'. 26642c63330SMimi Zohar */ 26742c63330SMimi Zohar static int ima_protect_xattr(struct dentry *dentry, const char *xattr_name, 26842c63330SMimi Zohar const void *xattr_value, size_t xattr_value_len) 26942c63330SMimi Zohar { 27042c63330SMimi Zohar if (strcmp(xattr_name, XATTR_NAME_IMA) == 0) { 27142c63330SMimi Zohar if (!capable(CAP_SYS_ADMIN)) 27242c63330SMimi Zohar return -EPERM; 27342c63330SMimi Zohar return 1; 27442c63330SMimi Zohar } 27542c63330SMimi Zohar return 0; 27642c63330SMimi Zohar } 27742c63330SMimi Zohar 27842c63330SMimi Zohar static void ima_reset_appraise_flags(struct inode *inode) 27942c63330SMimi Zohar { 28042c63330SMimi Zohar struct integrity_iint_cache *iint; 28142c63330SMimi Zohar 28242c63330SMimi Zohar if (!ima_initialized || !ima_appraise || !S_ISREG(inode->i_mode)) 28342c63330SMimi Zohar return; 28442c63330SMimi Zohar 28542c63330SMimi Zohar iint = integrity_iint_find(inode); 28642c63330SMimi Zohar if (!iint) 28742c63330SMimi Zohar return; 28842c63330SMimi Zohar 28945e2472eSDmitry Kasatkin iint->flags &= ~IMA_DONE_MASK; 29042c63330SMimi Zohar return; 29142c63330SMimi Zohar } 29242c63330SMimi Zohar 29342c63330SMimi Zohar int ima_inode_setxattr(struct dentry *dentry, const char *xattr_name, 29442c63330SMimi Zohar const void *xattr_value, size_t xattr_value_len) 29542c63330SMimi Zohar { 29642c63330SMimi Zohar int result; 29742c63330SMimi Zohar 29842c63330SMimi Zohar result = ima_protect_xattr(dentry, xattr_name, xattr_value, 29942c63330SMimi Zohar xattr_value_len); 30042c63330SMimi Zohar if (result == 1) { 30142c63330SMimi Zohar ima_reset_appraise_flags(dentry->d_inode); 30242c63330SMimi Zohar result = 0; 30342c63330SMimi Zohar } 30442c63330SMimi Zohar return result; 30542c63330SMimi Zohar } 30642c63330SMimi Zohar 30742c63330SMimi Zohar int ima_inode_removexattr(struct dentry *dentry, const char *xattr_name) 30842c63330SMimi Zohar { 30942c63330SMimi Zohar int result; 31042c63330SMimi Zohar 31142c63330SMimi Zohar result = ima_protect_xattr(dentry, xattr_name, NULL, 0); 31242c63330SMimi Zohar if (result == 1) { 31342c63330SMimi Zohar ima_reset_appraise_flags(dentry->d_inode); 31442c63330SMimi Zohar result = 0; 31542c63330SMimi Zohar } 31642c63330SMimi Zohar return result; 31742c63330SMimi Zohar } 318