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 fd0f2efa2f261fa2bd0682e0d3c42a08c1a5f915..1fb896a7d48ef4e4cd0d8605a1aa7033a84952e7 100644
--- a/public/shell.te
+++ b/public/shell.te
@@ -75,6 +75,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