ima_fs.c 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502
  1. /*
  2. * Copyright (C) 2005,2006,2007,2008 IBM Corporation
  3. *
  4. * Authors:
  5. * Kylene Hall <kjhall@us.ibm.com>
  6. * Reiner Sailer <sailer@us.ibm.com>
  7. * Mimi Zohar <zohar@us.ibm.com>
  8. *
  9. * This program is free software; you can redistribute it and/or
  10. * modify it under the terms of the GNU General Public License as
  11. * published by the Free Software Foundation, version 2 of the
  12. * License.
  13. *
  14. * File: ima_fs.c
  15. * implemenents security file system for reporting
  16. * current measurement list and IMA statistics
  17. */
  18. #include <linux/fcntl.h>
  19. #include <linux/slab.h>
  20. #include <linux/module.h>
  21. #include <linux/seq_file.h>
  22. #include <linux/rculist.h>
  23. #include <linux/rcupdate.h>
  24. #include <linux/parser.h>
  25. #include <linux/vmalloc.h>
  26. #include "ima.h"
  27. static DEFINE_MUTEX(ima_write_mutex);
  28. bool ima_canonical_fmt;
  29. static int __init default_canonical_fmt_setup(char *str)
  30. {
  31. #ifdef __BIG_ENDIAN
  32. ima_canonical_fmt = 1;
  33. #endif
  34. return 1;
  35. }
  36. __setup("ima_canonical_fmt", default_canonical_fmt_setup);
  37. static int valid_policy = 1;
  38. #define TMPBUFLEN 12
  39. static ssize_t ima_show_htable_value(char __user *buf, size_t count,
  40. loff_t *ppos, atomic_long_t *val)
  41. {
  42. char tmpbuf[TMPBUFLEN];
  43. ssize_t len;
  44. len = scnprintf(tmpbuf, TMPBUFLEN, "%li\n", atomic_long_read(val));
  45. return simple_read_from_buffer(buf, count, ppos, tmpbuf, len);
  46. }
  47. static ssize_t ima_show_htable_violations(struct file *filp,
  48. char __user *buf,
  49. size_t count, loff_t *ppos)
  50. {
  51. return ima_show_htable_value(buf, count, ppos, &ima_htable.violations);
  52. }
  53. static const struct file_operations ima_htable_violations_ops = {
  54. .read = ima_show_htable_violations,
  55. .llseek = generic_file_llseek,
  56. };
  57. static ssize_t ima_show_measurements_count(struct file *filp,
  58. char __user *buf,
  59. size_t count, loff_t *ppos)
  60. {
  61. return ima_show_htable_value(buf, count, ppos, &ima_htable.len);
  62. }
  63. static const struct file_operations ima_measurements_count_ops = {
  64. .read = ima_show_measurements_count,
  65. .llseek = generic_file_llseek,
  66. };
  67. /* returns pointer to hlist_node */
  68. static void *ima_measurements_start(struct seq_file *m, loff_t *pos)
  69. {
  70. loff_t l = *pos;
  71. struct ima_queue_entry *qe;
  72. /* we need a lock since pos could point beyond last element */
  73. rcu_read_lock();
  74. list_for_each_entry_rcu(qe, &ima_measurements, later) {
  75. if (!l--) {
  76. rcu_read_unlock();
  77. return qe;
  78. }
  79. }
  80. rcu_read_unlock();
  81. return NULL;
  82. }
  83. static void *ima_measurements_next(struct seq_file *m, void *v, loff_t *pos)
  84. {
  85. struct ima_queue_entry *qe = v;
  86. /* lock protects when reading beyond last element
  87. * against concurrent list-extension
  88. */
  89. rcu_read_lock();
  90. qe = list_entry_rcu(qe->later.next, struct ima_queue_entry, later);
  91. rcu_read_unlock();
  92. (*pos)++;
  93. return (&qe->later == &ima_measurements) ? NULL : qe;
  94. }
  95. static void ima_measurements_stop(struct seq_file *m, void *v)
  96. {
  97. }
  98. void ima_putc(struct seq_file *m, void *data, int datalen)
  99. {
  100. while (datalen--)
  101. seq_putc(m, *(char *)data++);
  102. }
  103. /* print format:
  104. * 32bit-le=pcr#
  105. * char[20]=template digest
  106. * 32bit-le=template name size
  107. * char[n]=template name
  108. * [eventdata length]
  109. * eventdata[n]=template specific data
  110. */
  111. int ima_measurements_show(struct seq_file *m, void *v)
  112. {
  113. /* the list never shrinks, so we don't need a lock here */
  114. struct ima_queue_entry *qe = v;
  115. struct ima_template_entry *e;
  116. char *template_name;
  117. u32 pcr, namelen, template_data_len; /* temporary fields */
  118. bool is_ima_template = false;
  119. int i;
  120. /* get entry */
  121. e = qe->entry;
  122. if (e == NULL)
  123. return -1;
  124. template_name = (e->template_desc->name[0] != '\0') ?
  125. e->template_desc->name : e->template_desc->fmt;
  126. /*
  127. * 1st: PCRIndex
  128. * PCR used defaults to the same (config option) in
  129. * little-endian format, unless set in policy
  130. */
  131. pcr = !ima_canonical_fmt ? e->pcr : cpu_to_le32(e->pcr);
  132. ima_putc(m, &pcr, sizeof(e->pcr));
  133. /* 2nd: template digest */
  134. ima_putc(m, e->digest, TPM_DIGEST_SIZE);
  135. /* 3rd: template name size */
  136. namelen = !ima_canonical_fmt ? strlen(template_name) :
  137. cpu_to_le32(strlen(template_name));
  138. ima_putc(m, &namelen, sizeof(namelen));
  139. /* 4th: template name */
  140. ima_putc(m, template_name, strlen(template_name));
  141. /* 5th: template length (except for 'ima' template) */
  142. if (strcmp(template_name, IMA_TEMPLATE_IMA_NAME) == 0)
  143. is_ima_template = true;
  144. if (!is_ima_template) {
  145. template_data_len = !ima_canonical_fmt ? e->template_data_len :
  146. cpu_to_le32(e->template_data_len);
  147. ima_putc(m, &template_data_len, sizeof(e->template_data_len));
  148. }
  149. /* 6th: template specific data */
  150. for (i = 0; i < e->template_desc->num_fields; i++) {
  151. enum ima_show_type show = IMA_SHOW_BINARY;
  152. struct ima_template_field *field = e->template_desc->fields[i];
  153. if (is_ima_template && strcmp(field->field_id, "d") == 0)
  154. show = IMA_SHOW_BINARY_NO_FIELD_LEN;
  155. if (is_ima_template && strcmp(field->field_id, "n") == 0)
  156. show = IMA_SHOW_BINARY_OLD_STRING_FMT;
  157. field->field_show(m, show, &e->template_data[i]);
  158. }
  159. return 0;
  160. }
  161. static const struct seq_operations ima_measurments_seqops = {
  162. .start = ima_measurements_start,
  163. .next = ima_measurements_next,
  164. .stop = ima_measurements_stop,
  165. .show = ima_measurements_show
  166. };
  167. static int ima_measurements_open(struct inode *inode, struct file *file)
  168. {
  169. return seq_open(file, &ima_measurments_seqops);
  170. }
  171. static const struct file_operations ima_measurements_ops = {
  172. .open = ima_measurements_open,
  173. .read = seq_read,
  174. .llseek = seq_lseek,
  175. .release = seq_release,
  176. };
  177. void ima_print_digest(struct seq_file *m, u8 *digest, u32 size)
  178. {
  179. u32 i;
  180. for (i = 0; i < size; i++)
  181. seq_printf(m, "%02x", *(digest + i));
  182. }
  183. /* print in ascii */
  184. static int ima_ascii_measurements_show(struct seq_file *m, void *v)
  185. {
  186. /* the list never shrinks, so we don't need a lock here */
  187. struct ima_queue_entry *qe = v;
  188. struct ima_template_entry *e;
  189. char *template_name;
  190. int i;
  191. /* get entry */
  192. e = qe->entry;
  193. if (e == NULL)
  194. return -1;
  195. template_name = (e->template_desc->name[0] != '\0') ?
  196. e->template_desc->name : e->template_desc->fmt;
  197. /* 1st: PCR used (config option) */
  198. seq_printf(m, "%2d ", e->pcr);
  199. /* 2nd: SHA1 template hash */
  200. ima_print_digest(m, e->digest, TPM_DIGEST_SIZE);
  201. /* 3th: template name */
  202. seq_printf(m, " %s", template_name);
  203. /* 4th: template specific data */
  204. for (i = 0; i < e->template_desc->num_fields; i++) {
  205. seq_puts(m, " ");
  206. if (e->template_data[i].len == 0)
  207. continue;
  208. e->template_desc->fields[i]->field_show(m, IMA_SHOW_ASCII,
  209. &e->template_data[i]);
  210. }
  211. seq_puts(m, "\n");
  212. return 0;
  213. }
  214. static const struct seq_operations ima_ascii_measurements_seqops = {
  215. .start = ima_measurements_start,
  216. .next = ima_measurements_next,
  217. .stop = ima_measurements_stop,
  218. .show = ima_ascii_measurements_show
  219. };
  220. static int ima_ascii_measurements_open(struct inode *inode, struct file *file)
  221. {
  222. return seq_open(file, &ima_ascii_measurements_seqops);
  223. }
  224. static const struct file_operations ima_ascii_measurements_ops = {
  225. .open = ima_ascii_measurements_open,
  226. .read = seq_read,
  227. .llseek = seq_lseek,
  228. .release = seq_release,
  229. };
  230. static ssize_t ima_read_policy(char *path)
  231. {
  232. void *data;
  233. char *datap;
  234. loff_t size;
  235. int rc, pathlen = strlen(path);
  236. char *p;
  237. /* remove \n */
  238. datap = path;
  239. strsep(&datap, "\n");
  240. rc = kernel_read_file_from_path(path, &data, &size, 0, READING_POLICY);
  241. if (rc < 0) {
  242. pr_err("Unable to open file: %s (%d)", path, rc);
  243. return rc;
  244. }
  245. datap = data;
  246. while (size > 0 && (p = strsep(&datap, "\n"))) {
  247. pr_debug("rule: %s\n", p);
  248. rc = ima_parse_add_rule(p);
  249. if (rc < 0)
  250. break;
  251. size -= rc;
  252. }
  253. vfree(data);
  254. if (rc < 0)
  255. return rc;
  256. else if (size)
  257. return -EINVAL;
  258. else
  259. return pathlen;
  260. }
  261. static ssize_t ima_write_policy(struct file *file, const char __user *buf,
  262. size_t datalen, loff_t *ppos)
  263. {
  264. char *data;
  265. ssize_t result;
  266. if (datalen >= PAGE_SIZE)
  267. datalen = PAGE_SIZE - 1;
  268. /* No partial writes. */
  269. result = -EINVAL;
  270. if (*ppos != 0)
  271. goto out;
  272. result = -ENOMEM;
  273. data = kmalloc(datalen + 1, GFP_KERNEL);
  274. if (!data)
  275. goto out;
  276. *(data + datalen) = '\0';
  277. result = -EFAULT;
  278. if (copy_from_user(data, buf, datalen))
  279. goto out_free;
  280. result = mutex_lock_interruptible(&ima_write_mutex);
  281. if (result < 0)
  282. goto out_free;
  283. if (data[0] == '/') {
  284. result = ima_read_policy(data);
  285. } else if (ima_appraise & IMA_APPRAISE_POLICY) {
  286. pr_err("IMA: signed policy file (specified as an absolute pathname) required\n");
  287. integrity_audit_msg(AUDIT_INTEGRITY_STATUS, NULL, NULL,
  288. "policy_update", "signed policy required",
  289. 1, 0);
  290. if (ima_appraise & IMA_APPRAISE_ENFORCE)
  291. result = -EACCES;
  292. } else {
  293. result = ima_parse_add_rule(data);
  294. }
  295. mutex_unlock(&ima_write_mutex);
  296. out_free:
  297. kfree(data);
  298. out:
  299. if (result < 0)
  300. valid_policy = 0;
  301. return result;
  302. }
  303. static struct dentry *ima_dir;
  304. static struct dentry *binary_runtime_measurements;
  305. static struct dentry *ascii_runtime_measurements;
  306. static struct dentry *runtime_measurements_count;
  307. static struct dentry *violations;
  308. static struct dentry *ima_policy;
  309. enum ima_fs_flags {
  310. IMA_FS_BUSY,
  311. };
  312. static unsigned long ima_fs_flags;
  313. #ifdef CONFIG_IMA_READ_POLICY
  314. static const struct seq_operations ima_policy_seqops = {
  315. .start = ima_policy_start,
  316. .next = ima_policy_next,
  317. .stop = ima_policy_stop,
  318. .show = ima_policy_show,
  319. };
  320. #endif
  321. /*
  322. * ima_open_policy: sequentialize access to the policy file
  323. */
  324. static int ima_open_policy(struct inode *inode, struct file *filp)
  325. {
  326. if (!(filp->f_flags & O_WRONLY)) {
  327. #ifndef CONFIG_IMA_READ_POLICY
  328. return -EACCES;
  329. #else
  330. if ((filp->f_flags & O_ACCMODE) != O_RDONLY)
  331. return -EACCES;
  332. if (!capable(CAP_SYS_ADMIN))
  333. return -EPERM;
  334. return seq_open(filp, &ima_policy_seqops);
  335. #endif
  336. }
  337. if (test_and_set_bit(IMA_FS_BUSY, &ima_fs_flags))
  338. return -EBUSY;
  339. return 0;
  340. }
  341. /*
  342. * ima_release_policy - start using the new measure policy rules.
  343. *
  344. * Initially, ima_measure points to the default policy rules, now
  345. * point to the new policy rules, and remove the securityfs policy file,
  346. * assuming a valid policy.
  347. */
  348. static int ima_release_policy(struct inode *inode, struct file *file)
  349. {
  350. const char *cause = valid_policy ? "completed" : "failed";
  351. if ((file->f_flags & O_ACCMODE) == O_RDONLY)
  352. return seq_release(inode, file);
  353. if (valid_policy && ima_check_policy() < 0) {
  354. cause = "failed";
  355. valid_policy = 0;
  356. }
  357. pr_info("IMA: policy update %s\n", cause);
  358. integrity_audit_msg(AUDIT_INTEGRITY_STATUS, NULL, NULL,
  359. "policy_update", cause, !valid_policy, 0);
  360. if (!valid_policy) {
  361. ima_delete_rules();
  362. valid_policy = 1;
  363. clear_bit(IMA_FS_BUSY, &ima_fs_flags);
  364. return 0;
  365. }
  366. ima_update_policy();
  367. #ifndef CONFIG_IMA_WRITE_POLICY
  368. securityfs_remove(ima_policy);
  369. ima_policy = NULL;
  370. #else
  371. clear_bit(IMA_FS_BUSY, &ima_fs_flags);
  372. #endif
  373. return 0;
  374. }
  375. static const struct file_operations ima_measure_policy_ops = {
  376. .open = ima_open_policy,
  377. .write = ima_write_policy,
  378. .read = seq_read,
  379. .release = ima_release_policy,
  380. .llseek = generic_file_llseek,
  381. };
  382. int __init ima_fs_init(void)
  383. {
  384. ima_dir = securityfs_create_dir("ima", NULL);
  385. if (IS_ERR(ima_dir))
  386. return -1;
  387. binary_runtime_measurements =
  388. securityfs_create_file("binary_runtime_measurements",
  389. S_IRUSR | S_IRGRP, ima_dir, NULL,
  390. &ima_measurements_ops);
  391. if (IS_ERR(binary_runtime_measurements))
  392. goto out;
  393. ascii_runtime_measurements =
  394. securityfs_create_file("ascii_runtime_measurements",
  395. S_IRUSR | S_IRGRP, ima_dir, NULL,
  396. &ima_ascii_measurements_ops);
  397. if (IS_ERR(ascii_runtime_measurements))
  398. goto out;
  399. runtime_measurements_count =
  400. securityfs_create_file("runtime_measurements_count",
  401. S_IRUSR | S_IRGRP, ima_dir, NULL,
  402. &ima_measurements_count_ops);
  403. if (IS_ERR(runtime_measurements_count))
  404. goto out;
  405. violations =
  406. securityfs_create_file("violations", S_IRUSR | S_IRGRP,
  407. ima_dir, NULL, &ima_htable_violations_ops);
  408. if (IS_ERR(violations))
  409. goto out;
  410. ima_policy = securityfs_create_file("policy", POLICY_FILE_FLAGS,
  411. ima_dir, NULL,
  412. &ima_measure_policy_ops);
  413. if (IS_ERR(ima_policy))
  414. goto out;
  415. return 0;
  416. out:
  417. securityfs_remove(violations);
  418. securityfs_remove(runtime_measurements_count);
  419. securityfs_remove(ascii_runtime_measurements);
  420. securityfs_remove(binary_runtime_measurements);
  421. securityfs_remove(ima_dir);
  422. securityfs_remove(ima_policy);
  423. return -1;
  424. }