diff --git a/public/dumpstate.te b/public/dumpstate.te
index 3322e14680372b06ec30c15d2973289ae422466a..15c61320b0118f8ff31d04074d08f6686e055ee9 100644
--- a/public/dumpstate.te
+++ b/public/dumpstate.te
@@ -185,6 +185,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