blob: 69ab9eb7d6d927161dc17555329526721313fe18 [file] [log] [blame]
Casey Schauflere114e472008-02-04 22:29:50 -08001/*
2 * Copyright (C) 2007 Casey Schaufler <casey@schaufler-ca.com>
3 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License as published by
6 * the Free Software Foundation, version 2.
7 *
8 * Author:
9 * Casey Schaufler <casey@schaufler-ca.com>
10 *
11 */
12
13#ifndef _SECURITY_SMACK_H
14#define _SECURITY_SMACK_H
15
16#include <linux/capability.h>
17#include <linux/spinlock.h>
Casey Schaufler3c4ed7b2015-05-02 15:10:46 -070018#include <linux/lsm_hooks.h>
Casey Schaufler6d3dc072008-12-31 12:54:12 -050019#include <linux/in.h>
Casey Schauflere114e472008-02-04 22:29:50 -080020#include <net/netlabel.h>
Etienne Basset7198e2e2009-03-24 20:53:24 +010021#include <linux/list.h>
22#include <linux/rculist.h>
Etienne Bassetecfcc532009-04-08 20:40:06 +020023#include <linux/lsm_audit.h>
Casey Schauflere114e472008-02-04 22:29:50 -080024
25/*
Casey Schauflerf7112e62012-05-06 15:22:02 -070026 * Smack labels were limited to 23 characters for a long time.
27 */
28#define SMK_LABELLEN 24
29#define SMK_LONGLABEL 256
30
31/*
Casey Schauflere114e472008-02-04 22:29:50 -080032 * This is the repository for labels seen so that it is
33 * not necessary to keep allocating tiny chuncks of memory
34 * and so that they can be shared.
35 *
36 * Labels are never modified in place. Anytime a label
37 * is imported (e.g. xattrset on a file) the list is checked
38 * for it and it is added if it doesn't exist. The address
39 * is passed out in either case. Entries are added, but
40 * never deleted.
41 *
42 * Since labels are hanging around anyway it doesn't
43 * hurt to maintain a secid for those awkward situations
44 * where kernel components that ought to use LSM independent
45 * interfaces don't. The secid should go away when all of
46 * these components have been repaired.
47 *
Casey Schauflerf7112e62012-05-06 15:22:02 -070048 * The cipso value associated with the label gets stored here, too.
Casey Schaufler272cd7a2011-09-20 12:24:36 -070049 *
50 * Keep the access rules for this subject label here so that
51 * the entire set of rules does not need to be examined every
52 * time.
Casey Schauflere114e472008-02-04 22:29:50 -080053 */
54struct smack_known {
Casey Schauflerf7112e62012-05-06 15:22:02 -070055 struct list_head list;
Tomasz Stanislawski4d7cf4a2013-06-11 14:55:13 +020056 struct hlist_node smk_hashed;
Casey Schauflerf7112e62012-05-06 15:22:02 -070057 char *smk_known;
58 u32 smk_secid;
59 struct netlbl_lsm_secattr smk_netlabel; /* on wire labels */
60 struct list_head smk_rules; /* access rules */
61 struct mutex smk_rules_lock; /* lock for rules */
Casey Schauflere114e472008-02-04 22:29:50 -080062};
63
64/*
Casey Schaufler2f823ff2013-05-22 18:43:03 -070065 * Maximum number of bytes for the levels in a CIPSO IP option.
66 * Why 23? CIPSO is constrained to 30, so a 32 byte buffer is
67 * bigger than can be used, and 24 is the next lower multiple
68 * of 8, and there are too many issues if there isn't space set
69 * aside for the terminating null byte.
70 */
71#define SMK_CIPSOLEN 24
72
73struct superblock_smack {
Lukasz Pawelczyk21c7eae2014-08-29 17:02:55 +020074 struct smack_known *smk_root;
75 struct smack_known *smk_floor;
76 struct smack_known *smk_hat;
77 struct smack_known *smk_default;
78 int smk_initialized;
Casey Schaufler2f823ff2013-05-22 18:43:03 -070079};
80
81struct socket_smack {
82 struct smack_known *smk_out; /* outbound label */
Casey Schaufler54e70ec2014-04-10 16:37:08 -070083 struct smack_known *smk_in; /* inbound label */
84 struct smack_known *smk_packet; /* TCP peer label */
Casey Schaufler2f823ff2013-05-22 18:43:03 -070085};
86
87/*
88 * Inode smack data
89 */
90struct inode_smack {
Lukasz Pawelczyk21c7eae2014-08-29 17:02:55 +020091 struct smack_known *smk_inode; /* label of the fso */
Casey Schaufler2f823ff2013-05-22 18:43:03 -070092 struct smack_known *smk_task; /* label of the task */
93 struct smack_known *smk_mmap; /* label of the mmap domain */
94 struct mutex smk_lock; /* initialization lock */
95 int smk_flags; /* smack inode flags */
96};
97
98struct task_smack {
99 struct smack_known *smk_task; /* label for access control */
100 struct smack_known *smk_forked; /* label when forked */
101 struct list_head smk_rules; /* per task access rules */
102 struct mutex smk_rules_lock; /* lock for the rules */
103};
104
105#define SMK_INODE_INSTANT 0x01 /* inode is instantiated */
106#define SMK_INODE_TRANSMUTE 0x02 /* directory is transmuting */
107#define SMK_INODE_CHANGED 0x04 /* smack was transmuted */
Casey Schauflerbf4b2fe2015-03-21 18:26:40 -0700108#define SMK_INODE_IMPURE 0x08 /* involved in an impure transaction */
Casey Schaufler2f823ff2013-05-22 18:43:03 -0700109
110/*
111 * A label access rule.
112 */
113struct smack_rule {
114 struct list_head list;
115 struct smack_known *smk_subject;
Lukasz Pawelczyk21c7eae2014-08-29 17:02:55 +0200116 struct smack_known *smk_object;
Casey Schaufler2f823ff2013-05-22 18:43:03 -0700117 int smk_access;
118};
119
120/*
121 * An entry in the table identifying hosts.
122 */
123struct smk_netlbladdr {
124 struct list_head list;
125 struct sockaddr_in smk_host; /* network address */
126 struct in_addr smk_mask; /* network mask */
Lukasz Pawelczyk21c7eae2014-08-29 17:02:55 +0200127 struct smack_known *smk_label; /* label */
Casey Schaufler2f823ff2013-05-22 18:43:03 -0700128};
129
130/*
131 * An entry in the table identifying ports.
132 */
133struct smk_port_label {
134 struct list_head list;
135 struct sock *smk_sock; /* socket initialized on */
136 unsigned short smk_port; /* the port number */
Casey Schaufler54e70ec2014-04-10 16:37:08 -0700137 struct smack_known *smk_in; /* inbound label */
Casey Schaufler2f823ff2013-05-22 18:43:03 -0700138 struct smack_known *smk_out; /* outgoing label */
139};
140
Rafal Krypac0d77c82015-06-02 11:23:48 +0200141struct smack_onlycap {
142 struct list_head list;
143 struct smack_known *smk_label;
144};
145
Vivek Trivedi3bf27892015-06-22 15:36:06 +0530146/* Super block security struct flags for mount options */
147#define FSDEFAULT_MNT 0x01
148#define FSFLOOR_MNT 0x02
149#define FSHAT_MNT 0x04
150#define FSROOT_MNT 0x08
151#define FSTRANS_MNT 0x10
152
153#define NUM_SMK_MNT_OPTS 5
154
155enum {
156 Opt_error = -1,
157 Opt_fsdefault = 1,
158 Opt_fsfloor = 2,
159 Opt_fshat = 3,
160 Opt_fsroot = 4,
161 Opt_fstransmute = 5,
162};
163
Casey Schaufler2f823ff2013-05-22 18:43:03 -0700164/*
Casey Schauflere114e472008-02-04 22:29:50 -0800165 * Mount options
166 */
167#define SMK_FSDEFAULT "smackfsdef="
168#define SMK_FSFLOOR "smackfsfloor="
169#define SMK_FSHAT "smackfshat="
170#define SMK_FSROOT "smackfsroot="
Casey Schauflere830b392013-05-22 18:43:07 -0700171#define SMK_FSTRANS "smackfstransmute="
Casey Schauflere114e472008-02-04 22:29:50 -0800172
Etienne Basset43031542009-03-27 17:11:01 -0400173#define SMACK_CIPSO_OPTION "-CIPSO"
174
Casey Schauflere114e472008-02-04 22:29:50 -0800175/*
Casey Schaufler6d3dc072008-12-31 12:54:12 -0500176 * How communications on this socket are treated.
177 * Usually it's determined by the underlying netlabel code
178 * but there are certain cases, including single label hosts
179 * and potentially single label interfaces for which the
180 * treatment can not be known in advance.
181 *
182 * The possibility of additional labeling schemes being
183 * introduced in the future exists as well.
184 */
185#define SMACK_UNLABELED_SOCKET 0
186#define SMACK_CIPSO_SOCKET 1
187
188/*
Casey Schauflere114e472008-02-04 22:29:50 -0800189 * CIPSO defaults.
190 */
191#define SMACK_CIPSO_DOI_DEFAULT 3 /* Historical */
Casey Schaufler6d3dc072008-12-31 12:54:12 -0500192#define SMACK_CIPSO_DOI_INVALID -1 /* Not a DOI */
Casey Schauflere114e472008-02-04 22:29:50 -0800193#define SMACK_CIPSO_DIRECT_DEFAULT 250 /* Arbitrary */
Casey Schauflerf7112e62012-05-06 15:22:02 -0700194#define SMACK_CIPSO_MAPPED_DEFAULT 251 /* Also arbitrary */
Casey Schauflere114e472008-02-04 22:29:50 -0800195#define SMACK_CIPSO_MAXLEVEL 255 /* CIPSO 2.2 standard */
Casey Schaufler677264e2013-06-28 13:47:07 -0700196/*
197 * CIPSO 2.2 standard is 239, but Smack wants to use the
198 * categories in a structured way that limits the value to
199 * the bits in 23 bytes, hence the unusual number.
200 */
201#define SMACK_CIPSO_MAXCATNUM 184 /* 23 * 8 */
Casey Schauflere114e472008-02-04 22:29:50 -0800202
203/*
Lukasz Pawelczyk66867812014-03-11 17:07:06 +0100204 * Ptrace rules
205 */
206#define SMACK_PTRACE_DEFAULT 0
207#define SMACK_PTRACE_EXACT 1
208#define SMACK_PTRACE_DRACONIAN 2
209#define SMACK_PTRACE_MAX SMACK_PTRACE_DRACONIAN
210
211/*
Casey Schauflerc0ab6e52013-10-11 18:06:39 -0700212 * Flags for untraditional access modes.
213 * It shouldn't be necessary to avoid conflicts with definitions
214 * in fs.h, but do so anyway.
Jarkko Sakkinen5c6d1122010-12-07 13:34:01 +0200215 */
Casey Schauflerc0ab6e52013-10-11 18:06:39 -0700216#define MAY_TRANSMUTE 0x00001000 /* Controls directory labeling */
217#define MAY_LOCK 0x00002000 /* Locks should be writes, but ... */
Casey Schauflerd166c802014-08-27 14:51:27 -0700218#define MAY_BRINGUP 0x00004000 /* Report use of this rule */
Casey Schauflerc0ab6e52013-10-11 18:06:39 -0700219
Casey Schauflerbf4b2fe2015-03-21 18:26:40 -0700220#define SMACK_BRINGUP_ALLOW 1 /* Allow bringup mode */
221#define SMACK_UNCONFINED_SUBJECT 2 /* Allow unconfined label */
222#define SMACK_UNCONFINED_OBJECT 3 /* Allow unconfined label */
223
Jarkko Sakkinen5c6d1122010-12-07 13:34:01 +0200224/*
Casey Schauflere114e472008-02-04 22:29:50 -0800225 * Just to make the common cases easier to deal with
226 */
Casey Schauflere114e472008-02-04 22:29:50 -0800227#define MAY_ANYREAD (MAY_READ | MAY_EXEC)
Casey Schauflere114e472008-02-04 22:29:50 -0800228#define MAY_READWRITE (MAY_READ | MAY_WRITE)
229#define MAY_NOT 0
230
231/*
Casey Schauflerd166c802014-08-27 14:51:27 -0700232 * Number of access types used by Smack (rwxatlb)
Etienne Bassetecfcc532009-04-08 20:40:06 +0200233 */
Casey Schauflerd166c802014-08-27 14:51:27 -0700234#define SMK_NUM_ACCESS_TYPE 7
Etienne Bassetecfcc532009-04-08 20:40:06 +0200235
Eric Paris3b3b0e42012-04-03 09:37:02 -0700236/* SMACK data */
237struct smack_audit_data {
238 const char *function;
239 char *subject;
240 char *object;
241 char *request;
242 int result;
243};
244
Etienne Bassetecfcc532009-04-08 20:40:06 +0200245/*
246 * Smack audit data; is empty if CONFIG_AUDIT not set
247 * to save some stack
248 */
249struct smk_audit_info {
250#ifdef CONFIG_AUDIT
251 struct common_audit_data a;
Eric Paris3b3b0e42012-04-03 09:37:02 -0700252 struct smack_audit_data sad;
Etienne Bassetecfcc532009-04-08 20:40:06 +0200253#endif
254};
255/*
Casey Schauflere114e472008-02-04 22:29:50 -0800256 * These functions are in smack_lsm.c
257 */
Lukasz Pawelczyk21c7eae2014-08-29 17:02:55 +0200258struct inode_smack *new_inode_smack(struct smack_known *);
Casey Schauflere114e472008-02-04 22:29:50 -0800259
260/*
261 * These functions are in smack_access.c
262 */
Casey Schaufler7898e1f2011-01-17 08:05:27 -0800263int smk_access_entry(char *, char *, struct list_head *);
Lukasz Pawelczyk21c7eae2014-08-29 17:02:55 +0200264int smk_access(struct smack_known *, struct smack_known *,
265 int, struct smk_audit_info *);
266int smk_tskacc(struct task_smack *, struct smack_known *,
267 u32, struct smk_audit_info *);
268int smk_curacc(struct smack_known *, u32, struct smk_audit_info *);
Casey Schaufler2f823ff2013-05-22 18:43:03 -0700269struct smack_known *smack_from_secid(const u32);
Casey Schauflerf7112e62012-05-06 15:22:02 -0700270char *smk_parse_smack(const char *string, int len);
271int smk_netlbl_mls(int, char *, struct netlbl_lsm_secattr *, int);
Casey Schauflere114e472008-02-04 22:29:50 -0800272struct smack_known *smk_import_entry(const char *, int);
Tomasz Stanislawski4d7cf4a2013-06-11 14:55:13 +0200273void smk_insert_entry(struct smack_known *skp);
Casey Schaufler272cd7a2011-09-20 12:24:36 -0700274struct smack_known *smk_find_entry(const char *);
Rafal Krypac0d77c82015-06-02 11:23:48 +0200275int smack_privileged(int cap);
Casey Schauflere114e472008-02-04 22:29:50 -0800276
277/*
278 * Shared data.
279 */
Casey Schaufler69f287a2014-12-12 17:08:40 -0800280extern int smack_enabled;
Casey Schauflere114e472008-02-04 22:29:50 -0800281extern int smack_cipso_direct;
Casey Schauflerf7112e62012-05-06 15:22:02 -0700282extern int smack_cipso_mapped;
Casey Schaufler2f823ff2013-05-22 18:43:03 -0700283extern struct smack_known *smack_net_ambient;
Casey Schaufler00f84f32013-12-23 11:07:10 -0800284extern struct smack_known *smack_syslog_label;
Casey Schauflerbf4b2fe2015-03-21 18:26:40 -0700285#ifdef CONFIG_SECURITY_SMACK_BRINGUP
286extern struct smack_known *smack_unconfined;
287#endif
Lukasz Pawelczyk21c7eae2014-08-29 17:02:55 +0200288extern struct smack_known smack_cipso_option;
Lukasz Pawelczyk66867812014-03-11 17:07:06 +0100289extern int smack_ptrace_rule;
Casey Schauflere114e472008-02-04 22:29:50 -0800290
Casey Schauflere114e472008-02-04 22:29:50 -0800291extern struct smack_known smack_known_floor;
292extern struct smack_known smack_known_hat;
293extern struct smack_known smack_known_huh;
294extern struct smack_known smack_known_invalid;
295extern struct smack_known smack_known_star;
Casey Schaufler6d3dc072008-12-31 12:54:12 -0500296extern struct smack_known smack_known_web;
Casey Schauflere114e472008-02-04 22:29:50 -0800297
Casey Schauflerf7112e62012-05-06 15:22:02 -0700298extern struct mutex smack_known_lock;
Etienne Basset7198e2e2009-03-24 20:53:24 +0100299extern struct list_head smack_known_list;
Etienne Basset7198e2e2009-03-24 20:53:24 +0100300extern struct list_head smk_netlbladdr_list;
301
Rafal Krypac0d77c82015-06-02 11:23:48 +0200302extern struct mutex smack_onlycap_lock;
303extern struct list_head smack_onlycap_list;
304
Tomasz Stanislawski4d7cf4a2013-06-11 14:55:13 +0200305#define SMACK_HASH_SLOTS 16
306extern struct hlist_head smack_known_hash[SMACK_HASH_SLOTS];
307
Casey Schauflere114e472008-02-04 22:29:50 -0800308/*
Jarkko Sakkinen5c6d1122010-12-07 13:34:01 +0200309 * Is the directory transmuting?
310 */
311static inline int smk_inode_transmutable(const struct inode *isp)
312{
313 struct inode_smack *sip = isp->i_security;
314 return (sip->smk_flags & SMK_INODE_TRANSMUTE) != 0;
315}
316
317/*
Lukasz Pawelczyk21c7eae2014-08-29 17:02:55 +0200318 * Present a pointer to the smack label entry in an inode blob.
Casey Schauflere114e472008-02-04 22:29:50 -0800319 */
Lukasz Pawelczyk21c7eae2014-08-29 17:02:55 +0200320static inline struct smack_known *smk_of_inode(const struct inode *isp)
Casey Schauflere114e472008-02-04 22:29:50 -0800321{
322 struct inode_smack *sip = isp->i_security;
323 return sip->smk_inode;
324}
325
Etienne Bassetecfcc532009-04-08 20:40:06 +0200326/*
Casey Schaufler2f823ff2013-05-22 18:43:03 -0700327 * Present a pointer to the smack label entry in an task blob.
Casey Schaufler676dac42010-12-02 06:43:39 -0800328 */
Casey Schaufler2f823ff2013-05-22 18:43:03 -0700329static inline struct smack_known *smk_of_task(const struct task_smack *tsp)
Casey Schaufler676dac42010-12-02 06:43:39 -0800330{
331 return tsp->smk_task;
332}
333
Andrey Ryabinin6d1cff22015-01-13 18:52:40 +0300334static inline struct smack_known *smk_of_task_struct(const struct task_struct *t)
335{
336 struct smack_known *skp;
337
338 rcu_read_lock();
339 skp = smk_of_task(__task_cred(t)->security);
340 rcu_read_unlock();
341 return skp;
342}
343
Casey Schaufler676dac42010-12-02 06:43:39 -0800344/*
Casey Schaufler2f823ff2013-05-22 18:43:03 -0700345 * Present a pointer to the forked smack label entry in an task blob.
Casey Schaufler676dac42010-12-02 06:43:39 -0800346 */
Casey Schaufler2f823ff2013-05-22 18:43:03 -0700347static inline struct smack_known *smk_of_forked(const struct task_smack *tsp)
Casey Schaufler676dac42010-12-02 06:43:39 -0800348{
349 return tsp->smk_forked;
350}
351
352/*
Jarkko Sakkinen5c6d1122010-12-07 13:34:01 +0200353 * Present a pointer to the smack label in the current task blob.
Casey Schaufler676dac42010-12-02 06:43:39 -0800354 */
Casey Schaufler2f823ff2013-05-22 18:43:03 -0700355static inline struct smack_known *smk_of_current(void)
Casey Schaufler676dac42010-12-02 06:43:39 -0800356{
357 return smk_of_task(current_security());
358}
359
360/*
Etienne Bassetecfcc532009-04-08 20:40:06 +0200361 * logging functions
362 */
363#define SMACK_AUDIT_DENIED 0x1
364#define SMACK_AUDIT_ACCEPT 0x2
365extern int log_policy;
366
367void smack_log(char *subject_label, char *object_label,
368 int request,
369 int result, struct smk_audit_info *auditdata);
370
371#ifdef CONFIG_AUDIT
372
373/*
374 * some inline functions to set up audit data
375 * they do nothing if CONFIG_AUDIT is not set
376 *
377 */
378static inline void smk_ad_init(struct smk_audit_info *a, const char *func,
379 char type)
380{
Eric Paris50c205f2012-04-04 15:01:43 -0400381 memset(&a->sad, 0, sizeof(a->sad));
Etienne Bassetecfcc532009-04-08 20:40:06 +0200382 a->a.type = type;
Eric Paris3b3b0e42012-04-03 09:37:02 -0700383 a->a.smack_audit_data = &a->sad;
384 a->a.smack_audit_data->function = func;
Etienne Bassetecfcc532009-04-08 20:40:06 +0200385}
386
Eric Paris48c62af2012-04-02 13:15:44 -0400387static inline void smk_ad_init_net(struct smk_audit_info *a, const char *func,
388 char type, struct lsm_network_audit *net)
389{
390 smk_ad_init(a, func, type);
391 memset(net, 0, sizeof(*net));
392 a->a.u.net = net;
393}
394
Etienne Bassetecfcc532009-04-08 20:40:06 +0200395static inline void smk_ad_setfield_u_tsk(struct smk_audit_info *a,
396 struct task_struct *t)
397{
398 a->a.u.tsk = t;
399}
400static inline void smk_ad_setfield_u_fs_path_dentry(struct smk_audit_info *a,
401 struct dentry *d)
402{
Eric Parisa2694342011-04-25 13:10:27 -0400403 a->a.u.dentry = d;
Etienne Bassetecfcc532009-04-08 20:40:06 +0200404}
405static inline void smk_ad_setfield_u_fs_inode(struct smk_audit_info *a,
406 struct inode *i)
407{
Eric Parisf48b7392011-04-25 12:54:27 -0400408 a->a.u.inode = i;
Etienne Bassetecfcc532009-04-08 20:40:06 +0200409}
410static inline void smk_ad_setfield_u_fs_path(struct smk_audit_info *a,
411 struct path p)
412{
Eric Parisf48b7392011-04-25 12:54:27 -0400413 a->a.u.path = p;
Etienne Bassetecfcc532009-04-08 20:40:06 +0200414}
415static inline void smk_ad_setfield_u_net_sk(struct smk_audit_info *a,
416 struct sock *sk)
417{
Eric Paris48c62af2012-04-02 13:15:44 -0400418 a->a.u.net->sk = sk;
Etienne Bassetecfcc532009-04-08 20:40:06 +0200419}
420
421#else /* no AUDIT */
422
423static inline void smk_ad_init(struct smk_audit_info *a, const char *func,
424 char type)
425{
426}
427static inline void smk_ad_setfield_u_tsk(struct smk_audit_info *a,
428 struct task_struct *t)
429{
430}
431static inline void smk_ad_setfield_u_fs_path_dentry(struct smk_audit_info *a,
432 struct dentry *d)
433{
434}
435static inline void smk_ad_setfield_u_fs_path_mnt(struct smk_audit_info *a,
436 struct vfsmount *m)
437{
438}
439static inline void smk_ad_setfield_u_fs_inode(struct smk_audit_info *a,
440 struct inode *i)
441{
442}
443static inline void smk_ad_setfield_u_fs_path(struct smk_audit_info *a,
444 struct path p)
445{
446}
447static inline void smk_ad_setfield_u_net_sk(struct smk_audit_info *a,
448 struct sock *sk)
449{
450}
451#endif
452
Casey Schauflere114e472008-02-04 22:29:50 -0800453#endif /* _SECURITY_SMACK_H */