diff --git a/public/dumpstate.te b/public/dumpstate.te
index c9b49218db5e94e91bf80af3f595ec6414a9a8fd..a6b27bea8e6da6f8bf524537893e6e0f745d851e 100644
--- a/public/dumpstate.te
+++ b/public/dumpstate.te
@@ -184,6 +184,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