]> git.ipfire.org Git - people/stevee/selinux-policy.git/blob - policy/modules/apps/mozilla.te
Remove duplication declaration in mozilla policy
[people/stevee/selinux-policy.git] / policy / modules / apps / mozilla.te
1 policy_module(mozilla, 2.3.3)
2
3 ########################################
4 #
5 # Declarations
6 #
7
8 ## <desc>
9 ## <p>
10 ## Allow confined web browsers to read home directory content
11 ## </p>
12 ## </desc>
13 gen_tunable(mozilla_read_content, false)
14
15 type mozilla_t;
16 type mozilla_exec_t;
17 typealias mozilla_t alias { user_mozilla_t staff_mozilla_t sysadm_mozilla_t };
18 typealias mozilla_t alias { auditadm_mozilla_t secadm_mozilla_t };
19 application_domain(mozilla_t, mozilla_exec_t)
20 ubac_constrained(mozilla_t)
21
22 type mozilla_conf_t;
23 files_config_file(mozilla_conf_t)
24
25 type mozilla_home_t;
26 typealias mozilla_home_t alias { user_mozilla_home_t staff_mozilla_home_t sysadm_mozilla_home_t };
27 typealias mozilla_home_t alias { auditadm_mozilla_home_t secadm_mozilla_home_t };
28 files_poly_member(mozilla_home_t)
29 userdom_user_home_content(mozilla_home_t)
30
31 type mozilla_plugin_t;
32 type mozilla_plugin_exec_t;
33 application_domain(mozilla_plugin_t, mozilla_plugin_exec_t)
34 role system_r types mozilla_plugin_t;
35
36 type mozilla_plugin_tmp_t;
37 userdom_user_tmp_content(mozilla_plugin_tmp_t)
38 files_tmp_file(mozilla_plugin_tmp_t)
39 ubac_constrained(mozilla_plugin_tmp_t)
40
41 type mozilla_plugin_tmpfs_t;
42 userdom_user_tmpfs_content(mozilla_plugin_tmpfs_t)
43 files_tmpfs_file(mozilla_plugin_tmpfs_t)
44 ubac_constrained(mozilla_plugin_tmpfs_t)
45
46 type mozilla_tmp_t;
47 files_tmp_file(mozilla_tmp_t)
48 ubac_constrained(mozilla_tmp_t)
49
50 type mozilla_tmpfs_t;
51 typealias mozilla_tmpfs_t alias { user_mozilla_tmpfs_t staff_mozilla_tmpfs_t sysadm_mozilla_tmpfs_t };
52 typealias mozilla_tmpfs_t alias { auditadm_mozilla_tmpfs_t secadm_mozilla_tmpfs_t };
53 files_tmpfs_file(mozilla_tmpfs_t)
54 ubac_constrained(mozilla_tmpfs_t)
55
56 ########################################
57 #
58 # Local policy
59 #
60
61 allow mozilla_t self:capability { sys_nice setgid setuid };
62 allow mozilla_t self:process { sigkill signal setsched getsched setrlimit };
63 allow mozilla_t self:fifo_file rw_fifo_file_perms;
64 allow mozilla_t self:shm { unix_read unix_write read write destroy create };
65 allow mozilla_t self:sem create_sem_perms;
66 allow mozilla_t self:socket create_socket_perms;
67 allow mozilla_t self:unix_stream_socket { listen accept };
68 # Browse the web, connect to printer
69 allow mozilla_t self:tcp_socket create_socket_perms;
70 allow mozilla_t self:netlink_route_socket r_netlink_socket_perms;
71
72 # for bash - old mozilla binary
73 can_exec(mozilla_t, mozilla_exec_t)
74
75 # X access, Home files
76 manage_dirs_pattern(mozilla_t, mozilla_home_t, mozilla_home_t)
77 manage_files_pattern(mozilla_t, mozilla_home_t, mozilla_home_t)
78 manage_lnk_files_pattern(mozilla_t, mozilla_home_t, mozilla_home_t)
79 userdom_search_user_home_dirs(mozilla_t)
80 userdom_user_home_dir_filetrans(mozilla_t, mozilla_home_t, dir)
81
82 # Mozpluggerrc
83 allow mozilla_t mozilla_conf_t:file read_file_perms;
84
85 manage_files_pattern(mozilla_t, mozilla_tmp_t, mozilla_tmp_t)
86 manage_dirs_pattern(mozilla_t, mozilla_tmp_t, mozilla_tmp_t)
87 files_tmp_filetrans(mozilla_t, mozilla_tmp_t, { file dir })
88
89 manage_files_pattern(mozilla_t, mozilla_tmpfs_t, mozilla_tmpfs_t)
90 manage_lnk_files_pattern(mozilla_t, mozilla_tmpfs_t, mozilla_tmpfs_t)
91 manage_fifo_files_pattern(mozilla_t, mozilla_tmpfs_t, mozilla_tmpfs_t)
92 manage_sock_files_pattern(mozilla_t, mozilla_tmpfs_t, mozilla_tmpfs_t)
93 fs_tmpfs_filetrans(mozilla_t, mozilla_tmpfs_t, { file lnk_file sock_file fifo_file })
94
95 kernel_read_kernel_sysctls(mozilla_t)
96 kernel_read_network_state(mozilla_t)
97 # Access /proc, sysctl
98 kernel_read_system_state(mozilla_t)
99 kernel_read_net_sysctls(mozilla_t)
100
101 # Look for plugins
102 corecmd_list_bin(mozilla_t)
103 # for bash - old mozilla binary
104 corecmd_exec_shell(mozilla_t)
105 corecmd_exec_bin(mozilla_t)
106
107 # Browse the web, connect to printer
108 corenet_all_recvfrom_unlabeled(mozilla_t)
109 corenet_all_recvfrom_netlabel(mozilla_t)
110 corenet_tcp_sendrecv_generic_if(mozilla_t)
111 corenet_raw_sendrecv_generic_if(mozilla_t)
112 corenet_tcp_sendrecv_generic_node(mozilla_t)
113 corenet_raw_sendrecv_generic_node(mozilla_t)
114 corenet_tcp_sendrecv_http_port(mozilla_t)
115 corenet_tcp_sendrecv_http_cache_port(mozilla_t)
116 corenet_tcp_sendrecv_squid_port(mozilla_t)
117 corenet_tcp_connect_flash_port(mozilla_t)
118 corenet_tcp_sendrecv_ftp_port(mozilla_t)
119 corenet_tcp_sendrecv_ipp_port(mozilla_t)
120 corenet_tcp_connect_http_port(mozilla_t)
121 corenet_tcp_connect_http_cache_port(mozilla_t)
122 corenet_tcp_connect_squid_port(mozilla_t)
123 corenet_tcp_connect_ftp_port(mozilla_t)
124 corenet_tcp_connect_ipp_port(mozilla_t)
125 corenet_tcp_connect_generic_port(mozilla_t)
126 corenet_tcp_connect_soundd_port(mozilla_t)
127 corenet_sendrecv_http_client_packets(mozilla_t)
128 corenet_sendrecv_http_cache_client_packets(mozilla_t)
129 corenet_sendrecv_squid_client_packets(mozilla_t)
130 corenet_sendrecv_ftp_client_packets(mozilla_t)
131 corenet_sendrecv_ipp_client_packets(mozilla_t)
132 corenet_sendrecv_generic_client_packets(mozilla_t)
133 # Should not need other ports
134 corenet_dontaudit_tcp_sendrecv_generic_port(mozilla_t)
135 corenet_dontaudit_tcp_bind_generic_port(mozilla_t)
136 corenet_tcp_connect_speech_port(mozilla_t)
137
138 dev_read_urand(mozilla_t)
139 dev_read_rand(mozilla_t)
140 dev_write_sound(mozilla_t)
141 dev_read_sound(mozilla_t)
142 dev_dontaudit_rw_dri(mozilla_t)
143 dev_getattr_sysfs_dirs(mozilla_t)
144
145 domain_dontaudit_read_all_domains_state(mozilla_t)
146
147 files_read_etc_runtime_files(mozilla_t)
148 files_read_usr_files(mozilla_t)
149 files_read_etc_files(mozilla_t)
150 # /var/lib
151 files_read_var_lib_files(mozilla_t)
152 # interacting with gstreamer
153 files_read_var_files(mozilla_t)
154 files_read_var_symlinks(mozilla_t)
155 files_dontaudit_getattr_boot_dirs(mozilla_t)
156
157 fs_search_auto_mountpoints(mozilla_t)
158 fs_list_inotifyfs(mozilla_t)
159 fs_rw_tmpfs_files(mozilla_t)
160
161 term_dontaudit_getattr_pty_dirs(mozilla_t)
162
163 logging_send_syslog_msg(mozilla_t)
164
165 miscfiles_read_fonts(mozilla_t)
166 miscfiles_read_localization(mozilla_t)
167 miscfiles_dontaudit_setattr_fonts_dirs(mozilla_t)
168
169 # Browse the web, connect to printer
170 sysnet_dns_name_resolve(mozilla_t)
171
172 userdom_use_inherited_user_ptys(mozilla_t)
173
174 xserver_user_x_domain_template(mozilla, mozilla_t, mozilla_tmpfs_t)
175 xserver_dontaudit_read_xdm_tmp_files(mozilla_t)
176 xserver_dontaudit_getattr_xdm_tmp_sockets(mozilla_t)
177
178 tunable_policy(`allow_execmem',`
179 allow mozilla_t self:process { execmem execstack };
180 ')
181
182 tunable_policy(`use_nfs_home_dirs',`
183 fs_manage_nfs_dirs(mozilla_t)
184 fs_manage_nfs_files(mozilla_t)
185 fs_manage_nfs_symlinks(mozilla_t)
186 ')
187
188 tunable_policy(`use_samba_home_dirs',`
189 fs_manage_cifs_dirs(mozilla_t)
190 fs_manage_cifs_files(mozilla_t)
191 fs_manage_cifs_symlinks(mozilla_t)
192 ')
193
194 # Uploads, local html
195 tunable_policy(`mozilla_read_content && use_nfs_home_dirs',`
196 fs_list_auto_mountpoints(mozilla_t)
197 files_list_home(mozilla_t)
198 fs_read_nfs_files(mozilla_t)
199 fs_read_nfs_symlinks(mozilla_t)
200
201 ',`
202 files_dontaudit_list_home(mozilla_t)
203 fs_dontaudit_list_auto_mountpoints(mozilla_t)
204 fs_dontaudit_read_nfs_files(mozilla_t)
205 fs_dontaudit_list_nfs(mozilla_t)
206 ')
207
208 tunable_policy(`mozilla_read_content && use_samba_home_dirs',`
209 fs_list_auto_mountpoints(mozilla_t)
210 files_list_home(mozilla_t)
211 fs_read_cifs_files(mozilla_t)
212 fs_read_cifs_symlinks(mozilla_t)
213 ',`
214 files_dontaudit_list_home(mozilla_t)
215 fs_dontaudit_list_auto_mountpoints(mozilla_t)
216 fs_dontaudit_read_cifs_files(mozilla_t)
217 fs_dontaudit_list_cifs(mozilla_t)
218 ')
219
220 tunable_policy(`mozilla_read_content',`
221 userdom_list_user_tmp(mozilla_t)
222 userdom_read_user_tmp_files(mozilla_t)
223 userdom_read_user_tmp_symlinks(mozilla_t)
224 userdom_read_user_home_content_files(mozilla_t)
225 userdom_read_user_home_content_symlinks(mozilla_t)
226
227 ifndef(`enable_mls',`
228 fs_search_removable(mozilla_t)
229 fs_read_removable_files(mozilla_t)
230 fs_read_removable_symlinks(mozilla_t)
231 ')
232 ',`
233 files_dontaudit_list_tmp(mozilla_t)
234 files_dontaudit_list_home(mozilla_t)
235 fs_dontaudit_list_removable(mozilla_t)
236 fs_dontaudit_read_removable_files(mozilla_t)
237 userdom_dontaudit_list_user_tmp(mozilla_t)
238 userdom_dontaudit_read_user_tmp_files(mozilla_t)
239 userdom_dontaudit_list_user_home_dirs(mozilla_t)
240 userdom_dontaudit_read_user_home_content_files(mozilla_t)
241 ')
242
243 optional_policy(`
244 apache_read_user_scripts(mozilla_t)
245 apache_read_user_content(mozilla_t)
246 ')
247
248 optional_policy(`
249 automount_dontaudit_getattr_tmp_dirs(mozilla_t)
250 ')
251
252 optional_policy(`
253 cups_read_rw_config(mozilla_t)
254 cups_dbus_chat(mozilla_t)
255 ')
256
257 optional_policy(`
258 dbus_system_bus_client(mozilla_t)
259 dbus_session_bus_client(mozilla_t)
260
261 optional_policy(`
262 networkmanager_dbus_chat(mozilla_t)
263 ')
264 ')
265
266 optional_policy(`
267 gnome_stream_connect_gconf(mozilla_t)
268 gnome_manage_config(mozilla_t)
269 gnome_manage_gconf_home_files(mozilla_t)
270 ')
271
272 optional_policy(`
273 java_domtrans(mozilla_t)
274 ')
275
276 optional_policy(`
277 lpd_domtrans_lpr(mozilla_t)
278 ')
279
280 optional_policy(`
281 mplayer_domtrans(mozilla_t)
282 mplayer_read_user_home_files(mozilla_t)
283 ')
284
285 optional_policy(`
286 nscd_socket_use(mozilla_t)
287 ')
288
289 optional_policy(`
290 nsplugin_manage_rw(mozilla_t)
291 nsplugin_manage_home_files(mozilla_t)
292 ')
293
294 optional_policy(`
295 pulseaudio_exec(mozilla_t)
296 pulseaudio_stream_connect(mozilla_t)
297 pulseaudio_manage_home_files(mozilla_t)
298 ')
299
300 optional_policy(`
301 thunderbird_domtrans(mozilla_t)
302 ')
303
304 ########################################
305 #
306 # mozilla_plugin local policy
307 #
308
309 dontaudit mozilla_plugin_t self:capability { sys_ptrace };
310
311 allow mozilla_plugin_t self:process { setsched signal_perms execmem };
312 allow mozilla_plugin_t self:netlink_route_socket r_netlink_socket_perms;
313 allow mozilla_plugin_t self:tcp_socket create_stream_socket_perms;
314 allow mozilla_plugin_t self:udp_socket create_socket_perms;
315 allow mozilla_plugin_t self:netlink_kobject_uevent_socket create_socket_perms;
316
317 allow mozilla_plugin_t self:sem create_sem_perms;
318 allow mozilla_plugin_t self:shm create_shm_perms;
319 allow mozilla_plugin_t self:fifo_file manage_fifo_file_perms;
320 allow mozilla_plugin_t self:unix_dgram_socket sendto;
321 allow mozilla_plugin_t self:unix_stream_socket { connectto create_stream_socket_perms };
322
323 can_exec(mozilla_plugin_t, mozilla_home_t)
324 read_files_pattern(mozilla_plugin_t, mozilla_home_t, mozilla_home_t)
325
326 manage_dirs_pattern(mozilla_plugin_t, mozilla_plugin_tmp_t, mozilla_plugin_tmp_t)
327 manage_files_pattern(mozilla_plugin_t, mozilla_plugin_tmp_t, mozilla_plugin_tmp_t)
328 manage_fifo_files_pattern(mozilla_plugin_t, mozilla_plugin_tmp_t, mozilla_plugin_tmp_t)
329 manage_sock_files_pattern(mozilla_plugin_t, mozilla_plugin_tmp_t, mozilla_plugin_tmp_t)
330 files_tmp_filetrans(mozilla_plugin_t, mozilla_plugin_tmp_t, { dir file fifo_file sock_file })
331 userdom_user_tmp_filetrans(mozilla_plugin_t, mozilla_plugin_tmp_t, { dir file fifo_file sock_file })
332 can_exec(mozilla_plugin_t, mozilla_plugin_tmp_t)
333
334 manage_files_pattern(mozilla_plugin_t, mozilla_plugin_tmpfs_t, mozilla_plugin_tmpfs_t)
335 manage_lnk_files_pattern(mozilla_plugin_t, mozilla_plugin_tmpfs_t, mozilla_plugin_tmpfs_t)
336 manage_fifo_files_pattern(mozilla_plugin_t, mozilla_plugin_tmpfs_t, mozilla_plugin_tmpfs_t)
337 manage_sock_files_pattern(mozilla_plugin_t, mozilla_plugin_tmpfs_t, mozilla_plugin_tmpfs_t)
338 fs_tmpfs_filetrans(mozilla_plugin_t, mozilla_plugin_tmpfs_t, { file lnk_file sock_file fifo_file })
339
340 can_exec(mozilla_plugin_t, mozilla_exec_t)
341
342 kernel_read_kernel_sysctls(mozilla_plugin_t)
343 kernel_read_system_state(mozilla_plugin_t)
344 kernel_read_network_state(mozilla_plugin_t)
345 kernel_request_load_module(mozilla_plugin_t)
346
347 corecmd_exec_bin(mozilla_plugin_t)
348 corecmd_exec_shell(mozilla_plugin_t)
349
350 corenet_tcp_connect_generic_port(mozilla_plugin_t)
351 corenet_tcp_connect_flash_port(mozilla_plugin_t)
352 corenet_tcp_connect_streaming_port(mozilla_plugin_t)
353 corenet_tcp_connect_pulseaudio_port(mozilla_plugin_t)
354 corenet_tcp_connect_http_port(mozilla_plugin_t)
355 corenet_tcp_connect_http_cache_port(mozilla_plugin_t)
356 corenet_tcp_connect_squid_port(mozilla_plugin_t)
357 corenet_tcp_connect_ipp_port(mozilla_plugin_t)
358 corenet_tcp_connect_mmcc_port(mozilla_plugin_t)
359 corenet_tcp_connect_speech_port(mozilla_plugin_t)
360 corenet_tcp_connect_streaming_port(mozilla_plugin_t)
361 corenet_tcp_bind_generic_node(mozilla_plugin_t)
362 corenet_udp_bind_generic_node(mozilla_plugin_t)
363
364 dev_read_rand(mozilla_plugin_t)
365 dev_read_urand(mozilla_plugin_t)
366 dev_read_video_dev(mozilla_plugin_t)
367 dev_write_video_dev(mozilla_plugin_t)
368 dev_read_sysfs(mozilla_plugin_t)
369 dev_read_sound(mozilla_plugin_t)
370 dev_write_sound(mozilla_plugin_t)
371 # for nvidia driver
372 dev_rw_xserver_misc(mozilla_plugin_t)
373 dev_dontaudit_rw_dri(mozilla_plugin_t)
374
375 domain_use_interactive_fds(mozilla_plugin_t)
376 domain_dontaudit_read_all_domains_state(mozilla_plugin_t)
377
378 files_read_config_files(mozilla_plugin_t)
379 files_read_usr_files(mozilla_plugin_t)
380 files_list_mnt(mozilla_plugin_t)
381
382 fs_getattr_all_fs(mozilla_plugin_t)
383 fs_list_dos(mozilla_plugin_t)
384 fs_read_dos_files(mozilla_plugin_t)
385
386 application_dontaudit_signull(mozilla_plugin_t)
387
388 auth_use_nsswitch(mozilla_plugin_t)
389
390 logging_send_syslog_msg(mozilla_plugin_t)
391
392 miscfiles_read_localization(mozilla_plugin_t)
393 miscfiles_read_fonts(mozilla_plugin_t)
394 miscfiles_read_generic_certs(mozilla_plugin_t)
395 miscfiles_dontaudit_setattr_fonts_dirs(mozilla_plugin_t)
396 miscfiles_dontaudit_setattr_fonts_cache_dirs(mozilla_plugin_t)
397
398 sysnet_dns_name_resolve(mozilla_plugin_t)
399
400 term_getattr_all_ttys(mozilla_plugin_t)
401 term_getattr_all_ptys(mozilla_plugin_t)
402
403 userdom_rw_user_tmpfs_files(mozilla_plugin_t)
404 userdom_delete_user_tmpfs_files(mozilla_plugin_t)
405 userdom_dontaudit_use_user_terminals(mozilla_plugin_t)
406 userdom_manage_user_tmp_sockets(mozilla_plugin_t)
407 userdom_manage_user_tmp_dirs(mozilla_plugin_t)
408 userdom_read_user_tmp_files(mozilla_plugin_t)
409 userdom_read_user_tmp_symlinks(mozilla_plugin_t)
410 userdom_stream_connect(mozilla_plugin_t)
411 userdom_dontaudit_rw_user_tmp_pipes(mozilla_plugin_t)
412
413 userdom_read_user_home_content_files(mozilla_plugin_t)
414 userdom_read_user_home_content_symlinks(mozilla_plugin_t)
415 userdom_read_home_certs(mozilla_plugin_t)
416 userdom_dontaudit_write_home_certs(mozilla_plugin_t)
417
418 tunable_policy(`allow_execmem',`
419 allow mozilla_plugin_t self:process { execmem execstack };
420 ')
421
422 tunable_policy(`allow_execstack',`
423 allow mozilla_plugin_t self:process { execstack };
424 ')
425
426 tunable_policy(`use_nfs_home_dirs',`
427 fs_manage_nfs_dirs(mozilla_plugin_t)
428 fs_manage_nfs_files(mozilla_plugin_t)
429 fs_manage_nfs_symlinks(mozilla_plugin_t)
430 ')
431
432 tunable_policy(`use_samba_home_dirs',`
433 fs_manage_cifs_dirs(mozilla_plugin_t)
434 fs_manage_cifs_files(mozilla_plugin_t)
435 fs_manage_cifs_symlinks(mozilla_plugin_t)
436 ')
437
438 optional_policy(`
439 alsa_read_rw_config(mozilla_plugin_t)
440 alsa_read_home_files(mozilla_plugin_t)
441 ')
442
443 optional_policy(`
444 dbus_system_bus_client(mozilla_plugin_t)
445 dbus_session_bus_client(mozilla_plugin_t)
446 dbus_read_lib_files(mozilla_plugin_t)
447 ')
448
449 optional_policy(`
450 git_dontaudit_read_session_content_files(mozilla_plugin_t)
451 ')
452
453
454 optional_policy(`
455 gnome_manage_config(mozilla_plugin_t)
456 ')
457
458 optional_policy(`
459 java_exec(mozilla_plugin_t)
460 ')
461
462 optional_policy(`
463 mplayer_exec(mozilla_plugin_t)
464 mplayer_read_user_home_files(mozilla_plugin_t)
465 ')
466
467 optional_policy(`
468 nsplugin_domtrans(mozilla_plugin_t)
469 nsplugin_rw_exec(mozilla_plugin_t)
470 nsplugin_manage_home_dirs(mozilla_plugin_t)
471 nsplugin_manage_home_files(mozilla_plugin_t)
472 nsplugin_user_home_dir_filetrans(mozilla_plugin_t, dir)
473 nsplugin_user_home_filetrans(mozilla_plugin_t, file)
474 nsplugin_read_rw_files(mozilla_plugin_t);
475 nsplugin_signal(mozilla_plugin_t)
476 ')
477
478 optional_policy(`
479 pulseaudio_exec(mozilla_plugin_t)
480 pulseaudio_stream_connect(mozilla_plugin_t)
481 pulseaudio_setattr_home_dir(mozilla_plugin_t)
482 pulseaudio_manage_home_files(mozilla_plugin_t)
483 pulseaudio_manage_home_symlinks(mozilla_plugin_t)
484 ')
485
486 optional_policy(`
487 pcscd_stream_connect(mozilla_plugin_t)
488 ')
489
490 optional_policy(`
491 rtkit_scheduled(mozilla_plugin_t)
492 ')
493
494 optional_policy(`
495 udev_read_db(mozilla_plugin_t)
496 ')
497
498 optional_policy(`
499 xserver_read_xdm_pid(mozilla_plugin_t)
500 xserver_stream_connect(mozilla_plugin_t)
501 xserver_use_user_fonts(mozilla_plugin_t)
502 xserver_read_user_iceauth(mozilla_plugin_t)
503 xserver_read_user_xauth(mozilla_plugin_t)
504 xserver_append_xdm_home_files(mozilla_plugin_t);
505 ')
506