2015-11-03 18:54:39 +01:00
|
|
|
type gatekeeperd, domain, domain_deprecated;
|
2015-04-04 01:46:33 +02:00
|
|
|
type gatekeeperd_exec, exec_type, file_type;
|
|
|
|
|
|
|
|
# gatekeeperd
|
|
|
|
init_daemon_domain(gatekeeperd)
|
2015-04-29 01:51:26 +02:00
|
|
|
binder_service(gatekeeperd)
|
2015-04-04 01:46:33 +02:00
|
|
|
binder_use(gatekeeperd)
|
|
|
|
allow gatekeeperd tee_device:chr_file rw_file_perms;
|
|
|
|
|
2015-04-09 04:52:19 +02:00
|
|
|
# need to find KeyStore and add self
|
2015-04-04 01:46:33 +02:00
|
|
|
allow gatekeeperd gatekeeper_service:service_manager { add find };
|
|
|
|
|
2015-04-09 04:52:19 +02:00
|
|
|
# Need to add auth tokens to KeyStore
|
2015-04-13 21:21:08 +02:00
|
|
|
use_keystore(gatekeeperd)
|
2015-04-04 01:46:33 +02:00
|
|
|
allow gatekeeperd keystore:keystore_key { add_auth };
|
|
|
|
|
2015-04-09 04:52:19 +02:00
|
|
|
# For permissions checking
|
|
|
|
allow gatekeeperd system_server:binder call;
|
|
|
|
allow gatekeeperd permission_service:service_manager find;
|
2015-08-05 02:42:22 +02:00
|
|
|
# For parent user ID lookup
|
|
|
|
allow gatekeeperd user_service:service_manager find;
|
2015-04-09 04:52:19 +02:00
|
|
|
|
2015-04-16 22:40:57 +02:00
|
|
|
# for SID file access
|
2015-04-18 02:56:31 +02:00
|
|
|
allow gatekeeperd gatekeeper_data_file:dir rw_dir_perms;
|
|
|
|
allow gatekeeperd gatekeeper_data_file:file create_file_perms;
|
2015-04-16 22:40:57 +02:00
|
|
|
|
2015-04-04 01:46:33 +02:00
|
|
|
neverallow { domain -gatekeeperd } gatekeeper_service:service_manager add;
|