forked from OwlCyberDefense/refpolicy-contrib
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpolipo.if
141 lines (122 loc) · 3.1 KB
/
polipo.if
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
## <summary>Lightweight forwarding and caching proxy server.</summary>
########################################
## <summary>
## Role access for Polipo session.
## </summary>
## <param name="role">
## <summary>
## Role allowed access.
## </summary>
## </param>
## <param name="domain">
## <summary>
## User domain for the role.
## </summary>
## </param>
#
template(`polipo_role',`
gen_require(`
type polipo_session_t, polipo_exec_t, polipo_config_home_t;
type polipo_cache_home_t;
')
########################################
#
# Declarations
#
role $1 types polipo_session_t;
########################################
#
# Policy
#
allow $2 polipo_cache_home_t:dir { manage_dir_perms relabel_dir_perms };
allow $2 { polipo_cache_home_t polipo_config_home_t }:file { manage_file_perms relabel_file_perms };
userdom_user_home_dir_filetrans($2, polipo_config_home_t, file, ".forbidden")
userdom_user_home_dir_filetrans($2, polipo_config_home_t, file, ".polipo")
userdom_user_home_dir_filetrans($2, polipo_cache_home_t, dir, ".polipo-cache")
allow $2 polipo_session_t:process { ptrace signal_perms };
ps_process_pattern($2, polipo_session_t)
tunable_policy(`polipo_session_users',`
domtrans_pattern($2, polipo_exec_t, polipo_session_t)
',`
can_exec($2, polipo_exec_t)
')
')
########################################
## <summary>
## Execute Polipo in the Polipo
## system domain.
## </summary>
## <param name="domain">
## <summary>
## Domain allowed to transition.
## </summary>
## </param>
#
interface(`polipo_initrc_domtrans',`
gen_require(`
type polipo_initrc_exec_t;
')
init_labeled_script_domtrans($1, polipo_initrc_exec_t)
')
########################################
## <summary>
## Create specified objects in generic
## log directories with the polipo
## log file type.
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
## <param name="object_class">
## <summary>
## Class of the object being created.
## </summary>
## </param>
## <param name="name" optional="true">
## <summary>
## The name of the object being created.
## </summary>
## </param>
#
interface(`polipo_log_filetrans_log',`
gen_require(`
type polipo_log_t;
')
logging_log_filetrans($1, polipo_log_t, $2, $3)
')
########################################
## <summary>
## All of the rules required to
## administrate an polipo environment.
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
## <param name="role">
## <summary>
## Role allowed access.
## </summary>
## </param>
## <rolecap/>
#
interface(`polipo_admin',`
gen_require(`
type polipo_system_t, polipo_initrc_exec_t, polipo_cache_t;
type polipo_conf_t, polipo_log_t, polipo_var_run_t;
')
allow $1 polipo_system_t:process { ptrace signal_perms };
ps_process_pattern($1, polipo_system_t)
init_startstop_service($1, $2, polipo_t, polipo_initrc_exec_t)
files_search_var($1)
admin_pattern($1, polipo_cache_t)
files_search_etc($1)
admin_pattern($1, polipo_conf_t)
logging_search_logs($1)
admin_pattern($1, polipo_log_t)
files_search_pids($1)
admin_pattern($1, polipo_var_run_t)
')