diff --git a/public/dumpstate.te b/public/dumpstate.te
index 587156f9e5ecf7247ea25f3aaa68d2c2b7c19e6c..cfc2b3d31e84f1e3eb3d06e0a1ab44b8f95bf54d 100644
--- a/public/dumpstate.te
+++ b/public/dumpstate.te
@@ -186,6 +186,9 @@ set_prop(dumpstate, dumpstate_options_prop)
 # Read device's serial number from system properties
 get_prop(dumpstate, serialno_prop)
 
+# Read state of logging-related properties
+get_prop(dumpstate, device_logging_prop)
+
 # Access to /data/media.
 # This should be removed if sdcardfs is modified to alter the secontext for its
 # accesses to the underlying FS.
diff --git a/public/shell.te b/public/shell.te
index 88ffdc80624e09c7e7fc4f5a2ef1fe0a7bd212c7..9540cca029f75a68082361ed53d90d9dab114136 100644
--- a/public/shell.te
+++ b/public/shell.te
@@ -76,6 +76,9 @@ userdebug_or_eng(`
 # Read device's serial number from system properties
 get_prop(shell, serialno_prop)
 
+# Read state of logging-related properties
+get_prop(shell, device_logging_prop)
+
 # allow shell access to services
 allow shell servicemanager:service_manager list;
 # don't allow shell to access GateKeeper service