2016-10-02 05:47:01 +02:00
|
|
|
type gatekeeperd, domain;
|
2015-04-04 01:46:33 +02:00
|
|
|
type gatekeeperd_exec, exec_type, file_type;
|
|
|
|
|
|
|
|
# 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;
|
2016-09-10 01:27:17 +02:00
|
|
|
allow gatekeeperd ion_device:chr_file r_file_perms;
|
2015-04-04 01:46:33 +02:00
|
|
|
|
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
|
|
|
|
2016-02-12 20:21:06 +01:00
|
|
|
# For hardware properties retrieval
|
2016-03-09 18:13:11 +01:00
|
|
|
allow gatekeeperd hardware_properties_service:service_manager find;
|
2016-02-12 20:21:06 +01:00
|
|
|
|
2016-09-10 01:27:17 +02:00
|
|
|
r_dir_file(gatekeeperd, cgroup)
|
|
|
|
|
2015-04-04 01:46:33 +02:00
|
|
|
neverallow { domain -gatekeeperd } gatekeeper_service:service_manager add;
|