From 5f2cb74c7b34c45da2f380a0a1713c978e04218b Mon Sep 17 00:00:00 2001 From: Arthur Grisel-Davy Date: Fri, 14 Jul 2023 00:02:52 -0400 Subject: [PATCH] update --- DSD/qrs/biblio.bib | 20 +- DSD/qrs/images/2w_experiment.pdf | Bin 0 -> 7298 bytes DSD/qrs/images/2w_experiment.svg | 419 +++++++++++-------------------- DSD/qrs/main.tex | 18 +- 4 files changed, 169 insertions(+), 288 deletions(-) create mode 100644 DSD/qrs/images/2w_experiment.pdf diff --git a/DSD/qrs/biblio.bib b/DSD/qrs/biblio.bib index 80668b0..070813b 100644 --- a/DSD/qrs/biblio.bib +++ b/DSD/qrs/biblio.bib @@ -610,7 +610,25 @@ series = {CoDS COMAD 2020} } @misc{sleep_states, -title={Sleep States Description: }, +title={Sleep States Description}, url={https://learn.microsoft.com/en-us/windows-hardware/drivers/kernel/system-sleeping-states}, year={2023}, } + + +@misc{mitre_crypto, + title={Mitre ATT\&CK - T1496 Resource Hijacking}, + url = {https://attack.mitre.org/versions/v13/techniques/T1496/}, +} +@misc{mitre_botnet, + title={Mitre ATT\&CK - T1583.005 Acquire Infrastructure: Botnet}, + url = {https://attack.mitre.org/versions/v13/techniques/T1583/005/}, +} +@misc{mitre_prevent, + title={Mitre ATT\&CK - T1562.001 Impair Defenses: Disable or Modify Tools}, + url = {https://attack.mitre.org/versions/v13/techniques/T1562/001/}, +} +@misc{mitre_ransomware, + title={Mitre ATT\&CK - T1486 Data Encrypted for Impact}, + url = {https://attack.mitre.org/versions/v13/techniques/T1486/}, +} diff --git a/DSD/qrs/images/2w_experiment.pdf b/DSD/qrs/images/2w_experiment.pdf new file mode 100644 index 0000000000000000000000000000000000000000..fc0522aee9d288a7e09cce50c5cd460bd26503dc GIT binary patch literal 7298 zcma)>1zc3!w!oDfX#@qyAysMuhHmNZ7(jAp7`jV9T0j~^6ckiCq(e|bL>fuy28Tvc zcmu}w-Fv@x--_eAv#3eQa6-6Xcr2Bu;uAa`AQ*@=v&9n@27;6j zj#h5gKp0x2fd>QvK{7V>ZU`6jzrCp&LJDDyv_RmAisHGtxgbm(@VqjUb(N7cd<2cX zC28~DOm93s&MD@^AjkHxt`{ekAXaIJo%BHst)HHYD(tR~jnYw8c}_E_4v;xm{qZ2oKq{+&} zEJavmLnn=KwVwT=p3+PH8jGJu*vT9PG&<+E(OC#&@CDb8 z1{dnxD`#28x-K)2^3oguWw7rQER&tAec%7IG-jJ`~qKzrj$_c4z#=(uF5%wn|^a;h0~;w#JXMRlWXQQ_o}JZZ z%$sN;RNCF=94wUEG$RbCvj#D`cW=&U(@CB#4s8^brFjnvaqUAmw_lgWlO)5d=5_V3 z+$?b;TVpiyXxv|H%pV=C?f#fN`tDWq-KPiw$Q1N%5~AIoEemYM5fb#elY7!ZggE(e z<~5aKrV{$Xx7Au){3G)Xh`A$w(kY$^DHBJAOSsM|spqgSHqID8o4vD<>-r+T+*qcS zOgEnC0t5EDQChYw)7U+lrL_#N{WUy>-eyv&&a2mQF-sn2AvIwDhg?0tt2+CjA#i;Z z*4KprY$;Xoevpy2{VMHRSGjPjxNk7q)AY4eW@Dvzdij2qSJiTooi3l?`qxMDZ)?+< z%dr@`zI=u`6!(Chw~GY@9|oDvb67G)c|Ee8sTgX;H9X1(#>b>B#Z%qvPpT^Ltb)Do z%!xf6&~8haYTT$1#`1|K#JB#GQ?+%Y(-SAlP-dZGP|0qAn=5X(h_M&hJ6@KiFhzl# zs?aza+uz}LRVi7CcXo%ZDaB=u=R?%f2x_VgH9pYu_s_l#jNuiGe=p~61ENUNwf8cf z-Ou|<5|v7C*+_`$5BgYG`K9`UH`0K~3t6FG?U>I7_9Z7v=Xup<%^$gep{3HtL9m{^ z1i(>a5qjD}t&}YQ70iHtmD_ykl1M_jL<5kv0Lb~%1hO~D{$1} zK=laSObe`19$TND7X0K>gD)y0!|3|UTSwIgCts*HtlWdPquURk0r@e~3Z4DrI5Iab3 zNTkBqc&5?%BU>*l{!{L5T^z^S;lWbiA*Edb9>US$S6D-*E&}336ukIH$3X}b%73A7 zk>&mqFE1mcw3nN#rW-ms0)>Sy1n3XQ6pYRQLH8tp5Fp6h6n#g>OmxA|J4goU==L{l zOHME+7|8oO=AxC*-(Q{a{pkz{((-mf070r|wwi7ZmtFsg*8IO~f>eNz%K{l27gskR z&#&}B7o}ABUXWe2@9+oG4oyuiaMGq*+jw_g)}qk4!dp(!+L+6(7_85XWb0g%kHXgOaht z>kfq9{AiPAhdM3A^FX@exotAsIQmte!+;erTz~3vV8_m8Jc^uf%1iyqK7&QF^|g*< z+uXe55G7TLJeG`vf@D_hqB|}P(W}>}KDadOVj24039~mowu62NNM1JYj{v?EYet^> zvQef6`{x?A&n}#fQ&{>evuTtu`-dMtQJso>c+Vx6Fmhq%cA$iVK^>(!F59tQwsBmU zXdti|Iv-L|_E^EuydY2lS2UDo=?E@xUlOX0= zHtjMQyO>N19(cR)_*ekN0TG?x(AgME7umhT)$bJTc^ox(C5$n6U7PdI5=x$@%qE*P z>kJkYh6mk-*IL%(zFzY|*4Np`!0VSlU3jgOjpL)*q&WDt938P=%#$hkAZDm_D<995 z#qNi4#*o3(VMX})$0P@9jXsb1IdixIsLfD`Uspb+YShm#f8Q!%;C0u-$5J`z3R>l) zx@t6>sRi(Ca6$!ZI6VE6R{8va%;Bz)%gz1fm|V6Q*(XHqWBGM5A)ANwD6uEjUKp`b zpAIm@z&CFs9QHC5wpk|c<&Go-ZxdplH7IS|OE@BIlow1af3v=1Ywp%8F|t*Gn&?fH zec3OwsmIgGrS!#fkM&jl!6UJx>o%eR_a{VkSE;-A1oEmZtO{z2gls+a-$+fxsM3MY zZh2oR17ucb+~JEP0#1yM<0+0%n(UBiQXeerV;YYsv?C`Ls@iad98QQgxkhlGG_cC7 z7ry~1qkI;ERJLQc=QZ_6;x@(H3WV#eJ_s9h!VcC+~Gmu6&bRX2F0Gnasx(MoAILOKmW77;XI0zfD%IHkESO)BC63=Pm z5BIeqG@R?w-L^Y)m_fF-A|6`cY}k6!wt;JpVw*xwp+Y!iV>7;tT|&eW#`g3@rsq9LZ;fP35b@;jWoi{7#I~Cb! z&8G(ORr++Bb5VZ$kESUwLlY;+JT>2TnNoyqI5DI*H9xHPnzF5^y zO)GnqO?eRBS~lO0xl3u9GaJ{+S0i%p>Gb{h$rbo}aEeHkJ?%yI;tWS`?pIM%`rM&w z;pMW}>sbt@5u%pIA$Y=OjdGsR290XL2IJqD=fzyTs;4}nr>}pbG&bNWi`H05He*v> zang!LSzpA4{oULvdA@ggM((smS7u9Ua(rH@fD@a3n|?+c)5)N2HfGNMfx8=pCa(7kTCqpsMkSinp-s+MJld+3M}` zx$QfV-?g=!_0O30*rR2&v5@*74%qW`tv%<7u}d=SH|1Z;0EV#6S_TT3$3*jz8^eY< z&nfO>Dd7k@2f4g1SxSZMe;Hc;*wo{(rB+bzP~3_E9LI-~7(zzPc;v_13cb%&Ut8r6 z(y?qxJLPo$@hv;u07U^7nYGNxHcMZJA`J!ID`8(tvp!aEP{*dUr7I)bPw8HP7;+Pe ztuiI$m6sT^rQ+n6G})!E5F{d*+O-y`xksfQ!i^`l*PW+s5(qX}F@8^T6Xs}Ve5}W@ zcJoErjmFTps?9}diq*)9Lagkll2M?3Gh-B+9j}rZ)&9LN!|?#yVQSjavOIj|6BS0w zc_@dm+_C-Co|f|mx#~NW#{Lsqc^xQ$F0)TutOR0bwkE*lsH`a|n}7~Q^?q8|Q+!vR z*(2|~AEE>jehJSX`df(MF(rk5G6@Y$DNu`%sH6-bB*Drgz=G#FYq+51#^Zav8wihyplm33EF zW(eqMw$6X+p{-ZV`+WL1H8A=-SvZyoOrifpTv}I`b>t?i)EhuFA7kJsv2Wbm z8*oGZaw{v=zB6Qa4P4P9$PwXK$WlnaoN$YqpjpLSEw2*FVaqe1cZ{F{%fE`OSA4tu zp&OaWk#w4~0=l6xHJB#ndSBg%jqR)|VF#d^3=5n{RWy=+Wr#8sdf3$PAcU5GpUC7E zZ@$cxwUvEt<2Gh-+>zne;H@u!8)I5rs#Y1Y9R_?yjSXD~vRNAWT5)??3ZH=9**_BW zia-RLr;T|tz(ubhsfobpGZxMvkM-Oq`D3wXShK1`_Og%GoEv#Z-3CeTP~c=EV^n1+ zTv8D&8ybUUI#j+wu4mNRwz{+kZ)DQ)uNXql5Ubf)9G-sWl6hx!)c zPkoBEBwlx)Q;k>ACGQ7!O7`?W%TNF8K3`yR|5b(5k-Ox#p056>q>c^cUTg2kdw?)u z8)F~Eh5B3VtM%+swXKwI-jRm$Xx!6apWDmh%RTOJfCOnh2E8q3=+{i~WoJWFycLUL zzn|sVjzu$f8a9M8@$S)kc zvZ)n+gEOz(d)LEZB8czpv^sgUro7QpQGuN9ywz_wB1v)QHt=vs6rroSDyy$}fAtMs z$Ne_{VD{veUMcCgX4SXH?b_jO{q>%a%G@04B{)r8&6)~2QWfVEQ=cqDRa zK3ZaJXAd5&Nx=v!C@5G;79luvsBx${Z}hv{N4BL9X(9eiF{wJ$2V+|Y4qC!xw08?| z@^CCoqf+k9^cXa)2CWf#={NF;C1}lcYZdc7bsgMuRbynO6jdr zZUlh>#Z?|mbrsa-x?k@tESeDPx=!38ODrY~Ip}Wuk}~H~TmP_TbL(4wVu)-`U~bp29!agxAsso$ObhJo7gxEsLOUi<`YY z0 zO{vyQSJA;>ZnG3L$sTw5F;=o~9VZl{eUs=s&~M4KG)gXUvGc3$ffuf*cxas&!MWK{ zaCW}+c3aW1Sh|gvMJ{JMZ#F*ZF5#}o&UQJyzr8~MwBoIGu5Nn?t@DoeLi0Nb8Xms4 z7;hi-kz0GO>5n?MOi?|P5hevDY+^{)sR#3rMAJ*Mx!;uDw%g)}lNyj@+>n(&g$kdO zG0(=u#|V%!n36N!o}tApPc*GrikIqc*_{^GFYQYkHj1Qt#s&De1JD=_7A)}{#4`a?Z`*03eJ1Ltsi&AcYQu{0K~#mHv@-vPF4c1 zRJZtR{O2b1a_jkPm&(n{4f(T8h5o}f^@1n-|6r?8LYHF*m_+*E3=cFY-8#W@T{3@w zFj`b=ocM~b+~X*TFpk3$AHNq`YZ!i%(?Zt%iM$ElL$-{H#2AbR%S7v@;BFfvo88;EIS0&cA+!U|$!815z&)(WdP`S8* z;<`4?NI6v)JRWxby__H=pl|vqnRfdC|M%!+noMr7VES}2r}vq`nwHo)S<%o^W2xM* z<^WRdYyO=+UznzRRn++w>jZ2U4GTD)gVMO2+Nm%f%?hu`I*YAgi9*QIMx!f|{BAzX zjB;gL(8{d1Lh)IFsdy}U>Qf(egZI`P2U{k#2>XV9b_!l)->W%M{FUgf5;b;w_iT{f zGo}rSroxG$t;%h`$z=)Sr@Jpm!oZ)eOrKe=ioWVXMR3FQ5UCQ-Fsb z$cY{q8d?eP0U=->KA_R1lDwO#y^Xnqqm?}Z2)>j^xSAu-D2k8wXDb(jy~uMyx%n^4 z@0mKuA#ALy-7cHC6luC49CU#EKkHv)J= z+@u}R#~C(`RzQ%hjiZF4tIco0Wj$RR3pZ<5v_YZV7a;JzT|5FX;J^RCmy+N2|E$f+ zcOm12UYG_99OB7kzT0>vE%eVF_f$VJmXt*ip%{^^HHCi&Yb|HrYCa-0bAJ(wiy z;55q94m#AtE&nDb0{dobFp0sc35!l?)Z9m2%=4^Pzt>%ao0G1d#39gPHRXN$sQf}3 zU|e;-_=Y=D5=VT)o?;6V`~B5-cj5KxBrRjM$q|j7la(+!?}8#vlNQD8N2fINl(u&@ z$9+Yz9H>Kg{ndqsyH!)@5?T%SeLohu4^fQV7LI&i^~8IH2ofrN{0~v%H^@at4T!*BQR6qx{A*?CX&@{w z4fYFT^8H+j{~N;8wDCdvNZ{v`1sXtrXh;8C?ixrWdfooP${=}1OC%8O9(g9niho<4Z+_zRsJcq>GYN?bAr&c1+}R9ZOry+I3^E&-Bp|r**$D6tyw=st)Wyxq1^rBXU>F3Cg+*Fb2Je3WF&4(U literal 0 HcmV?d00001 diff --git a/DSD/qrs/images/2w_experiment.svg b/DSD/qrs/images/2w_experiment.svg index 115e9b4..5cff0e5 100644 --- a/DSD/qrs/images/2w_experiment.svg +++ b/DSD/qrs/images/2w_experiment.svg @@ -2,12 +2,12 @@ + transform="translate(-25.925243,-96.337988)"> 0 + y="105.39599">0 4 + y="105.39599">4 8 + y="105.39599">8 12 + y="105.39599">12 16 + y="105.39599">16 20 + y="105.39599">20 24 + y="105.39599">24 Work Hours + y="162.5531">Work Hours + style="fill:#ffe680;stroke-width:0.669568;stroke-linecap:round;stroke-linejoin:round" + d="m 480.05162,152.04333 78.4472,0.0495 v 1.44799 11.63273 l -78.4472,-0.0939 z" + sodipodi:nodetypes="cccccc" /> Maintenance + y="162.4709">Maintenance + d="m 103.9744,152.09723 113.62356,-0.0539 h 0.008 v 13.07631 l -113.63109,0.0539 z" + sodipodi:nodetypes="cccccc" /> Sleep + y="161.89915">Sleep Sleep + y="161.92709">Sleep Establishedtimetable Rules - 1 + style="font-size:12px;stroke-width:0.264583" + x="157.85608" + y="195.06633">1 1 - 1 + style="font-size:12px;stroke-width:0.264583" + x="441.99997" + y="195.06633">1 2 3 1: Device should be in "sleep" state.2: Exactly one "reboot" occurence and no "high" occurence.3: There should not be "high" states for more than 2m.4: No "reboot" occurence. - 4 + style="font-size:12px;stroke-width:0.264583" + x="309.46637" + y="195.10233">4 UTC + style="font-size:12px;stroke-width:0.264583" + x="25.745243" + y="105.08312" + id="tspan3242">Time 4 - 8 - 12 - 16 - 20 - 24 - EST - 4 - 0 + y="126.33556">0 Compressed + style="font-size:12px;stroke-width:0.264583" + x="25.745243" + y="126.0227" + id="tspan612">CompressedTime 4 + y="126.41959">4 1 + y="126.38358">1 2 + y="126.4136">2 3 + y="126.33556">3 diff --git a/DSD/qrs/main.tex b/DSD/qrs/main.tex index c793a48..48a9849 100644 --- a/DSD/qrs/main.tex +++ b/DSD/qrs/main.tex @@ -596,7 +596,7 @@ The scenario comprises 4 phases: \begin{figure} \centering \includegraphics[width=0.49\textwidth]{images/2w_experiment.pdf} -\caption{Overview of the scenario and rules for the Second case study.} +\caption{Overview of the scenario and rules for the second case study.} \label{fig:2w_experiment} \end{figure} @@ -622,25 +622,21 @@ The rules are formaly defined using the \gls{stl} syntax which is bespoke for de \begin{table*} \centering - \begin{tabular}{p{0.03\textwidth} | p{0.20\textwidth} | p{0.47\textwidth} | p{0.20\textwidth}} + \begin{tabular}{p{0.03\textwidth} | p{0.25\textwidth} | p{0.37\textwidth} | p{0.25\textwidth}} Rule & Description & STL Formula & Threat\\ \toprule - 1 & "SLEEP" state only & $R_1 := \square_{[0,1h]\cup [2h40,3h20]}(SLEEP=1)$ & Machine takeover, Botnet, Rogue Employee\\ - 2 & Exactly one occurence of "REBOOT" & $R_2 := \lozenge(REBOOT_{[t]}=1) \cup (\neg \square_{[,2h40]}(REBOOT=1)$ & \gls{apt}, Backdoors\\ - 3 & No "HIGH" state for more than 30s. & $R_3 := \square (HIGH_{[t_0]}=1 \rightarrow \lozenge_{[t_0,t_0+30s]}(HIGH_{[t]}=0))$ & CryptoMining Malware, Ransomware, BotNet\\ - 4 & No "REBOOT" occurence. & $R_4 := \neg \square_{[1h,2h40]}(REBOOT_{[t]}=1)$ & Malware Installation\\ + 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\\ \bottomrule \end{tabular} - \caption{Characteristics of the machines in the evaluation dataset.} + \caption{Security rules applied to the detected states of the machine. $s[t]$ represent the label at time $t$.} \label{tab:rules} \end{table*} -\agd{add MITRE references for each threat} -\agd{fix stl formulas to use labels and not states name} -\subsection{Dataset} - \subsection{Results} \section{Discussion}\label{sec:discussion}