Home | History | Annotate | Line # | Download | only in sys
verified_exec.h revision 1.35
      1  1.35   elad /*	$NetBSD: verified_exec.h,v 1.35 2006/07/24 21:32:39 elad Exp $	*/
      2   1.1  blymn 
      3   1.1  blymn /*-
      4  1.31   elad  * Copyright 2005 Elad Efrat <elad (at) NetBSD.org>
      5   1.7  blymn  * Copyright 2005 Brett Lymn <blymn (at) netbsd.org>
      6   1.1  blymn  *
      7   1.7  blymn  * This code is derived from software contributed to The NetBSD Foundation
      8   1.7  blymn  * by Brett Lymn and Elad Efrat
      9   1.1  blymn  *
     10   1.1  blymn  * Redistribution and use in source and binary forms, with or without
     11   1.1  blymn  * modification, are permitted provided that the following conditions
     12   1.1  blymn  * are met:
     13   1.1  blymn  * 1. Redistributions of source code must retain the above copyright
     14   1.1  blymn  *    notice, this list of conditions and the following disclaimer.
     15   1.7  blymn  * 2. Neither the name of The NetBSD Foundation nor the names of its
     16   1.7  blymn  *    contributors may be used to endorse or promote products derived
     17   1.7  blymn  *    from this software without specific prior written permission.
     18   1.7  blymn  *
     19   1.7  blymn  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20   1.7  blymn  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21   1.7  blymn  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22   1.7  blymn  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23   1.7  blymn  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24   1.7  blymn  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25   1.7  blymn  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26   1.7  blymn  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27   1.7  blymn  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28   1.7  blymn  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29   1.7  blymn  * POSSIBILITY OF SUCH DAMAGE.
     30   1.1  blymn  */
     31   1.1  blymn 
     32  1.14   elad #ifndef _SYS_VERIFIED_EXEC_H_
     33  1.14   elad #define _SYS_VERIFIED_EXEC_H_
     34  1.14   elad 
     35  1.14   elad #include <sys/cdefs.h>
     36   1.1  blymn #include <sys/param.h>
     37   1.7  blymn #include <sys/hash.h>
     38  1.20   elad #include <uvm/uvm_extern.h>
     39  1.20   elad #include <uvm/uvm_pglist.h>
     40  1.20   elad #include <uvm/uvm_page.h>
     41   1.1  blymn 
     42   1.7  blymn /* Max length of the fingerprint type string, including terminating \0 char */
     43  1.24   elad #define	VERIEXEC_TYPE_MAXLEN	9
     44   1.1  blymn 
     45   1.7  blymn struct veriexec_params  {
     46   1.1  blymn 	unsigned char type;
     47  1.14   elad 	unsigned char fp_type[VERIEXEC_TYPE_MAXLEN];
     48   1.1  blymn 	char file[MAXPATHLEN];
     49   1.7  blymn 	unsigned int size;  /* number of bytes in the fingerprint */
     50   1.7  blymn 	unsigned char *fingerprint;
     51   1.7  blymn };
     52   1.7  blymn 
     53   1.7  blymn struct veriexec_sizing_params {
     54   1.7  blymn 	size_t hash_size;
     55  1.29   elad 	u_char file[MAXPATHLEN];
     56   1.1  blymn };
     57   1.1  blymn 
     58  1.23   elad struct veriexec_delete_params {
     59  1.29   elad 	u_char file[MAXPATHLEN];
     60  1.23   elad };
     61  1.23   elad 
     62  1.28   elad struct veriexec_query_params {
     63  1.29   elad 	u_char file[MAXPATHLEN];
     64  1.28   elad 	unsigned char fp_type[VERIEXEC_TYPE_MAXLEN];
     65  1.28   elad 	unsigned char type;
     66  1.28   elad 	unsigned char status;
     67  1.28   elad 	unsigned char *fp;
     68  1.28   elad 	size_t fp_bufsize;
     69  1.28   elad 	size_t hash_len;
     70  1.28   elad 	void *uaddr;
     71  1.28   elad };
     72  1.28   elad 
     73  1.24   elad /* Flags for a Veriexec entry. These can be OR'd together. */
     74  1.16   elad #define VERIEXEC_DIRECT		0x01 /* Direct execution (exec) */
     75  1.16   elad #define VERIEXEC_INDIRECT	0x02 /* Indirect execution (#!) */
     76  1.16   elad #define VERIEXEC_FILE		0x04 /* Plain file (open) */
     77  1.20   elad #define	VERIEXEC_UNTRUSTED	0x10 /* Untrusted storage */
     78   1.1  blymn 
     79  1.24   elad /* Operations for /dev/veriexec. */
     80  1.25   elad #define VERIEXEC_LOAD		_IOW('S', 0x1, struct veriexec_params)
     81  1.25   elad #define VERIEXEC_TABLESIZE	_IOW('S', 0x2, struct veriexec_sizing_params)
     82  1.25   elad #define VERIEXEC_DELETE		_IOW('S', 0x3, struct veriexec_delete_params)
     83  1.28   elad #define VERIEXEC_QUERY		_IOW('S', 0x4, struct veriexec_query_params)
     84   1.7  blymn 
     85   1.8   elad /* Verified exec sysctl objects. */
     86   1.8   elad #define	VERIEXEC_VERBOSE	1 /* Verbosity level. */
     87   1.8   elad #define	VERIEXEC_STRICT		2 /* Strict mode level. */
     88   1.8   elad #define	VERIEXEC_ALGORITHMS	3 /* Supported hashing algorithms. */
     89  1.10   elad #define	VERIEXEC_COUNT		4 /* # of fingerprinted files on device. */
     90   1.8   elad 
     91  1.28   elad /* Valid status field values. */
     92  1.28   elad #define FINGERPRINT_NOTEVAL  0  /* fingerprint has not been evaluated */
     93  1.28   elad #define FINGERPRINT_VALID    1  /* fingerprint evaluated and matches list */
     94  1.28   elad #define FINGERPRINT_NOMATCH  2  /* fingerprint evaluated but does not match */
     95  1.28   elad 
     96  1.28   elad /* Per-page fingerprint status. */
     97  1.28   elad #define	PAGE_FP_NONE	0	/* no per-page fingerprints. */
     98  1.28   elad #define	PAGE_FP_READY	1	/* per-page fingerprints ready for use. */
     99  1.28   elad #define	PAGE_FP_FAIL	2	/* mismatch in per-page fingerprints. */
    100  1.28   elad 
    101   1.7  blymn #ifdef _KERNEL
    102   1.7  blymn void	veriexecattach(struct device *, struct device *, void *);
    103  1.27   elad int     veriexecopen(dev_t, int, int, struct lwp *);
    104  1.27   elad int     veriexecclose(dev_t, int, int, struct lwp *);
    105  1.27   elad int     veriexecioctl(dev_t, u_long, caddr_t, int, struct lwp *);
    106   1.7  blymn 
    107   1.7  blymn /* defined in kern_verifiedexec.c */
    108   1.7  blymn extern char *veriexec_fp_names;
    109   1.8   elad extern int veriexec_verbose;
    110   1.8   elad extern int veriexec_strict;
    111  1.10   elad /* this one requires sysctl.h to be included before verified_exec.h */
    112  1.10   elad #ifdef VERIEXEC_NEED_NODE
    113  1.15   elad extern const struct sysctlnode *veriexec_count_node;
    114  1.10   elad #endif /* VERIEXEC_NEED_NODE */
    115  1.29   elad extern int veriexec_hook;
    116   1.7  blymn 
    117   1.1  blymn /*
    118   1.7  blymn  * Operations vector for verified exec, this defines the characteristics
    119   1.7  blymn  * for the fingerprint type.
    120  1.24   elad  * Function types: init, update, final.
    121   1.1  blymn  */
    122   1.7  blymn typedef void (*VERIEXEC_INIT_FN)(void *);
    123   1.7  blymn typedef void (*VERIEXEC_UPDATE_FN)(void *, u_char *, u_int);
    124   1.7  blymn typedef void (*VERIEXEC_FINAL_FN)(u_char *, void *);
    125   1.7  blymn 
    126   1.7  blymn struct veriexec_fp_ops {
    127   1.7  blymn 	char type[VERIEXEC_TYPE_MAXLEN];
    128   1.7  blymn 	size_t hash_len;
    129   1.7  blymn 	size_t context_size;
    130   1.7  blymn 	VERIEXEC_INIT_FN init;
    131   1.7  blymn 	VERIEXEC_UPDATE_FN update;
    132   1.7  blymn 	VERIEXEC_FINAL_FN final;
    133   1.7  blymn 	LIST_ENTRY(veriexec_fp_ops) entries;
    134   1.7  blymn };
    135   1.1  blymn 
    136  1.29   elad /* Veriexec per-file entry data. */
    137  1.29   elad struct veriexec_file_entry {
    138  1.29   elad 	u_char type;				/* Entry type. */
    139  1.29   elad 	u_char status;				/* Evaluation status. */
    140  1.29   elad 	u_char page_fp_status;			/* Per-page FP status. */
    141  1.29   elad 	u_char *fp;				/* Fingerprint. */
    142  1.29   elad 	void *page_fp;				/* Per-page fingerprints */
    143  1.29   elad 	size_t npages;			    	/* Number of pages. */
    144  1.29   elad 	size_t last_page_size;			/* To support < PAGE_SIZE */
    145  1.29   elad 	struct veriexec_fp_ops *ops;		/* Fingerprint ops vector*/
    146  1.29   elad };
    147  1.29   elad 
    148  1.29   elad /* Veriexec per-table data. */
    149  1.29   elad struct veriexec_table_entry {
    150  1.29   elad 	uint64_t vte_count;			/* Number of Veriexec entries. */
    151  1.29   elad 	const struct sysctlnode *vte_node;
    152   1.1  blymn };
    153   1.1  blymn 
    154  1.35   elad /* Veriexec modes (strict levels). */
    155  1.35   elad #define	VERIEXEC_LEARNING	0	/* Learning mode. */
    156  1.35   elad #define	VERIEXEC_IDS		1	/* Intrusion detection mode. */
    157  1.35   elad #defien	VERIEXEC_IPS		2	/* Intrusion prevention mode. */
    158  1.35   elad #define	VERIEXEC_LOCKDOWN	3	/* Lockdown mode. */
    159  1.35   elad 
    160   1.8   elad /* Readable values for veriexec_report(). */
    161  1.34   elad #define	REPORT_ALWAYS		0x01	/* Always print */
    162  1.34   elad #define	REPORT_VERBOSE		0x02	/* Print when verbose >= 1 */
    163  1.34   elad #define	REPORT_DEBUG		0x04	/* Print when verbose >= 2 (debug) */
    164  1.34   elad #define	REPORT_PANIC		0x08	/* Call panic() */
    165  1.34   elad #define	REPORT_ALARM		0x10	/* Alarm - also print pid/uid/.. */
    166  1.34   elad #define	REPORT_LOGMASK		(REPORT_ALWAYS|REPORT_VERBOSE|REPORT_DEBUG)
    167   1.8   elad 
    168  1.11   elad /* Initialize a fingerprint ops struct. */
    169  1.11   elad #define	VERIEXEC_OPINIT(ops, fp_type, hashlen, ctx_size, init_fn, \
    170  1.11   elad 	update_fn, final_fn) \
    171  1.11   elad 	do {								    \
    172  1.11   elad 		(void) strlcpy((ops)->type, fp_type, sizeof((ops)->type));  \
    173  1.11   elad 		(ops)->hash_len = (hashlen);				    \
    174  1.11   elad 		(ops)->context_size = (ctx_size);			    \
    175  1.11   elad 		(ops)->init = (VERIEXEC_INIT_FN) (init_fn);		    \
    176  1.11   elad 		(ops)->update = (VERIEXEC_UPDATE_FN) (update_fn);	    \
    177  1.11   elad 		(ops)->final = (VERIEXEC_FINAL_FN) (final_fn);		    \
    178  1.11   elad 	} while (0);
    179  1.11   elad 
    180  1.11   elad int veriexec_add_fp_ops(struct veriexec_fp_ops *);
    181   1.7  blymn void veriexec_init_fp_ops(void);
    182   1.7  blymn struct veriexec_fp_ops *veriexec_find_ops(u_char *name);
    183  1.32   elad int veriexec_fp_calc(struct lwp *, struct vnode *, struct veriexec_file_entry *,
    184  1.32   elad     u_char *);
    185  1.12   elad int veriexec_fp_cmp(struct veriexec_fp_ops *, u_char *, u_char *);
    186  1.29   elad struct veriexec_table_entry *veriexec_tblfind(struct vnode *);
    187  1.29   elad struct veriexec_file_entry *veriexec_lookup(struct vnode *);
    188  1.29   elad int veriexec_hashadd(struct vnode *, struct veriexec_file_entry *);
    189  1.29   elad int veriexec_verify(struct lwp *, struct vnode *,
    190  1.30   elad     const u_char *, int, struct veriexec_file_entry **);
    191  1.32   elad int veriexec_page_verify(struct veriexec_file_entry *, struct vm_page *, size_t,
    192  1.32   elad     struct lwp *);
    193  1.27   elad int veriexec_removechk(struct lwp *, struct vnode *, const char *);
    194  1.33  blymn int veriexec_renamechk(struct vnode *, struct vnode *, const char *,
    195  1.33  blymn 		       const char *, struct lwp *);
    196   1.7  blymn void veriexec_init_fp_ops(void);
    197  1.34   elad void veriexec_report(const u_char *, const u_char *, struct lwp *, int);
    198  1.29   elad int veriexec_newtable(struct veriexec_sizing_params *, struct lwp *);
    199  1.27   elad int veriexec_load(struct veriexec_params *, struct lwp *);
    200  1.29   elad int veriexec_delete(struct veriexec_delete_params *, struct lwp *);
    201  1.29   elad int veriexec_query(struct veriexec_query_params *, struct lwp *);
    202  1.29   elad void veriexec_clear(void *, int);
    203   1.1  blymn 
    204  1.14   elad #endif /* _KERNEL */
    205   1.7  blymn 
    206  1.18   elad #endif /* !_SYS_VERIFIED_EXEC_H_ */
    207