From a4b484a433a8705cfb3dc903530ae4d0225a5332 Mon Sep 17 00:00:00 2001
From: Arthur Grisel-Davy <agriseld@uwaterloo.ca>
Date: Fri, 21 Jul 2023 13:15:05 -0400
Subject: [PATCH] plop

---
 DSD/qrs/main.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DSD/qrs/main.tex b/DSD/qrs/main.tex
index 8c326db..2287590 100644
--- a/DSD/qrs/main.tex
+++ b/DSD/qrs/main.tex
@@ -633,7 +633,7 @@ The rules are formaly defined using the \gls{stl} syntax which is bespoke for de
         1 & "SLEEP" state only & $R_1 := \square_{[0,1h]\cup [2h40,3h20]}(s[t]=0)$ & Machine takeover, Botnet\cite{mitre_botnet}, Rogue Employee\\
         2 & Exactly one occurence of "REBOOT" & $R_2 := \lozenge(s[t]=3) \cup (\neg \square_{[,2h40]}(s[t]=3)$ & \gls{apt}\cite{mitre_prevent}, Backdoors\\
         3 & No "HIGH" state for more than 30s. & $R_3 :=  \square (s[t_0]=2 \rightarrow \lozenge_{[t_0,t_0+30s]}(s[t]=2))$ & CryptoMining Malware \cite{mitre_crypto}, Ransomware\cite{mitre_ransomware}, BotNet\cite{mitre_botnet}\\
-        4 & No "REBOOT" occurence. & $R_4 := \neg \square_{[1h,2h40]}(s[t]=3)$ & Malware Installation\\
+        4 & No "SLEEP" for more than 8m. & $R_4 := \square (s[t_0]=0 \rightarrow \lozenge_{[t_0,t_0+1h]}(s[t]=0))$ & System Malfunction\\
         \bottomrule
     \end{tabular}
     \label{tab:rules}