blob: f9bae04ba1762cd3e91728e4506719739b541e7d [file] [log] [blame]
Roberto Sassu3ce1217d2013-06-07 12:16:30 +02001/*
2 * Copyright (C) 2013 Politecnico di Torino, Italy
3 * TORSEC group -- http://security.polito.it
4 *
5 * Author: Roberto Sassu <roberto.sassu@polito.it>
6 *
7 * This program is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License as
9 * published by the Free Software Foundation, version 2 of the
10 * License.
11 *
12 * File: ima_template_lib.c
13 * Library of supported template fields.
14 */
Roberto Sassu4d7aeee2013-06-07 12:16:32 +020015
Roberto Sassu3ce1217d2013-06-07 12:16:30 +020016#include "ima_template_lib.h"
17
Roberto Sassu4d7aeee2013-06-07 12:16:32 +020018static bool ima_template_hash_algo_allowed(u8 algo)
19{
20 if (algo == HASH_ALGO_SHA1 || algo == HASH_ALGO_MD5)
21 return true;
22
23 return false;
24}
25
26enum data_formats {
27 DATA_FMT_DIGEST = 0,
28 DATA_FMT_DIGEST_WITH_ALGO,
Mimi Zoharbcbc9b02013-07-23 11:15:00 -040029 DATA_FMT_STRING,
30 DATA_FMT_HEX
Roberto Sassu4d7aeee2013-06-07 12:16:32 +020031};
32
Roberto Sassu3ce1217d2013-06-07 12:16:30 +020033static int ima_write_template_field_data(const void *data, const u32 datalen,
34 enum data_formats datafmt,
35 struct ima_field_data *field_data)
36{
37 u8 *buf, *buf_ptr;
Roberto Sassue3b64c22014-02-03 13:56:05 +010038 u32 buflen = datalen;
Roberto Sassu3ce1217d2013-06-07 12:16:30 +020039
Roberto Sassue3b64c22014-02-03 13:56:05 +010040 if (datafmt == DATA_FMT_STRING)
Roberto Sassu3ce1217d2013-06-07 12:16:30 +020041 buflen = datalen + 1;
Roberto Sassu3ce1217d2013-06-07 12:16:30 +020042
43 buf = kzalloc(buflen, GFP_KERNEL);
44 if (!buf)
45 return -ENOMEM;
46
47 memcpy(buf, data, datalen);
48
49 /*
50 * Replace all space characters with underscore for event names and
51 * strings. This avoid that, during the parsing of a measurements list,
52 * filenames with spaces or that end with the suffix ' (deleted)' are
53 * split into multiple template fields (the space is the delimitator
54 * character for measurements lists in ASCII format).
55 */
Roberto Sassue3b64c22014-02-03 13:56:05 +010056 if (datafmt == DATA_FMT_STRING) {
Roberto Sassu3ce1217d2013-06-07 12:16:30 +020057 for (buf_ptr = buf; buf_ptr - buf < datalen; buf_ptr++)
58 if (*buf_ptr == ' ')
59 *buf_ptr = '_';
60 }
61
62 field_data->data = buf;
63 field_data->len = buflen;
64 return 0;
65}
66
67static void ima_show_template_data_ascii(struct seq_file *m,
68 enum ima_show_type show,
69 enum data_formats datafmt,
70 struct ima_field_data *field_data)
71{
Mimi Zohar45b26132015-06-11 11:54:42 -040072 u8 *buf_ptr = field_data->data;
73 u32 buflen = field_data->len;
Roberto Sassu4d7aeee2013-06-07 12:16:32 +020074
Roberto Sassu3ce1217d2013-06-07 12:16:30 +020075 switch (datafmt) {
Roberto Sassu4d7aeee2013-06-07 12:16:32 +020076 case DATA_FMT_DIGEST_WITH_ALGO:
77 buf_ptr = strnchr(field_data->data, buflen, ':');
78 if (buf_ptr != field_data->data)
79 seq_printf(m, "%s", field_data->data);
80
81 /* skip ':' and '\0' */
82 buf_ptr += 2;
83 buflen -= buf_ptr - field_data->data;
Roberto Sassu3ce1217d2013-06-07 12:16:30 +020084 case DATA_FMT_DIGEST:
Mimi Zoharbcbc9b02013-07-23 11:15:00 -040085 case DATA_FMT_HEX:
86 if (!buflen)
87 break;
Roberto Sassu4d7aeee2013-06-07 12:16:32 +020088 ima_print_digest(m, buf_ptr, buflen);
Roberto Sassu3ce1217d2013-06-07 12:16:30 +020089 break;
90 case DATA_FMT_STRING:
Roberto Sassu4d7aeee2013-06-07 12:16:32 +020091 seq_printf(m, "%s", buf_ptr);
Roberto Sassu3ce1217d2013-06-07 12:16:30 +020092 break;
93 default:
94 break;
95 }
96}
97
98static void ima_show_template_data_binary(struct seq_file *m,
99 enum ima_show_type show,
100 enum data_formats datafmt,
101 struct ima_field_data *field_data)
102{
Roberto Sassuc019e302014-02-03 13:56:04 +0100103 u32 len = (show == IMA_SHOW_BINARY_OLD_STRING_FMT) ?
104 strlen(field_data->data) : field_data->len;
Roberto Sassu3e8e5502013-11-08 19:21:40 +0100105
Roberto Sassuc019e302014-02-03 13:56:04 +0100106 if (show != IMA_SHOW_BINARY_NO_FIELD_LEN)
107 ima_putc(m, &len, sizeof(len));
108
109 if (!len)
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200110 return;
Roberto Sassu3e8e5502013-11-08 19:21:40 +0100111
Roberto Sassuc019e302014-02-03 13:56:04 +0100112 ima_putc(m, field_data->data, len);
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200113}
114
115static void ima_show_template_field_data(struct seq_file *m,
116 enum ima_show_type show,
117 enum data_formats datafmt,
118 struct ima_field_data *field_data)
119{
120 switch (show) {
121 case IMA_SHOW_ASCII:
122 ima_show_template_data_ascii(m, show, datafmt, field_data);
123 break;
124 case IMA_SHOW_BINARY:
Roberto Sassu3e8e5502013-11-08 19:21:40 +0100125 case IMA_SHOW_BINARY_NO_FIELD_LEN:
Roberto Sassuc019e302014-02-03 13:56:04 +0100126 case IMA_SHOW_BINARY_OLD_STRING_FMT:
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200127 ima_show_template_data_binary(m, show, datafmt, field_data);
128 break;
129 default:
130 break;
131 }
132}
133
134void ima_show_template_digest(struct seq_file *m, enum ima_show_type show,
135 struct ima_field_data *field_data)
136{
137 ima_show_template_field_data(m, show, DATA_FMT_DIGEST, field_data);
138}
139
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200140void ima_show_template_digest_ng(struct seq_file *m, enum ima_show_type show,
141 struct ima_field_data *field_data)
142{
143 ima_show_template_field_data(m, show, DATA_FMT_DIGEST_WITH_ALGO,
144 field_data);
145}
146
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200147void ima_show_template_string(struct seq_file *m, enum ima_show_type show,
148 struct ima_field_data *field_data)
149{
150 ima_show_template_field_data(m, show, DATA_FMT_STRING, field_data);
151}
152
Mimi Zoharbcbc9b02013-07-23 11:15:00 -0400153void ima_show_template_sig(struct seq_file *m, enum ima_show_type show,
154 struct ima_field_data *field_data)
155{
156 ima_show_template_field_data(m, show, DATA_FMT_HEX, field_data);
157}
158
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200159static int ima_eventdigest_init_common(u8 *digest, u32 digestsize, u8 hash_algo,
Roberto Sassudcf4e392013-11-08 19:21:37 +0100160 struct ima_field_data *field_data)
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200161{
162 /*
163 * digest formats:
164 * - DATA_FMT_DIGEST: digest
165 * - DATA_FMT_DIGEST_WITH_ALGO: [<hash algo>] + ':' + '\0' + digest,
166 * where <hash algo> is provided if the hash algoritm is not
167 * SHA1 or MD5
168 */
169 u8 buffer[CRYPTO_MAX_ALG_NAME + 2 + IMA_MAX_DIGEST_SIZE] = { 0 };
170 enum data_formats fmt = DATA_FMT_DIGEST;
171 u32 offset = 0;
172
Roberto Sassudcf4e392013-11-08 19:21:37 +0100173 if (hash_algo < HASH_ALGO__LAST) {
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200174 fmt = DATA_FMT_DIGEST_WITH_ALGO;
Roberto Sassudcf4e392013-11-08 19:21:37 +0100175 offset += snprintf(buffer, CRYPTO_MAX_ALG_NAME + 1, "%s",
176 hash_algo_name[hash_algo]);
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200177 buffer[offset] = ':';
178 offset += 2;
179 }
180
181 if (digest)
182 memcpy(buffer + offset, digest, digestsize);
183 else
184 /*
185 * If digest is NULL, the event being recorded is a violation.
186 * Make room for the digest by increasing the offset of
187 * IMA_DIGEST_SIZE.
188 */
189 offset += IMA_DIGEST_SIZE;
190
191 return ima_write_template_field_data(buffer, offset + digestsize,
192 fmt, field_data);
193}
194
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200195/*
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200196 * This function writes the digest of an event (with size limit).
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200197 */
Roberto Sassu23b57412015-04-11 17:09:50 +0200198int ima_eventdigest_init(struct ima_event_data *event_data,
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200199 struct ima_field_data *field_data)
200{
201 struct {
202 struct ima_digest_data hdr;
203 char digest[IMA_MAX_DIGEST_SIZE];
204 } hash;
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200205 u8 *cur_digest = NULL;
206 u32 cur_digestsize = 0;
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200207 struct inode *inode;
208 int result;
209
210 memset(&hash, 0, sizeof(hash));
211
Roberto Sassu8d94eb92015-04-11 17:12:39 +0200212 if (event_data->violation) /* recording a violation. */
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200213 goto out;
214
Roberto Sassu23b57412015-04-11 17:09:50 +0200215 if (ima_template_hash_algo_allowed(event_data->iint->ima_hash->algo)) {
216 cur_digest = event_data->iint->ima_hash->digest;
217 cur_digestsize = event_data->iint->ima_hash->length;
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200218 goto out;
219 }
220
Roberto Sassu23b57412015-04-11 17:09:50 +0200221 if (!event_data->file) /* missing info to re-calculate the digest */
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200222 return -EINVAL;
223
Roberto Sassu23b57412015-04-11 17:09:50 +0200224 inode = file_inode(event_data->file);
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200225 hash.hdr.algo = ima_template_hash_algo_allowed(ima_hash_algo) ?
226 ima_hash_algo : HASH_ALGO_SHA1;
Roberto Sassu23b57412015-04-11 17:09:50 +0200227 result = ima_calc_file_hash(event_data->file, &hash.hdr);
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200228 if (result) {
229 integrity_audit_msg(AUDIT_INTEGRITY_DATA, inode,
Roberto Sassu23b57412015-04-11 17:09:50 +0200230 event_data->filename, "collect_data",
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200231 "failed", result, 0);
232 return result;
233 }
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200234 cur_digest = hash.hdr.digest;
235 cur_digestsize = hash.hdr.length;
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200236out:
Roberto Sassu712a49b2013-11-08 19:21:36 +0100237 return ima_eventdigest_init_common(cur_digest, cur_digestsize,
Roberto Sassudcf4e392013-11-08 19:21:37 +0100238 HASH_ALGO__LAST, field_data);
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200239}
240
241/*
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200242 * This function writes the digest of an event (without size limit).
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200243 */
Roberto Sassu23b57412015-04-11 17:09:50 +0200244int ima_eventdigest_ng_init(struct ima_event_data *event_data,
245 struct ima_field_data *field_data)
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200246{
Roberto Sassuc502c782013-11-08 19:21:35 +0100247 u8 *cur_digest = NULL, hash_algo = HASH_ALGO_SHA1;
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200248 u32 cur_digestsize = 0;
249
Roberto Sassu8d94eb92015-04-11 17:12:39 +0200250 if (event_data->violation) /* recording a violation. */
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200251 goto out;
252
Roberto Sassu23b57412015-04-11 17:09:50 +0200253 cur_digest = event_data->iint->ima_hash->digest;
254 cur_digestsize = event_data->iint->ima_hash->length;
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200255
Roberto Sassu23b57412015-04-11 17:09:50 +0200256 hash_algo = event_data->iint->ima_hash->algo;
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200257out:
258 return ima_eventdigest_init_common(cur_digest, cur_digestsize,
Roberto Sassudcf4e392013-11-08 19:21:37 +0100259 hash_algo, field_data);
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200260}
261
Roberto Sassu23b57412015-04-11 17:09:50 +0200262static int ima_eventname_init_common(struct ima_event_data *event_data,
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200263 struct ima_field_data *field_data,
264 bool size_limit)
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200265{
266 const char *cur_filename = NULL;
267 u32 cur_filename_len = 0;
268
Roberto Sassu23b57412015-04-11 17:09:50 +0200269 BUG_ON(event_data->filename == NULL && event_data->file == NULL);
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200270
Roberto Sassu23b57412015-04-11 17:09:50 +0200271 if (event_data->filename) {
272 cur_filename = event_data->filename;
273 cur_filename_len = strlen(event_data->filename);
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200274
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200275 if (!size_limit || cur_filename_len <= IMA_EVENT_NAME_LEN_MAX)
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200276 goto out;
277 }
278
Roberto Sassu23b57412015-04-11 17:09:50 +0200279 if (event_data->file) {
280 cur_filename = event_data->file->f_path.dentry->d_name.name;
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200281 cur_filename_len = strlen(cur_filename);
282 } else
283 /*
284 * Truncate filename if the latter is too long and
285 * the file descriptor is not available.
286 */
287 cur_filename_len = IMA_EVENT_NAME_LEN_MAX;
288out:
289 return ima_write_template_field_data(cur_filename, cur_filename_len,
Roberto Sassue3b64c22014-02-03 13:56:05 +0100290 DATA_FMT_STRING, field_data);
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200291}
292
293/*
294 * This function writes the name of an event (with size limit).
295 */
Roberto Sassu23b57412015-04-11 17:09:50 +0200296int ima_eventname_init(struct ima_event_data *event_data,
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200297 struct ima_field_data *field_data)
298{
Roberto Sassu23b57412015-04-11 17:09:50 +0200299 return ima_eventname_init_common(event_data, field_data, true);
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200300}
301
302/*
303 * This function writes the name of an event (without size limit).
304 */
Roberto Sassu23b57412015-04-11 17:09:50 +0200305int ima_eventname_ng_init(struct ima_event_data *event_data,
Roberto Sassu4d7aeee2013-06-07 12:16:32 +0200306 struct ima_field_data *field_data)
307{
Roberto Sassu23b57412015-04-11 17:09:50 +0200308 return ima_eventname_init_common(event_data, field_data, false);
Roberto Sassu3ce1217d2013-06-07 12:16:30 +0200309}
Mimi Zoharbcbc9b02013-07-23 11:15:00 -0400310
311/*
312 * ima_eventsig_init - include the file signature as part of the template data
313 */
Roberto Sassu23b57412015-04-11 17:09:50 +0200314int ima_eventsig_init(struct ima_event_data *event_data,
Mimi Zoharbcbc9b02013-07-23 11:15:00 -0400315 struct ima_field_data *field_data)
316{
317 enum data_formats fmt = DATA_FMT_HEX;
Roberto Sassu23b57412015-04-11 17:09:50 +0200318 struct evm_ima_xattr_data *xattr_value = event_data->xattr_value;
319 int xattr_len = event_data->xattr_len;
Mimi Zoharbcbc9b02013-07-23 11:15:00 -0400320 int rc = 0;
321
322 if ((!xattr_value) || (xattr_value->type != EVM_IMA_XATTR_DIGSIG))
323 goto out;
324
325 rc = ima_write_template_field_data(xattr_value, xattr_len, fmt,
326 field_data);
327out:
328 return rc;
329}