From d21e643127e5a259a7b467e41fb4963f57e982a2 Mon Sep 17 00:00:00 2001 From: Manos Katsomallos Date: Mon, 26 Jul 2021 23:23:53 +0300 Subject: [PATCH 1/9] rslt: Dummy results --- rslt/bgt_cmp/Geolife.pdf | Bin 0 -> 18115 bytes rslt/bgt_cmp/T-drive.pdf | Bin 0 -> 18116 bytes 2 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 rslt/bgt_cmp/Geolife.pdf create mode 100644 rslt/bgt_cmp/T-drive.pdf diff --git a/rslt/bgt_cmp/Geolife.pdf b/rslt/bgt_cmp/Geolife.pdf new file mode 100644 index 0000000000000000000000000000000000000000..19d54829ffd6a1fab0e9ae34eeaaff14e1bc1b99 GIT binary patch literal 18115 zcmb_^2RK!K_;|=xijYw*86oa+agpqi8L~Im%Dir5Hmrm)laak;XOE2R>`f@4gosc{ ze&?dTDZk(2`9FU>r*rP-y!(C6=kvawd)~{cA}P%c<>4h^efAoZQ%M2^K|uB<)+EBh zAh3$D1v7yH+vAU{Gi~5CZ#=1gwI#H&sJnK)L`QNojyS>J|nBma_$TitnE#_Rn%4eGpj9 z(%8((&H}`@hpwe;VvRDzfcSTb|0fRgPX)y6?Cdd4ASh%{0trAGlpQdD+@m3bw!i5B z!fGm^1_Dc>oUKezsxkm~;FCJq*v`qp7>%+sb^WFM9z4JctcWtRG8VVL1xSyjjX=P7 zkOBx0FAUBDLGmN8@~U8QF~6**igL2Qi8ckyiM1D?{+>Cp7XHJQSh;=~U)stBFc%0c zZ3Ea-5@l*{2AE#~WoLo01VQ(F0!ZS7L8FXqNp8i}#L2rbl%4k7T;p=H0v~_7trgP} zpzIOmYx>R1*rHxGf;l$T>}u(b7fC11M~y2S;Q)=#RMZ+PEcAS28u zwk1l_(;hx(ix4z0>>lowR%0NR+3~1Z_0m7iMt!4NSDY+;X7-cyw_$XZ@J@UFFmG4c z2fen!o;$)P(*2oc8oA+g`rMbpK6(sCGk@tO7E+hj zcHrPY&DZYVsU+6lJ2XfW8~5;1|I25+La{duqd(d)*>8|MsF3dWNFM^3nvYUt2b>`t zd|<-k$=G=o&JD1 zz4{Ft*Rn)@U3^6;8pU>|eo`ovwsUTDNSKq@P3nP7QumzeDkGh=7FmO>6+}g4o`cgx zfknkc+fEH#c_>|LG9{njRpTnn9tha5|3g2kt~bMDwylHt`de#!O;uJV8|-6;jx0Gzu(vc5hWB@=$Q;-!bTzBrM8_ z#*>gsn>;kS)&^xXk2gu(a`bz=n%s2QTh7d2j*pgD zXLqt9NA-PvB8{WoaRzAMp9KuL#+qET1g*{-Pmy^3>=I7~|^_JH~w^e=1e&v+B&h0Ft+hU%8%jpT$L$xyL2OgVk;Z-af#&H)4P8f<#aW8iIiFv;4 zCwMKT)7&P~P?RwgYBgMb{`E1b4+)eTT3~$FL~p?5SoJ3b>~peDhq&Xbxh;ABy!YMC z*q)CpCZtxi3ubFM>ti-bHFmF873PMe3tr6i6Qk^7W8ON80vIxekJ61*woz^4f0<~Q zv_5+Vv6TJY%@1L;UkUcvfL*d!OmpySd$Mb@bt(6o%&0`l**J5oI za^hZfoio>wv|^uXm{ZZW36kA91}sKe5`U~N-8XanxjwjTZ)mW+78^J_OXx`>J2iv! z$hRY#5Uz$w#$Tz3din5OY$?a%8$f_X)?P=?@;TA7G4KG1BO~56;;P#c;j*62D8XUv!yIZ4u4x@ZS!*Qrdq=n@@b!m&ijUwDfUG}>9~uI zafw|5V(!dcva@oC*KU)!JE;N-0A?eM{h}-bd#13mwmYX%w(mF6G2_R2hm~TF(DuU@+lT?cwA*6JF_Jf4Sz`&yheMkh5z^ z=`wrloOG4$j)hZi-)9LH>_zs_#UB*ofYT%{nF7t9NiOwdhL?1P$KR(>wMHh7JX z!!WK6{5q;5Fu_W9WcZtF=SEELYa^a;2pI4*4d?%C*g0K`|p8vxi$ltV}$nBchnhuDOE3@Zc&H76<0$J zT8=4|Y>t}Ujwhh#4zvDl-=vVAuPpcFG-OqH@^(^42&z;#Y(_yo)H$9d!-)l1ZhiIc zC4fSo@aY!eT?+jGg`0^@I_>YR&V9R-)%9>l^~p!~w-M^(FJ;$R^ej13=@cHN3Z|_m zMLVhAM9O3*2vdK3uCDwNI;c?IqppOAIWKoJhi!CC{pPItrsue$(e~-*F_sn+k1S%s zUas^+C##KFUxwwtp-9k4v6T^oWdonqncA|p>xqhTt98hLJ~uNy&U`v~%qufFNH6k9 zyWo>hk+NyXqf2sZ0_GU4I!QVE0ToK(XRM9S6E)w&hP&9)%dNEegI8OMge7F=zjLE&I ztUlrLyUqb})SQ-Kfs<|5=i0cpA)05nEFX{>%w1i3op`PBWRa1W8a-k~DG#Qc$KTYE zjIZce-=Sv}|N5tJOt$XO8Jg->k#qG+E`l|{Cl;ET@SIoPu^dZ^14}9_;hy0agS<5_ za%&HA-v|qslmj?)Mo?cbd&a?YE1Ij*N%QIp1}xsdr!&<6VmN(JS+0~!Qe zXUL1}#MBg4VAo^Vqtf-UfYbM)Dgb5U+f&*q@%OD#FNK+W5P4|Ym(MQ`cbX_qDL z$+ec*NLTqdQ@3Xzl<*e2W;9{h3-%m<`@S^;G{(h#s~0X)rI+*ZF{0@>SS`)f!RaGsNd|^=U&lSo{0tA!rfjz1eDF)!}8UD>iOA+?wzB$K> zh&6umdlz^2@%xHaK#O?(L>HA3S2Sgs)DZW+%Vsw0eX$zu`A9~0Qh*&$@#ahXUGE0_ zX_krX)3a=jI%EM(h)tJuh;&|X+XeWssWw$1BUyHBQ_4?c-(gF zt2&mFIi4iTw#9bsEPMWwMXckWyg_C2lG~-+<^kA+>wUq7pj|R5^*52W+-A1lv9tym zrgKZc`Yeg(7NKS=V9_hreyg{gO# zyxUv1O7tcsYN~X-zE96(fIs6r{`}&0`Ocj7?H{GNTFW2HYv>=w#=6~hcOlvqdbjYI zulk1d0{out6#lTGVTQ-^ckZO9!Cdl<*9_vM^xsQ*vf3L5?s|XsWN7jBEIYsW;&eCl zsHoiFu&Z#!)XwV0<#c6F?ZJoRgx>?}PZ^|2i3XATw^cH*aep7jqH#3NEC`FdVzis8 z^>T5!Aj4U!(sJRtp@9#P{tKt#&v%P>WUh`^MevKL3@Fob7{31;>b3rHb-ShPg<)IL z1N$EK?3j3A1Z|;^3tj zjyju$-QyvswDaU+%j!|4y$H~}>$Sbn*x~YG!Ye|8N?B=5WsvgYDU&NrBTq6DJCgcz z-!)58edmyv1tcAKF;QDxRXN|yY7p2$LB4}0L0~Y1Edlonko{tCw=lt0Fu+s@`BfqA zmS5OGU6B6oF>Kv-v{DC&Es%cKIf&qn6L?}o63gmuDZVxigkNko?%P2qI6EEFK6}N2 z`mA6$ZL6KIZ}P2^jH|3F)HY!sb#oCzY&Fi~;Nmv7iH{BsUBvim+FphB;qk_v-&o6k zkm*BwK`*J}^s8GTXz_&~x5jdxnY>oBmmo)I&CF20au+~U-0raQ@Weq{aIhVs@}C9p z|5>yN2prTT1ki+uOmbNr%KDXjp!ixuWBSgGX3GmW=gH1rd18L*nSnKdHFq`U`4@GM zM@3DI6i;{}=$}&zUnI`t46EXhRrG-}HhF+p=I3iG4BqjU3t{}-%iB{LK4#|So5j(y z>Z?7M?~=a%`m2QgJ2-kCZ-lct1Q{yMAZRgw<2b|CXij*u{266_68ur+qiImclFX|M z4GcM_(o}|eZS6DrV`(Bs6};|0*Iiww4qz)h_q7=Dev8n?O~^6U$uqs`Cz6h_yiDFeN)fQilJ=&M<+Cdyg3rv1KQ*7;Qe)gJ%tDGIJ(x z-Fr;mIcc>@n=>Vc1a?x~3JMbaDqdOOeVyx;9cPzll8Xid??%}wZKYsSOxn{p^KiuF zOP{hj$6PmrdPoiAXkx1s#}Q=`Werk^InX4p4Ha)X!{lcL!zGC(xo6!6-%6t>TzN~V zGBQ3m&XH2tjXQmv%-USs@z+=QWN7X2Xqfy$vzXl>x?^`Dj$(dZIQ)R;5#jPh=b4Cn z-`9}vg>Z_A>USqpMv8sYm4|C<1q4H1CzRc_?d8m*0yI920wLIxa?+IL|Wk zRoFo(W~g?AXqHnG*DC6G99O))3A1TTdS<0pr>mV0@kqq1HRnq&-Lfya$>y+7N)o%v zDoca-zMK?JsVayv9Bymy57VFJd`3<}bUhQ(@TvPJVL=LXq$nfnM}c8ar^5%YuS?$s z6BE_H*|`+yL?QaBTpu6K;hPQpe510|t@Szv3rsRP#Pir~y`y*@`d8E|hKN0sU?P*)jBB9D^pT)=Bm5$}^26)fLMNYs zJ8@^*jM$B1l1!C^`TFoGsN-!eJY4OUUdE?BZmch<7mR$X>Svl=pcKUe_ta!?(I~vA ztx}QDJh~Iwr1%;qFG8D|(}zhnI;#FmWWebRz0P&fH-eQXPRKq!ALCaf`2=?}>#+fU zvi-Pw6IgpO_PgjqrWY4VSY181Alt{ksj%DHBkl;QZOLrEno`zZnlN~AOGd=x5Z$rc zn@7cfyl^iVR%H6%VyBB#ka^!WnR7`YFf!sPO&jl(#ycQ--U3 z2X}!}k$I6rzx<1S@W;Z9;4w}9j_{$xXIhvCH7WzC;`a5j(2TPjYYNSiHY+Aow!XGG z1CDu^69eWVaNXIi+V{*~TKqk460r3Pb{HJPlxa>F=L-cHJf#!{X;U-n-#=lIb^k1} z8RO4LU0UWwgR4U!Pv?6Q`c8A38MLh|ldpLF6vlDC^Fx^F{@2QWa}&YjH!e##6-sDF#jB>kja5jOMc#Q*t<2O4g)K<($EV??r#ff~l@aD&G)QN`*y?1p4 z8i)OcC}p#V78p6l?IUEq1f){fb_7kT1&=g(@bq1CIB|mz)yFJPg@@KE950$)dvKW^ zWl0&G$sCnBXFQYxK3lSaoLc){(dWwO=87QcTvK->xZ;mCn^O$4zK~11?eXNY{Y*27 z=ZHw$FmaH7fWGGp(ej6qDIOpVXf&C)l{#W`r+J*YN|`XPn+Zhq?CQ`2Pf{}@OQ>`` zBUjP-HsSP&HR&P7#ctIf$++-?>mv6xIrMQTur5-47tJ2AeUYK2hE(`@JJ<;AaH0PW zOC0klpSKIl&Y0U**6&_lu4kta%mOXl7 zn(W%wT9t7J^OCsRF&a+qYJg-^?0mzi4b4qE2}hHXtK)rlf4F@5C>$qxq0#Vrv~kbV zbI)QD>cX!^a-3robB&|8H}I&1&;BNRSY$ID@*MkwkHBqD9ZK~bG6BiqU%OT%Wwuzf9z8KkorYXZF61PT zs++9s@cGGdNJH)fE6(|V$R2sCOMGuu^LJ}7neLCatJPBByGg4~G2ByJ_sI1QOKENc z;&m#8ay{lN`kC4++!43_Ty|Hmcx96`LzwmSc_=Ylpd~Y%h|!mK{)P04W0@&QM=|DA zSYD2Ir#^CRM&p7(4xhs<=wJ6W=Xd-JA;(1yfXSN1b+Fy3_Uzm}hedDQAedcdt)rjT;&w z#Z^iVvDQ&jdN}f+wGd&*uyar{i8T>?@EcCYUg!Ab81$Qp+aC!_*_m||#g5e@qfX>J zHylpS$aP;VyK>K~vDWZR%Y%H+Tyw2R&-m2>Q=~kYY49puiw$uzKFL(M^`u*f3+1e6taUypDcQ~D}opnnn&Nh8c;}b#4 zgmXu~?}dj`;6v4_Zd=l!mEJDX{JaEqC`W|mxgPeLSEaIA5Fz;U9ygvdsnl!utFftk z1-`Cm>v;RneL?BvOrNE}%q`A{HhV?4CxMf4Y+qgH&R&dts+{4;=V|qn zt)kpl!}1@4jbc1ut^AV#d7(=Q1LW)qrd@7aHa~FW?%s%y8YDB>epKE=6;LbBs&l>i zt5rm$yr!M`>7~`_oMh#|g4^n4c;++$KfJEFa1gTw&gJB>WSFye28~au&vw!yJ+o|F z;daZ{tO`d?zm|#5n;hk%8;y6{$|K1yczP^%WV)t!(fJLYn>3GW7s(Hz$6xbrC)31y z{nxMXqZUk1#KDYR>c475Oa*7E_-WVq(w!H4A4=VOByo?cldH?VPZN1N_Bo8%?!(Y$ z?Pt@Rr?0ery{`3{UBXnJJRnvJu5hnkg3E^UoqGx=DuM@tz29qXEfw~^HQq#TUeTMqvV2yCzX0?@cEX9u=!&-O63zAF~3#{2cdsbt5g$fnfYBtoga! z#|_6(htb#LA~jS&A)bsgjf$Ehtl@9cCKNqms?yBmOwajONnM!|N$g{MT)#laR~2kG z*2y) z90rlLb->@7+*e|SRdkV7$9>omyg*zoHs)jI7WN3$&ws9zV}%zs*cP9jw$oZX)UZS| zNLGqhe>y6d1%*a_(uwqWLQO$K!_gFqzAnQcvbODwyFE2kF|O&peN1aso#GI~9krN) z{#DFLJrX;K3njx__LPe6c_~Lfi6_p`zLPJ2UmDdZYv4X`pGlwWhmRs{^lH!Chh&Ax z*ve-F3B$Q&2xlJ1T6>7Q(b5o8F=+5dlKuL!_EJgI1$#^bp%sZ9t2xQB0GtZ`0>&TY zF%+2#)$Nk=rCEBah}sO{v2BZIOA;uKcWZbPbrAPMv^i>l0{?4c=CW#)V-tjI;W9qW z%DJ7eIoArk2T|MO$1q_J3M5a1-eglpVk-2bW*oD$R*j=Jy}D|_{GN$7+if#m;r0&N+v`SWH^!tkeJG~gHHU-{Zu zCu^<=iQ?GZA*-T=-+kd1r%+L7`vc8=QYhxqcS%{DW7&6VB1&Yy7`ig1E8;V38cvNb zT!&fSs;re=e){zX4tgv6kVGAR)Qan`ln4%ksX|mBa6$^d^mLLr>2&M{lW1*pK$1Am zeH@DRxA)}4wLonQPqG>E$ao5HjAqlNsa2$i9^*(B;%HgX9s3NSMjjGdN39!>u!9*| zaQ%ro5Eu8IPKN|Fb7|h{^t! zJ-OIIvS){IK5_z!Jh&x#Sydh_0VNuLq2_QLa>XegBdDLcIi+Eg5i5)5MU-T7-Q+=? zvUJ!&I@p!>obQy_^^8qpAz9OKZl;?T;7P+N&1Utf_pZWnUwh|U+|1x&Hv7aZ$@h6xIJUV(_N==6*SUS z(Jn9&W$lj+ycuh3mrSsx`j7(`-V=J({egRl@zW}fVWWf@$b>LB$acut`9_ z>xRAG6H^4%HMnETYQK6dQNz2}Sg113HDWvk69G+HN;HE)9HGx z_*^D4ma)HE(751tZjRDfR`Gf5y5G`7o737!_tJ!d@ki62sBbi!k1L4%yzPYeDLi#M ze%@W;5R)G{w*|K7|J+aKzJ>($AjuY7eG}f$-%^G}pNZWm3q66)6}%XUx-V+a$2k5$VVALkYnltLh z4qa-S9^E1zQA7pgv|oOp8BmDErex;6w1?YC=n-aI=nEz6CZhY`@HDNYh9th;{Q-pS zDl$Myf1$DB#wi!-h$;m$272BNv+=UewDI=T&-7GNUslCUKlXCb(F{`_u=vs1_0yEb zDay}hiuj5qC-{AuZi#aS!#QX3ckowAaDxp}o~N@Zs-b9sk2%q`bW`xaYXKkebDr{E ze@+ces)^<{%hsm0^pJ{*9r!+;?zApw0nQ~*t@^2+rIUXpGD^wqUlReD(9vpjfrH_r z2z(uLN0bQo5<`smS%<}Z%USY~o$GayHIPRT`2C9%IwzPU^hq~yY7AM~&K9(N6%7d2 z3-uHM&F93r2phq+Grb45anm;Z?@&IZ*Pf+?A0pY2vpM9!EgGq7au0#3t!k6&t0>Em z&SdyCUjMG0d{ec6Ih6*^y0dBsNmQz^UPeTk`lWA$fjun|E-6%D6|;q`dbIITDJScw zKPr$3cYL;`I?gZJE?IlEUC1(HA*d1@vXgRr2?vfMyJ&TNHc;`bBIb6_v8T*oLprm>;hZxq<(VD_uTzkjPR8~$AP2I+A+62vKrW(?T z)CwteV&rJ2q``KROph85gBP0OB`K>D7f0;x>wboek20#`MTU|{zhaw8^%VK>=55(^T_Uvv^oM;ge<%AOE%O<*7jl*)RzgH?DwVyCnd z$+b!N(n9s>F9xt{>(IOzp=99#W?xi~G z1=~9%e$L90h3A?-J@jMY)NMdQ&fe1QeK5MB?Jd(Hi%Eb~G%#2|$zL)QWO*nQI9YVB z>Q#`!(@uo2+1H(vd2X6kyb#}*T)$Ol*sQ^;ZGE9dK`K+Zgq_~nFB5mr!)8R0J9mfl zHR`RbhJgp-_REeGTqk~ge@!81f^uh7b;mkBlOuHP5H*jQ9zqd_12ZP#5wr*oN+jW~ zltj81go8IH{4-pxu;MoT%A6+Ag}46MCUuT&4zdt&vfB#WP1GVXh20++LQfH&<#Qz9 zQ7$0niN|Z}4pV$#%kQeKh4*UKQDXcSW`ss#UB0&{M{6T7qDwfxxJS_Vox&62NJoF& zGmhSN?fzfW=T>m-cyvEI484e@^PrYuOis^uz~8(R%3m|Tj-SH>EjUESqh?LezrG#g zR<3fCfRZgB@TE_^NS<@#c|VQX;R7v6-;q3q+etbi4d<=id5a%NJ4 zp^rTcHv*=NyTeWiv``T6Zzp~lk|aw>SA&6?qGEe&iJ;c%zDSyn7Ic{b+HJw|;OyQ+uUsG0?^4`|2cw6JOgF|qU z?=U@&nvTKw57x8@RUtb`CbC7OFZdMk&Rb#nTveM-Q|8UeSp@~r32il~z;oX!DX79G zS91f?q}!I&%UGCMbxq33+i$oUpGU1F&CY$+al7YR8Q5+MZ9#Du1TxM`FqgcUQ3}%k zcIi4<&h*dLiDaw3&HyD2nsNV^sj>#+C#db3@?@^`8*pnj)r%D%pN6Hk2htn41Xu*b z&->s^7~!4-HJtns9ok6IC!q!Bf8cCRdvbY=$_+^<$l8F8-1BW zY?xa8^nK2|;5wCyfyf^AK2l_q_!8WH_X$Kk?zPmVQ%!B!a-iJ0DQf0=i zcZIwuT_Eo-Dd7dC>spUCwo>M;XMOqLfzM6vkx2$25LA&@kDqbnK_0{ zux`kNnJ@EG+sWE+`eG5~jn;m~Z3lCr$Jr-NRtVjw{oL{6ty%?n_Qk@)(l_P|?Vl+X z<|!y+Ns>2azTe{bw$q=#UOai*^iHtCAyInNL=_4<_#|Fd5;`dkB^!4qVN42GbAOMM z#2>MhpDG1mDK*h8bT?{1<5`&Et+`@| zuX)c&uGB3Sn<4VNx25wecYM%7Yct0c@Z_|lcEauIHGaqsF+J6Pr|G<1mFM_qm@r+N zo#+rPj+*qsAqTZUsJ7VxNyb(c3E!!@$|W~8qE*@NJAQqjI+M0RxnBCv5u*B**)rzk z`iy7k*>|UmDM(&CpkINktX-nxV2JU5av>?p(p;|8c46UU}3QLsru#hE&1Z(RN+q z5n77@F~N(Wiji?kf+O2c9Y^NJe3p&C`YQ8Q)vdw(MI)32U8fRIu71e%s?r;6v`?*S znqQq&klzXR8rno7&`I-+AEMPlKl2DJmc_M^$kXox4SoDvU)wn;yJ;p`-mN!>s}yqY ztL~K#@8Ho4wQ8$qw+pZP?Kf&od%yApJ#x;zyRgn@h2Qj}%Xe|@v;?aubNPfV1E}oRu3qAbi$4)G?|dP;hh9Tj ze$a(-K*RCLj8}mxQL5BLrXQNVIQWH(2b$U)x^{ERJ@Gcwl zEzQxjm;3R>+dow3W+!(aUBgogf(HMq6j1IRE!BeqMfabj0zwsO2L$TEHi;MLjuPYY zC`h*O+im*3@H2h_bn>YeU6jwF-@Qw`4C!vpAQ!vhmq6Ggd9Fn#(^-8Q(SDA8G^<@p z<}IRu$040PF0JB;zF)<)_UGju91Hb9NCxg7tdf42Ceck7w#&x7r8`$=mEshb~U)hjhr8^_Tvs;XJ} z>eeIPIKF-T_I=T`944AWLY9)f;U=dU)%+`%S`E}?Jo!z!vl-HYY7`3Z6=)BhxfxU~ zz#mE`euXx2>Fm%b(k+uOkao2_(b7)Ixh9^$p@n2rh+p8UP*AA9dBg|KC@+QAPBlg4 zHY)e+WO~B770$SiG787DCX~M?Xi9q{)G%7#wUWD{M8w#)#_2;VyrYOtd6T+6Q}$?` zBt7CSZ;-2uJIh0=s~pxpgo=AENhdYm|8|CGlGN;-U&8w>^6aygJBOI~sF^JcdT@$X zR6#y`3G4_0k#B^f=KpBZ3_8NRwc~t|5KkdAB$>P2WKOh2_J_^OPqMmSQKsLMcKjWM zKKak~@r$wxsP{V{x*poTVNUPbyyKHY8(<8H8on1mk~eqxK{;5#Ti)DaKF34I!#=_^ zN&6d3&hTsQp&urxw|SW#OSfnz`^hATKXtBPc4O`~>THlg<9*O2UOomM*fhKdCPe?0(pD zS6>#+RW1v=%09};R`ZgD$~#CaPoh#3!DOzoY#9*z94R^O9YnZ+?wShQQCk>J4Sz^4 zI!QNhh?qysYGJU0#p-1hc{@p9d+Gg|TG2GoJ0WY;*)fXCFV0D%>%YDK)q4Vua^cNF z9qNM8w61hL%5O?Ko6s581or|Hem8_T)9ABe-Y5Ncv}n54_A%AmEAD*JBH7w0FB8O! zlHLq?-h1^Vw~*mfK4>4T}?77yL^DUT4tZl@d9n1A+FSK1H(~KxV zofs=Nxkp8>UFb7q-@#I>d!ycGTerHoo8EL*P3~Va0WtjFJTGqSgxYP!11ngWpwPw` zD|q16^^Z zK!YCy1m10rvq6~yeS5o?Xe$d#42V|%1a?EA?LlCBJD_C^;{se^EYT?7+8pSCBLSOR zIRn>DR=0rvP|hej5E!+K$cF%d#Xx)jx+Dn5)4_5e;H3+&0tl=K5&%A`fq)J>@O2Q9 z9|SfAflWYQQxdQlfDF(Dfh~Y8Kj5|%a02e%0D)~lU|SFvAP%s1070R=ATZEP2Ph0k zdlLk92Hr*8Z^HYnFR<8wrLE9T7_3bIPxVau`Qs- zLEn&o)oz+#cH1to-GYD#_L>Iw{HSSVhOq>khJ9vLvFr4&S8)G)I>ekzu}z3b2w+GF zV+YwiLj#&&g~s0Dh5`G5*d9X*C&0OY`bW|DFku0A0iB^%reby$HYgATXpuC&wJRdv z5Fir4Y8aHQ1|aGmI{aZcu-0$U{?O#tbfgR72a=Zm4+qKrD-9UG00?^kZ;b-Yo_yGY zL_h!u;^X57L6J}p9QZ=AE37{ z1PS)c%Lga~(84PBOGqq_U)NZe-`7|ffCGCUd&ctLzxP|gT{_tNzwm%-tc<%fv2=k0 zn|H$a_Rd%XV4a4ggFORucWGhiKp|KJ;0E^iJ%H8Z_XjKrR;6El$BKnLumHe80^cXS zOX@e)o)B;l)-b!w0X|r=SfQ~%zj*#S1H%3miXRTJ=iiqL5FQJU9Rpf~fjJWx=SBYF zzDEm~;}BS!J&CYq5;!muVrdHihWK@0wfOBMtfT%ocBTIv5&zxT^&nR0U&n4V0P62X z3^4xZdDqg|G3@<6j(tWXSOI=1{P!9ADC~N0-xv&JsVy!*`eSNeScfR%k; zfW6fmcyx9tVHbGBz7RJ-K$!22Is;LSy&~Dm1rU2||C`*gH-Eny2nFpXD}OFy2UaoY zUX#8Ufb(n3{{2e>U{hnz?rU&hG1xCK=>HD($4dD}e)OMQe+1TlgIIg)3;W+7R?%M? zNZ8*57E^$&ypt;v)ej*!@2c9|8fy zsX6HP7&cqP{(7OxdoMZp~#Kk@Ze~$sv$vBf#?5$>JbiJ^>&j`fH3Iiu^}ke!hSG#(xN|0PLR_f(Ykn|MYJ- zUcP_fkU**P7aTBi{2fD381FxE5A37^71rOl{QvkI3iR>)0|!R{CEj1SaDjiHX&~MC z2bYf@_|ot~y+&t!Cwh0w$xqtw>`uW_Nmm Q@*$xJ5>{3zWoeTC0ax0V9RL6T literal 0 HcmV?d00001 diff --git a/rslt/bgt_cmp/T-drive.pdf b/rslt/bgt_cmp/T-drive.pdf new file mode 100644 index 0000000000000000000000000000000000000000..f04835b452420fea11c1bd49cc3d0c05969a841b GIT binary patch literal 18116 zcmb_^2RxNu_;^U!N+F|MJBqtpTx8G8Y@w`c#l^LfRS^l<$=-WYwyf+zwuG|EitLj7 z-i!J+{C*#w|L1@EyuIh1bDsUY=RD83?}JrEQko0O%|pbR`wo;-NdyH!KsH8}L_$I! zu!^A>${qv*dQ?GRbr)L{2rOafU}$Ay1`-w~LZMBt6ZwAwkh<+4qvl}ffCBOC14-MU z9YFB?wu+&H0}6u%A+TSGz$zFUV>OfmNEe_ZDGlI9-F5(h<*Wgk;svpO+Qz{i1cmH#AOUcLLIWMheH=0v8%J9Z zR#FKy5LgoBWMPa_l>w*&-_$XNXnR{j3<_=R@>BTz`2a1jBFe0s-Sj z@*_YzFgP~^$%nx5tAd4f_^CZrl)a53#u!j1R$qYl`|8AM_%~f*`TD7RX$vbrT_CWu z6`)T^l(CHopne4u+RVWm1l_j@z=^#B24!eXbUU^tR?+@l^J$-@?Mt@L$Z211w!FE_ zo?jm7Wn6(Nv^QY68ltEQV;%7nx$?eqZA3A6Ap5>!gvdsJ6*+CqmB1(*gR<{#wjD7| z+#o|n;IeSUb@7p~3D1c&nFv3*;b|2qEWq_M6Xi_Z7u@x~A9AHHg>O_NXU&ZvaS zt(_c>ej>ohrZ%_bc11*nPSK8qerI*HecSQ$Q|;U@XhP`I(8#Ks>6;ykE8j2GUg+f? zPqt@m5oe#8HMw(6RhZtAw@v5c%F5+$rZGiVDm4`X+I)}AAu?H?DufJ+bDmL2vjvll zbM5Zl)lWa0(RZI<=uMHX{S%>c(AIqZN5ayzb7z>QM(=MVMOo?lU6Wi4LvTz*OLgZ~ zK2gZan(juK61bNodUZ56g{o4DoxB;4CmeY(`NXhp_Vk4Kq9gIyq$O&nRkpHIkEji0 zQPJ|&!S z%6t;~UKPz`6;2-Ge*Z*DUQUoI+X?0lp37>FcU-e`6dcQf`2_Ks^inK@)r^CoCGP~K zF1AT;78WVEmlc*>$43M!jOLVUnvCELYY?$SP-vKmxs)aH>Eb&EtB@j!dtw(rm(_-& zsoeGCaW0CFb1l5q6!Qw96>DegJqbOhM zsD+q)^q+IPtY)dWF5EM%;z-@?Ozc{6Q-zLWtozw(-r?_}>GDL1!kF3%*&Ddu(1td= zBy-F~Jvg6A7CbyJ-3e0J1O=<-w}*d-ruWe%xIfm|r0(7%cFi&D ze$;fwc=qb~sk_IAM?6@qxKN`vMR#KhJM7X;N(ktt8=V>x8EGEIT4lpVK%3XJ&4(vy z7QlNVJ`t1XF;z3aKWts@y+SzlPK+Z{vd^-Z?b$5b5Ax^WVd;Cy?@ZLPBQ zE*2Ru@^Cf%8Yw#xB)0J+ofrB{6%cF3z9IisP>R0>g<*=@5c*u74AXkaRW+^(kK+|L ziH+M!H32!WHu4d}>!DQ3OhQ)NKR*2C+-1KXI_jQc?zM$wv?m^nGAUk>U$(sEJ?)4; z=}xS)PThx9vY`qCBWArmD=#E#gDobz`e(G6ib z20u!a=jnaJ(FVVWR`7HI%(KB`zrwRbP+XH(eY0D4@xD)rV*1UQWGfHQ=IffX4VBu* z3EHdhYx*x=oSDm9)J!n>h&L?A^mT4<1@$o4nfOkLjtaTlvmZCgen=5VacYz@j*b?X zKV{tGp0ZC2H?P9ts`|9b@rtFpeUjsSfe)r>)}So4Zh{lq@t*GM+ar-$yWeMwT)v8p zl{N|&Ep3Mw3;%bZU}xloQ4_)3-Sczn!#es5E`) zN6|t!7jWho`@|ZLYa!D6g&MUmSKJq|*uqd6yX2R4_XQ@8FZ%II$g+(L@NsN+e+}nf z_2M^NgiT2LO&)h_CVYFwPMT9W`@_I0dWXG9hv6lme*{ugY=U2G+OGYrnw_fq^_y9` z{lfU$;rwxw_Z}H#5Yp!n2sQKZ(bRgYo|^fSRvH7O~9KSl&&aJ$9tiHz-@t(^5?BL7mDI@vC}R@I~@ z(|jjhA@hYmJKMDXnXL!g7?&?_E<%ey)s^T)L`qHV=sXXc0?>1x%1z7Y$I~n~+_;`cCE02l)GrRPc7N>%sDe?6@yYMMOcly)cPaTMhC51&Rj|o z(UiM1|Kdt-IExZ_9EU(!-T-rnz?m?-iBrde^u5@uyre$3#^~X{4QC;b4ZD~pW16y( zT_o9}@Z|WJIIpZ+FPd5BOJu99p(gk3VQG$#?G*B)nPaawMU2^Z@g73<`)aoTT{x1k>>}o-MQSICCj$WcI_N{P*0CZ z$o=%E?@`%2Lp%lBr7%$QzJ$!16Y*v z`IIFMSvFcnO>Y^d z70u2U_3qb9Wwhs*T0hsVea5sI*JEBP4se-c^1R3D`)BGM!#4sP1u5H1##x9ar$R(p zEAbVf^&RRK@p`mQ*opga@9%I1vCUKQv`H;Zajs5nuosz(-rr|M8C~1R1q?OegYDB? z(2m*?EfkK#(Qj9dVW+;|STezizz6I33 zBUDyeZKniCZ|P6GuU^vE$&$Y$=H~Lu&DHHbupsGLizYBN)PJl^W2PetJmHF4z1M#J)x`7D&Bc z)+9$KC6r_W6ESZDE82z1BYG}Kjgm>hhWY#&_+6SzG5}&t$H8i8F1B<#cGny`etPE_ zMP{t3_nb!=jo{7tMJ%RbpnDT58?R%%VEJ32if7;biqT^GuC&A#xb5+!vaB7#=8vVJUXOpo>}dUAicF7)K~7Q^XX zeGhC7c#we{WP^K|2{wg+Ly^#*DdJxKh3(V@>Hq4(CT>T|b&%K$=~tqI2<#xm6C;pV zQvX1))z}wyvE8s|7op%}e@y3`h#A#6fiRj@w9td(+hhzYtSVGip>w)T z+nv!l+sDpgyftmFLVECcVlHf~7Cg%ICS=x2>Nx%Cb}&YK{`>8>dAUaK)NCZk5!zEz zRIgn55fz>t7H;l1NHY$$Lqz^P1O7j=Hh%s;B?$&3VI+}UQirl`k@uBc3vW!{z13{a zjB|nHg2+?TQ@J-RPgrtQJ3L!ccMB?RYNU9|9ZvU*V(=niCTD0BhpeJEl%dHD#4R@DuIK6;bACBD= zTchbo$MW1W1xfIr%Ag5Q@S@Bs<_7wlQ)wy#Z>()Hdt<00h7~*>KGR)Ur}ASfI=@wd z__%%2>W;X;Axb!E>WYB;p#wOqOa-D+$b(DaLuE>2N<~G);iG5Z!Tk`IaLTqm6?7R7 zM5-Cm7*QW_;#e{(N$-W9>Dh}4+s@83Oq)Fs_jQYIHyjH_bO%hZtM=8 zaCYrBAs{q=O(;fFK=~-QK}}}H=!0vw@ua3KHFR%j{(nxfOv6mb;w^T6SMSRN53Uwna);K9clBHmz5F;V@lgvto9&p$FY1)X4@?rYYqc7H}S z7B37Ik(CLLcxr{vrxmN7E}_ z7}v_qu9M)u}0{Rp!nxS^2ma^0Jg<1@WV4sX@nk5^In??!9g zFKu&E)}$)GAMgKGEY5gDj5cwWWok>vRw;Vm#SpY#o{Tl1io?t?P`uDq+BkU@*a|P)^IY z6WVsB#8<>Ac&4zj8g=!tD-p}ZyFnjUzq`EfI0o}iGC0KY*mJ$3SRVS9*DD5#J(gf3 zk=TrFpw9G`pm;A-n_c9nr>?q_#NBxvy3#H98xSx4b!ul1_1fbPu#sSp;Q zc_z+91^`Q*S48W#~rCu#8WH-_U&Z5Mkpc z5|VKFgt_UcVt?fqO3jK_h^7n|n+~o*`(o2#+g|zFUhrJeM&Mg5zK*bg#9VEMM>Q&a zsp2;Eve1lk9IFb=V^+&XRn`xzbNcM^9Z363h2gr>oi9Ezt+n{NJDy;6~gTA&?Fglm0_ev#f{b2u&D%MCj5mHQu;75F9t#ozQcd%j8De@)G&7#}6SK z*Sp_^7$0s`_L>@T#^$R+Oy!-T1?`x&WW-ymAm$|t>^=qHCr=wFTIt-w4aGzSw~)`; z$gdy@0#%HYtpb7r9k$9vs5Ks5b%=7G{1^yxLbAMhS6|Z^H;uc5q2y$+H2S*DP*)wC zdWa#hr_o0-B#e*u4?`+mL!$A-Nai;wzu&$02GQb5f1G1tw~X;QZ?KV!H`${;O+}Jd zFDDZ(7gaB#A``nFXr-KQ6|y8`AnNLH#_RI)ZH(eId#hwiR!Y*OPU)0!3EzY6vKeDt zljh^6`daV+`Q-6>7Aexl3UBUR=WiVJ88{=GMKI66Ibstov*wpdVciihrWQEV=*Hc1 z&6f1mNmLJ$JS84RyJ)0%V)fA#I+XdDs7$8F)EUEp9Pqj4%gFK7ZxuZ*40l`*M6XxX z?M{gJVoYWfLoJ!}Xm;G5Ua^^KCUPGVjvXWn@b%MopCVZL^n9Ef2m>08MsKGMS>0_O zVX9I-ncu|-qRhQIFv^|O%)k;NUC(f-czx&O#IhyvA=e=&^ojS`&=issX(krLnIh?nj z#QW<*?86JcIoy6Sii5^UkF{ox+L$1@w)H|~#MbnAtY@^Q{bUUgjEY@oIJKd*iI%W4 zdVY1J=iYbc&vQbtqRfpqzeO2#$DPlOPN)mJ8o_a%Rm>%p;(lLH3$KkMduT*6E%H43 zs5k#aX*>w!+@dhw^k&dv<%hsdbyfvw@UtO{HmPUego>EBTsl(cjdvkAaGF%#=Vx>J zPgtp+_^!%#vvFj3cUx%Qtmelt{A22;4$<3DV`CT}^be<$0-W-tD9QXs%5QbJ0v~S& zc}YEby*mGsG_(P5vOkg)N*zJ0l z?}aP*hO4KZ=4iJHtJ2-P<(H-QQuEeVmXo4vTMk#7&=j4wf+HR>QNGPag%$H()=tUM z(=`vH2ld7*_72F;i@m}-erdP0&NYR|+h?$U__+%&n@tkok2x7dp6&uhe2W0o6_uX# z!2vTja(_u7UKx{?moSxPs+c!AZ+e=M1Gz&%gKBD`v>+IYa;-c1jcPZ>)c3i)uT$%I zWynPWI=ft(o-n?5Ed{J*`FB|t{V+*aCC|J|%-i;nZWEsrYg7&=E*h)#GdC?iM6XAU z)M2nc{qc$lk_^Z>0KNVYW$8qY0in9l>MpO3EQd7YZlL0fH;5$2OI_kyvzqUn2BV4I zDD(?$6<$Xgb&A36lDZ(5yDX)74TyKC6w37uTbNw6X}BG3{rT+9K=H~ZY5Gvhi3?Cd zIDboKIswB2p4nRIWxFzCqK*=WSE2biUa$2XSXz%&8NTg(vwolbOY_wzp6qN{Ng4yq zjg*Ym2-ZCKjSoM@Coe2rt5zaTIDNI=gq%^8_ce^2Zd6rVCEcF)Hm+_C^Jw8X<%ePW z-IuO3J$q42xeUHW$H_x^_Dsay;)sAqFUnw+3 z%JUgBM0A}=sjcA^aaVwP#z&NvCAR41`!jN3XmO1);tJ`RHgK$|=*h0U_O0~!!9%pY z&F^eaZV&FTC$*lwlTeav{EXT=oQ4tSu6|Fgo4x;I)v7LQ;(_HioyG$Y`#c^$K=?y zTxQN)jEPfDoMeyfTK&jj%IkhwJ!QK%@719ET%bX;JFJy&%r8G=F`|f}qUWR8%&HvrwnllF> ztN%<+K1+rv`|E&_G4<)!bV&CsD;GF=>6%5+(CK$F@%dxJytKpdceeA13JT+nV|r#!KQlFO=@q@_s6H z?Uuwnu1>Bl`!P-U!`m;ROz2MoUvzROI8TeTZfR(LVV5wLC-;ldhAZ6fmAGWZN%n+5 zkM`vVO#RCPnK$Y%qpN*aLM1s(c)j%_N_lC+!E|_U=f!6r_EMY?!i-@<#n*%Z;6zPtoxY~ufPh=fPY$6!2vW}}KBis&X$0>d(4%Yk(J-1;uY&-mJM7V}BAlRK@s!>sEh&Ake+Nh#?bXA(E zobh?zDk+h1;lv(>C-w8Ryj6kdv93bP@z;10;a6TiUuammPyJLXqAKkserUk0>z^eH z;B<`5L^lSiq{Al?k-6vEa^JNYM+}09+dAMMjUFno!YVq6t7AWH3osLwi@o(Wxf2?M z>g79M%CXD?>u-xsPup!R8E9Cf?k6e5t3MqX$b!NkKVOgVeo93_P0i61g3*wn7hc`* z!rd7kuNcvC-8rT`txj=>;*OfkLH|nTq=LlAaG@l4OYTzf-7n?n#_+`H+jk52@k=9L z%ieJ9d&sCy^4(jJCTgX7=2No5SWIQ^iG;yC6ND2tWVJom)nIXeu>{orJ;`Q$NoVnS zB(se}!$}JwJyuhqV}3Xle1#0($)hPU=d0T#XG^p6R1q&Sgx>C$gDshp))QOdXFM^MvggzJ}Q(v4SJtV72!~!A30^0 zrM+Spx#`jQ0?g;0=-6(Z@e-H4RQ$%EMWU)sbupKfP9X6mlEq-YQ_|K#H+?Qx7fHN- z#Ld@0VAnnNg!9E3PQj(Q&C8Vf+X{$cirB#6tZ#RR#6Fux3{iZT=sZoUI^jOW=36YP zOMQ<<()!*r-q`!EyUF00XPaEh^>Dcj{njXCyQJ)9o?3A{yBCjiC^pJ?e&WFej*N3| zbTqitF1SRx#R={dn2KQXJ0cgwn%g}TsrXtgta7hLz4utNfM_)#;izd|B745kWE zfxu5v_@t*3%}A$X512$>MENC&b3eqPX#a3uPFx$*M*lRMKA(iU5XWFTU7AWoir@*3 zWD$QIMRonQgb{C;Z_7m_X+Y#&fod2gmiu*{q{Z!~=8L5XDwJrPWKgxa7#rjA^vt$( zkHqH5C*gDshwymR@cW-LxkFU;znsa%6p`c}Lixx6Eb`AI(JQL*7zrrBNUfUfafpb0 zyn}##>gKqnK}L)$o(Dmam4?xyI%Vn5`E;-g&-n-AVj3BnhJv!jVO)%k%} z3>qX%K}LnZ0oDT^SFFbk-sNV9uit$0Eir|EU6U)O?8TPHA{D%Am4!0%LR0xL>n19^ zSR<#lEuKzzHhMwq!A*yWcv@YLW$!B_hB7wy3LEEr&d;22l2v^6V%=wPw9S5%%(XP3 za3pBrGu5qz3$cYUUv}&fKZM3T<7ZtZ4pI4$V_V>e{`d2Au4_o(43cEtamjV|eP!DB|+P`g45$Ucy`CxU*BhXZ=%dn!&DemPpjNBbkU9ra(Vw65- zHnRokQ2K^uUcAE|hPH7dB}G0`SUb_ii{av%r3pJuMnzq5$smBmyj*3KJSq%x?cpF> zQqJ4cX+!op4Ug{KQAy^iFZThFQ3*4ijvC6spnv)! zLIsCrCm5`#|cHWIKdy&be}tA(4TiQorJ$qg5TI6=8l_A zQ4PWH&*enDpdE+%U-O&8&xzyFct!H9X4Zoe*I2F^R7TJ=Lc z>w1AmM5NN4e^mrTLPyKh`TukuMd0U{yP^cZj~HTvxgBP+E$7IGb~WlGYal@o_`{17 z*GU;A^ocidYHqT!ohxkH67>ty3vm|)&E~{73mL$6GQIkDaMLz?@1A)~r!!3hKZLU* zM{~$Ok7%T>$vpiA+!d7MwQUGl}%c0u!u`G87r@NUZSMI1Pa zB^$r)bvF;hLg1 zxHfjLQ&~BMwR9VIXcDw?jWwkcsT5M`#KgdJ zls!FpY19Fta7I}Vx4#O{TkMohBDoF`Z(4|6{Y5`^9o-l5m=A*t4 zrv-=tfu#g*sk(tdl!=UR!L{`Idg0FQa~~&V$)fYkpC9|MaOyT7A?I%Eym>Udtm7rq zBI}RXoB+Vs_Kq)d`3Iy z>LFqtH9UkO5Pz(gh#+V&9+W`BRVj&hApi$&M(9VFTv3H5-SUhU0rLmnY@<56Hd|SU zIEkkMR}+=6Oi|YyeaI=obG&vZxRnbDx#RKLxzcAz$f){RPvAvrzc5nuCe z2w%W|N3=|OS#HU0!lKEz?VK%n>=I3{c!@d%L`hRzAJeQ_caM! zl#l|2;R6O87nj{z%ja+Vlrs_E7?|sBxaBu)*cEz;zlGui-%jG^0ZEdSbTt^LDKe(p zngD94{s2imXGUw@24dIp9d7zT8%VYf92)U^gVHVL98+>mYVy`PTHpsi>C7n z4&!(!+1Hd6#=UlQDn8VB?Bblb$a|QaM-9i|e1GP&2vtF}BqPZJ@&Wi1;qC_^x;#~@ z&*P@e%2|blQ3-7|DF5?cD=8>L$5!(E)1=#$)XP|ySaprc%G+17za~s)q9jNr4ka0JC1ObOTXp@2lf)OkU63jTVJS7zEpjzzKo!tD4FHIK-9Ng@TEE*a%i+ zzwP?;fa;9e`sLoxg$xnYw@jBYE!Ah_rf1(9H>4n{eMGkmSzf(N?L}}IT{bsL+NJs= zjNq1c-AxUWNYPiWLG2chD-r!|h8H96OuSyk z<@VA3TTl%b~&-AGRo>Az|k#Ow=zv#e)5XFetMS-E6IJ=?Qx86$zV11QYi|W?E z-r}J%g`KAoP%b{m^{UcaZ8UKfHO;TiDah{zdJJr05SXOd#!pddAz!!!7s_JWh~(*Z z0|w^4)W3K=Cc9}OTHd8MgR2yLe@j>7(G zK5F0y{re;-NS>?_LLj*rYs7u3O@f{-fnB3t>dvn9Np|bXdo4D{mhR!AwFRorZ)n@&?%zTf#wpQhc@DUU)If@HnA;@9Vy9N#%;)_i5qr!D5Q zn~qF!xUF_tp!>f2|0nosIg#yyOqlJ2K zAnE=+RY0gB(SW1Q?+|%_?kX`X4TEHhzIxL2gq`)_r*)*IR+f_B&YnyHkyJ}e6;3u&FbmYQV6^exz(u{2BLS}w9nTvbaYDVas& z(@tW|1O90Sfse_r{8IVku1wP+_@d6 zS-|Zjp93k}J2I1ddn>qT-@fFl^d_Ke;aEAlc(Lb6+oP+)O^xfViBqa;u$RnJecH`t zn(ka3LxZrWoELhbmwT=kFYj*Lm~?g9!6mnKw?D)zM~-v<3c-Q(!>&=3WIKl_yw1KN zwIC~lrgD5o-)!-q$@NV3XMr}j zy~H&qshS^U)hjhr8^+QtsH#~!(5*+jxBKw!!^h$YIfp0?3E4C34UU{9l(Vm3YBf;j zk>vO3P9{h*%3&z{4S##!lw&|OKVJxmxCl+e;<}!h4tyCVOWx7MV6wbO1GYG}ACX|0X(UkUHuwl5qb2)EW ziGZPJmD8I>Xjc)F@;-Hasw`-oC_VfGPk@VzE6Zcbs~nc!1xvawOD8oy{CbvPjM!w- zC*k8ZdGFu{IGL;6 zXhyU}_Pf=~&$7B(DC2KQyS{dUpM9r$_(a+H)q8CbosX^GGo^QK-u2F*@iT-(4&L`8 z%AdLNs2r@|C2wjro8u7l zDksP~x2`Qr@MAFNO71%0547jv`iU=<3I&Jg=cpku@=x_h1qzbgh3vi2A=6rB-H9ho zGX3LH5-wD-bb+1yX?>wU*W>Pc`m*p#<+8A=?8BUFH7{8xy#loJB`QS`jHW6}=6-?C zkdh-_0Vg*wo#UaqYV(7sVUOuV$7uTwVe_a_Ee!T&vU){D9xVwRFMT}wLNrbEZt!Y# zcC_MB?RklG{SObfyhicP%)g(nLoq8&=t|e4e8#1-Pdecm;W9JgcR>g<4ZbMmf7YL* z!O*t0zg5i>apjE?&elnJnILA6^nSqo{;Q{XMf9gryGw8_I^$VhN~M>0K20ERX?3cS z(I)u8eY^RVw#x?M!7D1xYJYg!eYLRmm`A;ZPnaBTDtDS?N;9{$e+<6(*r9WtJj$*kU}OPVS(#P6`cFn_+A1goKE| zk`|_>C~O%VP`joJg2O;ype)W9sPKb;z8xYtA z4b-eTI0G#Qa|{Y-n*v2}L|{`3C!lR_aU1v#<%B|mz^FYyUIYj%2I2+4B|$)(4weG} zFI|8YKww1>Kk!uz1eDl;H9$x{5ZDj|HUfc-iNGcRFn|{XHUrB1fME;Z28`bVfvrGb zYY-Sf4v@D6L7_Y#Fi=hh2n=xR2m(6+@1h=5;r)^q*zCa478rX6tWE&sfw3AB->>uI zLh$f_xZn^T5EKr9fsp(VY?U8&f+Wh`7-M1UV1oexME0utu-%G=4j4d0phA!v0>Q5B zz`tKD093*7fDR1EFTqNN)_@#;+J*?M=4j-wS9ggm7X(zWUp2UIM=c8z2Xnw^*k@K1 zyHEdo1^4%-L(JY7TZM>(0E(0_w3XdgG$0w4Y3v9W3^)(O78#n^1I7i!KZ?YMF$YKgWN~2XJ8V>|Fr8Jso0+VJ|*lS;Jm?-+_WxK7cXocL10O0fFrGV-fNL4D8JX z#`oY3=KX>@z<~rjd#?|RAHa9O1QGVm!wU!m;KB;`lSwR%pKa`%Uu`T8z=a*h-m&x# z#(oL7hX*_U6Aox&dECQ^#S2{6xD&>^f5$2SYcwn#>>a?nhYO1b3c&&Z1K8_V2Ue0_ zU$7upk$&18%NF*+P5>?<_yOuYRKKA1nSg_^irFI$(7~d`GL4<|ljhGm!0a!k_}~C} zz5~7h=CSj!eL#&cux0}NJjkEa_i+Jh90Cio&k^=c1P4|^EN*^45kD`i6u*pwHPmm{ z9{0aI;=h4C3u2l6dF^=vApV}m0R6w;_cV>|!;b%U9S|bIGVoL2zwg*bVb6jG#`rn@ zlkU&^LH{pr_&IOy4k+eO8b6H;-2W>d`2EO03!=9mHI-EUcd_I}X>c)0~ED*Js_Aou|_YruuD zeMG?i1wWu>0|MTX+rxt0R`<^90ccwg&jF$THe;SWYD9nR$p>UHAi$;fkl2HG4#@8B z!8`|~vD-4w0r7*K{(u2sXFp(Ie>Vpnojpw04IXj8gd+%W^Sxdtz^kz>qWxF^u}}8D z#T`5N>)k*oXfIg#eH;5@7lZCs>5Bm{Klkike`)}1YzW$W4Gt^@`#BBzzfb#Zr~EBG z`j4;Q9P7VMtUeBy{jU=%=uZhGY#f2j6d)^aVSvfzqyP*81A-VBFO;8$9}c+$fwMy(>>Na33G6%|%D4!G7PeM44ptUM zASXCC4>#;G$lSrf)?NS%w*EE5ZG$lbfPm1>#L*b|O9H<`*_xPwj0}x$0U^Ty29DqK zavOs(B?49|ULs(DJ@|ll5eUFfO+ml z#rpo=eTYNm0ZY`M^MG%_dii%B90(Kt>VxwF>+xTG5E$eid~jY~z&o*@|M&w|x4&Vb zJp4c)_}4rh*daQAV9ospJ_xWy{EZI+$A)Qt&EtUr%lY4ZFkrd;yN?IE%3(jhc!u!s z^8L*p1Ofe5e+VAz%JnBKf}j5%y1cM|Yy@Z?2>1Vj<>d$7dibl44~qOpUOrylf8^ym z1ePE6j}Jlkd9aVzpF9IB|3epv4L<*xhs0JS{M`q~#^`_ILmr|(B=TRMguwpM0TjaX zuWvy3fR|JLqyYuC?!S44LSg^d14v(Z|DA{Y$9JK?%JH{Op#Xb->mE2s=li#h?;o2( zfjYi_=E1Qs%wKZA`Tu>UfpF&^SYAHhm!@B^4j4lVD->q$ug%DzO@Vy`Fcx-$R<*Ig kE~k5KHH$kaU@_W1iZsMH>@81FUL=&4h?P}JS(@m70C}vMoB#j- literal 0 HcmV?d00001 From 3faee054ac9bd0aed6898b0fa6461a6d5eab71eb Mon Sep 17 00:00:00 2001 From: Manos Date: Mon, 26 Jul 2021 23:09:06 +0200 Subject: [PATCH 2/9] bgt_cmp: First results --- rslt/bgt_cmp/Geolife.pdf | Bin 18115 -> 18115 bytes rslt/bgt_cmp/T-drive.pdf | Bin 18116 -> 18111 bytes 2 files changed, 0 insertions(+), 0 deletions(-) diff --git a/rslt/bgt_cmp/Geolife.pdf b/rslt/bgt_cmp/Geolife.pdf index 19d54829ffd6a1fab0e9ae34eeaaff14e1bc1b99..91325b0c6cfb3884d351099e923029ed2cdd8570 100644 GIT binary patch delta 3241 zcmYk4dpy(oAIFbsIqcvhlH^jzb;xCMi4@5-xh=OyL}H;vR{9o|a8kK5W{kPtW+!G$ zj$CHB%r%!r*^p~4L$v%Rb$;j1&*S}mzdp~`>-}ze&eimstD>C?=(s)Fa-ex}3pVa6 zshPg`0(;roHAt4b)tu=u_2vTMcv`NP`Ri@=>O;NWa+DO-0W_=VG}>C-5U>iRd;V53 zy1X!+tR3q{r)3!)s=jXl(2pvguGPt9SQSS(2=GT`33R!4Cm6zMTA>^JH&tn?)?=K<&Npt5khH3?|1w(Q-ZQHbB zTJ~7?vN~Exa&urx@ ziQ)ljLxY!#<;A>Uh5M#%Xd;I!4{XA{P5t=mo6FkSYCW;N_asVEysPH?P8PmSMZz8( zUsYAmv$t>q0u{6`LEED`GBBC6fqoIxsHoEd$(ztIYa{vz4!SkD&%qUY!(d(8$^IQ) zN%H_S3Udv_`p`~~;pKffXQ^B!EQ*xsl}WwqQebof+)fg%7ZpyF%09x2@5!+IGuaK? z0y5W4Qz}_-T)uAE4WG_2)A2$|g`7)v!v=yI&zA$XAQqdW#-m8mF?Wp-B}zujm1-yX z} zc8Vm0DX(`mB;JHvk_FF@lIqihg^mfi(+-VzeR(veC_a^p%#un~R$g>my>4$4VXW(G z0jyr0lxQn+w43f7DfZwBtIpAGiU>KMW$FL-UD10|q(fGD1qCKP;OVWTdf`I^>ui~d zRW5Nx=kNHN{WegT^KZ}m4{W9+y2Z7cLSyll4E&=&^Kp;bC^$tDA0As7NPk^|H~BFv zLeLxbH>YM(;E{8|+q5Lco!W(~(xx|K_C8m5HC|gfGG3;eCYI;?a)}#{t* zn3<|tznWyUA7GG!6$lj&6WKpzcFc>~L&FEY+D5?SOfFv;RJp^T-FZ_{=R!k0GSWHA zn2EH@H^vRaRPH=HG9VCWDbg3Jgw#-xH}O14IP7osRI+V$IPY zx=OM#&?LYhhbWZ(&5{PmpWTkfx6*81$_3jP__u=cE-bSPa*9N`h*=fU*-X~BQ16e^ z`wKiQ9=10w|ko+WDp4D&aLrv#4r3w{rza2iw4 z{^0;a3*xyFAnh8rth{+S-kmIlQ0{6VZnEc#iyMG@m35m1fX-l_>5}(5r5FPI4L#fQ%kO%?I=ml` zevT}6m*r(>vWLOKn=_MvOTl5^eR!v8>b`~5x34X;KDIKIwph#MOlD}5VZHu+0E7Ev z>yykQm`G7fp$yx3JKhp3#rR4fzdW!``)-t3@mds-^A-`IJG*Z_TKBZL(W*u#+tO{L zE~JGU@sH>AzGy&jkY}dkAVF^Ck7H^6E{0}9p_yHU8ioZ29aXW`i8apIt+x1!fnH`f3J* z*1n<@S_Ap^YtsZhi+t&N*Cy*RaQ+>n)cJh5k7w<&dp(912(beUBszP|=LRD0Nl1$$ zr-8s}DE`sV?}5zie~cw(=JkI(TDsPVI)dpp{rK4N;@ir8%bIR`xK{dWm-%q$P?p@8 zPfpHO0Bmk`b0hJ*Bp0@8;;RTRkK1)BAZ@h(QyU3O&*-FiIa{D?F;tEOlq1o#Be9^# zkr1EufG}5#O${uHtFYG;{8{yZ=EdBe1f-yfrm!;~&eS=x2T6LTgR9NJ_FqIF+Nk?4 zg2W9(@rj`oO9az#9WfHrv{@>xMQg9kLfoqbXcLzelu|86AAx zn6q4ORkkO*qr$z+)EjludUR8pH;(%8 zzsZRAiny(whfqT)5LC-Q>!sSoTLxO=2%WMov1~1SFdxVY^5l(P#jt)&cu2xg>uwp5 z`h;TOUF0k_T7vtIVmyUxCe%W~zSh*q#VDM(o2J+iDdwA$%D_aNAWmnxdZR}@&&D_L zrhke^A@=Bt_zJx@;#cI80W>v z2@OsP3%va~CHbYU5XEauhIe8dV1emQ9gv&x(R4G8N=M%zt?H6pmD>*Hl5tl!H9rLJ zk1zOIT>dR4pe*5ja3?$0FY2&#x$4vh2dh$D282ZF-X%>|o^@6gq7p$?Wl7z7H5|Wj z!{{J*{_(Uql=0OJ{bg>Q>YoM^EC7;Q!fo&`QgjQJ!kG)E=@HxYiNvuNQj>=?n?b6# z^TL9+9N;^1KMbzeN6n8V2yzB>nOr+;jq_a;4o-sWs&$#V06YgfFEtq=|0`05G6#-- z&xn-59{rjjJD0vu{I5s>%cz(C@gXYGKZ?iIjC+@9c4_E$GBA_LT8J|4x`g6)2^Q3h zo#!r2;2;UlY2B5P7)`dS@PtS0Iy^chI{igogab=i;hPq>4?vF^2fX^%B#}Mh5ezrl zO>PP(gxt#5NkF$5^dscwPvdgljz;VZ$^w_s?zABn?Y6kMf(S4{1mLb1JOaD}N`8eX4eOVS!@o+W$8a zqksJN(*RrxTFB7|YNWc}K+D}O&7O+pEI6|dv^eg!!dSZpFc`ngj%8^sOvPrgG+GVP z`{s~SG0$6AdIeOw^|EjCGs_{wZ|kk=gAL)e&SeV=^f8EGIAW!D@a|sfhN~`4(5-En(`kN)uSi1Odw!GBNaCnLMq;_UN>>ivy`w1W0 z8JN~&UY&Vk#3sj0M2AS(9<*Oyp4BI(ZP$cvt!$CRhmRN9$I8-WH`6VB1;*^VnYbSG!f*>JW|IfS zTfXvk?h5^WjiZ<%IsT1U5&1ipn7QOo$Tc~ToBwp}>d) z7`T`%T$o+I_>7IGVQgh3HbO-^34KI6#6CLI dXJBr}tMvKZHF(rD)HF^)mDJR$a*ZTG{{t6wuVnxL delta 3241 zcmX|9c|6nqAI~pyd{@b>_@^Qob@dHeW_=U(_6P z`xeqHa?EX0j&hUpi!Xkg`u6Ah@qWHu&)4&4dB)N5jN?@Y2VfQ=LE(?tT2l=5Qs(@; zcazW_XBD0lb9dX#)#HsxvJ^4b&9wR;;+Ia2Is4b}`+>a`i63g~)`GJ0tvS2(f@vSQ zDGiPbt7?1Ocl~La>t8$H^p+3}OqrF0nXmKP==C>4_5yGb)W2JP53vvTg&VhzZZ~Tu zy9w+WROjagFV;nBzTPv!W&m3oH=Dg?l(AHJC;8+z2v<;7*G#A=qMk& z+(ntWMSb1<2zop}_S|$!_C0(?kdpGp9N+3wqc88bwWfvhkX&%cYX?PDCJKVqd49?# z#vum>kDT*`3g}ThLp@ba=oF}!%6mffkUR{2QVATCr zor$kvQz_`kvFv4$K)>Odo3_PLGoRvL_kR^IqMxldM|x$iUpw-odkb8T!8`G^#lL!a zTxR$5ePLJJf?2@`8-(4tMk&a`ga_r&7TJP?|i^*s6I$>hUg{Dg%74nt$*az zMVLAI$!qch8Xd8nmax8_fqqe9M#9Cu*1vjmi9x9JIiGXBo4-7%z1|m|KXCT$yD5#V=}L~L>+Xqpkld>}$MxTa3;Fh!GNUoD(= zrr#4s+~>ehNSaO{3nNjBj&prr6=BEV()7e6G%N@Zp>Ki1N^V#Wb)NDl>VIF$L#AN+ zC&=;S3Z6am+paQqC+}mH(a%<0>m9lS1C!NK@1zWK)vnu;nrtKkQ{*vg0$~4-)@>DwfswXK4C^|oKp#e;8 za>)xNg4T05lz_whn6^ZN3?|^W!r_O0y&4P zyo)=fwTGRf_qAP9Cl%uCL1HW`7lUDfswcG_ksvBBl?+~|NvB@bLj;OuFN<#4vo?EG z$U|afDvpzB>A^=|Y&sVM&7>x$A>wh|+p;&&GmS46`P>``@|AKMjvJ!%5O7$9tFDKef?5hWu9Ca(D{_m!GScZ*7JS zIN%8wZ={*pSD2^8H1U|3e{;#?cgZx)KvQ`~ls)-IzmAg^^8sH@|Uh0ez?Y%9>mHD-i- zN7a8zE*N<3HCS_I?1<4!mf+@1We|phW5v!kfT`tMQp}$i2C@rX#O+7z__+FN93vz) z*>cze|N*|Z}czwqFnaYi1E|Y+*nbQ@hR=_a-U-iXoHGj z=9Svi)`Ur7wR}oWWwIKDIUkB6X2Gr(o%t+U*aZe2i6He|aDUMxV^Ood_0WpIbH)~0 z#yf3;%c7tFLWJPs|6wucnuo8U2a4)nYZ@LlGJV6o&8>&@wxC=jnslvg z{VUX3ICr~1ULaRA&t9cc zI8q0g#A&(es!bTiO>zdk;~f$7e|!}jGP(nE&(h5j@Q64myMVf$A?Ke#>e7ORNp+b_ z!_~(^nWYE0TJx;Q7FAg}6A9TusFh=wf@QJQyy8a5NUCd=KtY9+war3XWtu9adS|7` zL!WnNcY3jeNUKNbUtBIdv%yi108fH1=TJ);i)w8O+zSeJ}A&<)VTX`&%7N6zi zG&H!4>D(mrFvpjI2oj2gz4=F&OXMQOPs|#0!k>BLerJ-xg)HB%8cOtihz46s1BNfX zbo-t?wRG3XBOB*4994gv4LGibRnAD7jTB4IWMN{=aV&@u5GcOdNFKE|zn?_z_t>}gFw?hwC^s!b1 zk=l?QU%h_azF5?iFkqWD7xpGfYAV`i zPrz1&)IHy7+!Sh}P;Zbd;H!UY$MuG~X(*JRHVgdV2EWv!oz|g~_FSJbap{kXa2YLG zJ0y37Se8L2N19!dxu0cz<%xT0F<(|ku-s_VB;GD+@<1&p;4;dfD$%-|ZqL(jw4@U^ zdS4TuPH(-G5S>QW>w;(_zT^XrD8Fby2Nta_;IVkQr#J^Wh+{wGeo`D0&Z6i{7P&$B zOJ3<=x?(5V!L(U|JxE^?YG6&`#h+4&eH`s>t*AN>WHr;r5DapD%_sM=%T_)rRYi5~ z-^tJDUNDpNzz2Z|V~W`!epML1U-R_tGAxZ$hc)BgYGJ1M$UZQ@&U{7n20=D8-Fv&ghl_u&p7*082vwec;ot8C37k2ZJf$>c^E%55C~_h1-?7lSs9H8qWz$+?W`$e zBM%8PSG4drwsuE8Hic|zwKj}3_}%+Yo9$%w=MP6m$-MSI2`4imQ@+-|XUWLaB!yU4 zVFCp6j0PY-Qk&ZJjbTd!zUO4@#MF{yi41B59VYzjvAs=>5A27~#WR;&raLWm?eZlhT{Ql3JxHU1z>%~9KsV%xP zDm|Z~4*alnu>4lXf5EX@6WG8~^`kYAb$@mj;7Xx~7Tb=zEF8@?k=d285tA)XTVRKu z_Q}2YGM~>&K#9eNzqQWpp-+x`?$0IE(swdH`?Pjx@N{SvJGN{k;32mIk!9)?o1X&r zvi+|pM+{gcU@sR9Z%~EBpH+Oe%5>gt@1I@_*v{fxE(3NSR^4JS8ta`Rb|$_QD1YNf z`PK~79DH#E{;e*(xja|XD4swhh5}(BJbSv6^WQWY?t9OxMLCUw22rSj@XE-O_EP%hCt&dunGZ;@mr zW7E<4WKDf*y45Lp)Yos%BR1w%_u47VD1e&%#P{D7>y53Fd%riy2#&Py2?uH;2(x9s zg%=iPT|(4!308$+*7lLd5#iF2+{I1%97pp|!@+lxqLjGme6SiaMcr1X2A#PVBbmm}3o2y-8mbC+_lh(pNR)Am zTav^?u5lA`%h9;j$oh?HYuD`jHS-*w=Xt;0&%6xhsSf9P*2n`ic^|0%sc!yHr4?sc zMB;qpBP(NDucLhR__2!<&(FljCuKP47jJGX9f!0(O){{yzzr)}jkMQ_REDSAA=hbp ztgQ{jp~LKgG97^99&5LQDzO*XQ{z$5=v)wcaru+?Qcd?cQ9ViE&-vj6_QEHnfCWAl z;C-y&2s_Np$Uqv9ASw8Mx~T?4pb|&UVAdwyD$RH4T)dqBs{H87i~9C+d2xU;ow4}z z6Fd3Unj~2XD|tfBgs+_u#Tqs(&}%*sAAhA4-FJVMS#RkTFu|JIhs#tcaOwrrcF7DbVwT*%ypJcZ0L;LtHV^cB5CJY zi8noVZRkjJol-n(I+!~;MDxneu+V9!k#fv=do(mrYb6d;`nxVrp&Qz=s#H!O+3?qe z(H{K>THo&~feZd%ccjT`=0=an3gs&#&N@4`v^ZHkN5r6 zP+Z<`TTel?7*Q~}v8XA&d?72p+%~*Hl|+Ifp#ARYhul9>X-V*Avp27O`DygQj&AFY zY$AIihHS?u?%11r?7 pK*(sPt&gW%W(s{OCMO=TsF$w)3`2CDIsp*1DG^7OT`k7 zKTS9*NcNkw;K3~Ib`aYOgcgh9jm;fV3Grv)d=V=MPb#vICT6Ki=3ThsJg z0)%A(mj-9tKKJYlmdr2#wYkpXmTnp5B4gT_I%L(<`SUC1F1FZ*v^{UT;S(h&>f}jI z>v2|}yvf6Xs6zEVlBCmfOtyGuaGcY#$}8E89>M)ry3y7tmg8X@hi)jrob`I$^ciUl z9>E_J$>T`230P=)Ymt2xem?@BmNFXb2dz1S$iYS%Q=XkH4;|0lyT{JB6p|iyGXC6I zN=LWfr9N5YT^eW{6cTED5M`8MDhT^ab8bRfrM)jbLMmIe9C~|s%(0aytEjt5&`(r z1F?(;V^v;h@7yhhcd&wVJVSUT2GT!<1Z1k*eb#@&+O@DX$4zSs?|Y)z@2{DBRF!*% zz5}H#J@sV+qCGpw2r7s zG~6WY3zS>s%d{moOQvo4V%vf*y!TpNcPs1~aJ1Mt$51M5{v0P^%48-)KQ@7_Ypyi6 zCfHk{ZQp46(xcI}MA(tm!9Lw0K}V)dZxPVZ{nki_#ve#eM?WHp9(ft$9z3Y*M11x^ zc??hKUN~W;`4IOol*OPwiXL0*I$vEKNLYUBsS+12y9Cx?2a{`8r)yJ_)@64;m@rY- zxLiM_)hBLXX+51_qwy{vI4MO-H#=oWDytd%gL2``0AZR6a4?9n**BIz0prDMus~a% z{pS5+$2ZD+TyE_NBzTux&p)-Pq~mRCUtzD|c;n;r!h2T827YaoHPTn>V1Kacq^Y?V z3C`Fh(C8G)aGK4BxoXTSY<#Gin4`u_%`*l163>G5ZNXUu#w{}0?d@y9O^23de1_Y5 z_i>U368@2d@9LEUdOB6lt`sdQ_>SN3ebI^QxF^~rF#SZV@bvV3L<*udcXfbm^0;6y zM+~LpeT(?gm)JNHQ&c~lu~rzP9w)DO(^`Wp5fXYyHM1^e$|6Tr9XI|cwc25@s;snP zeXN%C*Yw;NbGDv=K7S_2EMRqVN^8wgR+QL1#@zod^7gnc(66-;@ymg=K9UiSbIx-O z8HYX6WofUeB^qsBxQw9asF}$N^CSW0`O^a#L0&tnuQ{lw24yNAnl;n6FR%0~oaj4C zt;;7Wx(f^qt0a}}hTL^2WKJ`*T{C zG;`LMoo=LL=k-rld7hNMQ2p@(gXYZ8LwLLZeqw!|mRNC3 zI;+wsZ-={nG+(n`Os7~u>viUZbVrZ@@m_O{MQ6?Zr80>-flhj`8f-$_i9hQ8Jm@0) zJUQBl=nbRzLXs2;B=iox>=)L7^`P&)z+4aMjb`@KKnas%3tS4&Z|Hv3n~^v|j4y3FPqm5f`g4j2&;F;JQZpzbX>Rn+NEgTa8~9E$u0h zpO8d+ov=>r$9rg*+b+P)Cr(g=T_;OlavD_#zio-Xw(dwvwCOw|RY}Tu6Pz^ZcJgki z^kf?pjdE!@cerkW4k z;$VZN|9uScz4pneDdKg>>Y#M5g~_E;r?+&00>GA>Lou`Yhy5&{{n;F=zMR`A$T8=; zWaSNi?B9w>eQcl$H}?H((&7uY6n{ON*j|~sZ)ZcObE0m!zf0AeLb!Hd!*}ayzQDkX zk#!&c4JxJI#m(&7&8UuB{~RgCQCF5FI9S8v*gtC$^S9WW70&&@Qz?y^^AUlF?4IRj zi38yU!zOcfYxT^rS^U~Vk@-Ae{d$q@z(8fWO%QuzoT~b9cicx4^@G)l6YP-JL3j9O zanm2)4>(_i+nZgOch9Xixvn+yPRc16jrOcTtGrXkWiBkYign#jKF}42Qd4RAkQ=V0o>rzkUXEWZI zI%Ig?+B+``o?&68`m2qkFdmqq@2Z0Q{SS*+-b{-Su?(CM)%V#DOAe2Z z@g-yxHW?7!AJy5=yVGd0w2&6GJk8pur&l{PI7&FI4?6;u?*!lP4>ST5uB$3dvMyY0 zC@=m`orgoDx0Vas>+w+>U#p5^(bT2iOWJcuaC$1M+iGCutx zB0JUPsZnurwQu$`;mHWdMg80c^M|~AhnDUOPf{6--%rIq^r*7 zd9c+&yGA7IcGqtHKtkJ-(okX~6Jfy}7*v6+uqIpp216i_7$pddMA3Q-AmkuhA2|=X zJ)gfoQAo}&t{5D~6+^+H+%e>T)S=Nu~XkY8e?W^K70Xe?<#8w4OR+v=bQEEdZZ zLu1igF&LIx2L!oY2Lz7ddJh7}LcZt#zC(Z@ps4LaAP5*{`w$2M0sSiE8$bvGh1$L# z1PSGafJDIl)eCGvM`AEsgHbRp(j0yWE~+RDhHEeyirG#Of<~dXI|o5yFaTFG2F7&? z5DWr>+J+y3!Eh_)Q02mpg`&9#Vqw^??*ZQtV*djn7R!BG5EvH)D96z4LZDlcw=E5Y zV7JwA_(P$ve|y4l1PVnUxgLaKA=~joVbHIK^!<*YFa&x#ekcry;*Oy)Fkt(JaBlCQ za3o?oLMR-={qKbT$3F*!M*gGM2Y>0R8xFtc)G0YtJ&#{Kpepxge4c5D;CLCqQPR!<;ywO+bs%_lO~JJS zBJy^*wNp{1_<2mAb+vnm$FI_7qVXp16N8}E$>IMk4C15uC;^`FT1&mP5Rv+m5lI}s zR(Me>*64S$c4g~{=#7<3VIb$0p-y_4J8+(6p&>nD2iUyFZzxwyc9 zjBSn^#TYDb4}Zo3z;a{CxYG=YdC;3O|#1fJZTjwFL}IDs%3u zLc_6c3_a81M5~U>*rbim5fe=@Csdp1#N3?Xs$ELy$(jp>;cfSKO(FA6JTiWJ2*+(1UZj~Qo4I$uoWdBiclmzT)#~zF!Zd7LaTGNSY$bB60M_v z@;}veW!p|Kmy{a%Rh3kkaUr7&X$8+O*bMF&An{7aA0*l1ysI+M=3JgpM*PUKuGE?1 zio}8B!+sWLIb?O{N;7XS-~yvXaP1P^+`tjjn?)j&F)%r7Mp1{ZGE-!SyNb3?&9;-$ zlX{&dxfo=3+<5VDkCx2Lj9F#&tKn1cWW_6Mx%l<_4PE8zlCDKL1HX|7t%vHl80!H; zPQpSr8esMlVNMRk*M5IN5xyzz*p^@v%Gjs_l9GXrQNIK ztJhIKO@UIST^t|EXZ(+=%eyC&-_3Y}94vKc(Y^fo>4q-9-5S`?&gl_J_j^cM7VcQ) zyIpX#BeccGdh*QAV|O?Q2K`UCDB031wKr2ssBSqn<@-b#%{QAfB#u5vb)moqk1rcv zau^t?pHcayF#-2WmmSd|fNoQXyBXpC{D?W|L}|`=Vg4>fDX^)y@!p5}c>euk{ye$< z2mDAs?_H!d4Y?fcF)+#EBK>v+r5)vXZ-JVrQqx#cXWo&*AGoUjI@nGJ`Fe@lJ>Bcp ztnWfi!=0^WteXe(ImY}l*yFgRgd7x5VZze2?$K229GMkHI(Rk9_Z|62kDlZrSbm16 zRPE1MZOLcdUU`9~WGkm&+@7vO#Jnfi>HyAx&LfH;8>Z($oL@spmB`*8nk4?@*-uW+ z_ZXgBqkeqn7KMAZe76Lal&U4m=GI6QC3e>e|+@^l??FQJL^iJu>^tk`^;dRpS1UAT@mH9 z_L8Qkc*r4J@W6I>B2h1r4MA^KLQ4pbImGO~vigiV%MNp9KyVg5$8tQ=#sB#7+j^m< znoFGf+H1M$dlhBJr}CH=(rqU845&+fnd+YdZ68E=@%faS8bJ&yHm+1{=<+4WlPV=> zv}X>FB);)K)PvhyRPA`?Ji~~ydiGAwDSA&t5aZ|qAl=}rK5{7y^jlmTOuV@Hb==DP z3y#jwg}x;~FG$frL$32iPY^yzm5#1tUklBaRkD3kv|K$jTxK6-Own86qRj8g0J)MO zbn(DKs`!1&$@H7vc9Yrb@R3s?qnw_vc-{-Tot7t1{_2}2ugkQUiofIui^po?Mld*rTl;&Wn~9&9Wxjc@ zCf8aV=JBDsp;oy(Vnuj|%w9se+IVb6gXPeRn(DeWM)Tap)JH}yvz3YlFY0UNdoA~M zi!vhX_4ipNUUZ)KFLNYUsDG%>%8J++R8QI6p>tPjXj7dF7GY0_y#aE))+(p}k6h{1ec%!AWAp|i{nv2wV+QUy`TFXF zm~L#0m<2LhJAu{0k<}vYTMI{43$+d#CB}TkL*In+_Ie(2hKu#CXDHlOPkjz5BMzDH z=jfR{?pl5Q21}_)mFgvs`FzbNG9!o4Q))vC*ychYH#94;u3ETMJhHvXo|k@U zJ?P1o{C;lN7Ib)N)@DnCvX9KgByM!4i~56_pF?fRt{)6?n{$YFCb1-aH*_iP@D>vM z29-f~3z_`jJ%$?1{9#&k^QfV~mfG7VhaX$mrdgPcbFvEMly4;|ybUy;ocM`#`8_}~ z6?)0I>X&H4C446Aq2J!*vZbu4d*LwPo;gU{by_h}X#vF87|{DsF%mciR% zLh(C?RDN)7rd_L8`FbLC)AyFw`e17TW9s8a8f~sy7_H?O0x1dKTx?!9w_ooZthA~x z7+oS`l*v=;Oq#@k@T-32wUxe}K6}opA{|4Tsf8 z-jCE=jT$0HpO?<|MXaMo1|&sg^H(vE6ANpsf9=+Vd|?vvxnG7QU+^bM{BA4XTgipg z?xzM|3adWkQxmQfD9$3MdCfc8&*2bazjd}=J zqUQfb?N@sXsLSH?4S(Ym%i7vQ9a%Dd&Hno4ddEG z^z5_VkkI}EE2nx3#9cFQv{i}*3f*waobIx>j^bU96J(5P_-9%+tbdxLU9S>np4z7&im~LfI`BM>}RTIwlkC}iv0}v zA2>87_L+{_ZVV!JS_cZERCiV(VKBtbGXw?(XFG#q+1bL7JK4fi(QN%-s#w@ITks#L zFa&_wNf(BIV|EUKArNrb4l*zV3cZsc3<;nyJ8?*a>c48iEtioP4BKE7oXt-d3W;EA zh{9mm2BQJ&P6uIV6l!NaFf;}WvK3?CY=Oft2msirgvFVy77GK|?8gFVHV3h)u+eJH Lo;aaPIL-TiTNgoG From 16a96b0da5b03c78d45a98d7cd64403d36987fcb Mon Sep 17 00:00:00 2001 From: Manos Katsomallos Date: Tue, 27 Jul 2021 00:20:01 +0300 Subject: [PATCH 3/9] introduction: Moved example here --- text/introduction/main.tex | 13 +++++++++++++ text/preliminaries/main.tex | 15 +-------------- 2 files changed, 14 insertions(+), 14 deletions(-) diff --git a/text/introduction/main.tex b/text/introduction/main.tex index ec84715..c8aaa74 100644 --- a/text/introduction/main.tex +++ b/text/introduction/main.tex @@ -68,5 +68,18 @@ Typically, in such cases, we have a collection of data referring to the same ind Additionally, in many cases, the privacy-preserving processes should take into account implicit correlations and restrictions that exist, e.g.,~space-imposed collocation or movement restrictions. Since these data are related to most of the important applications and services that enjoy high utilization rates, privacy-preserving continuous data publishing becomes one of the emblematic problems of our time. +To accompany and facilitate the descriptions in this chapter, we provide the following running example. + +\begin{example} + \label{ex:snapshot} + Users interact with an LBS by making queries in order to retrieve some useful location-based information or just reporting user-state at various locations. + This user--LBS interaction generates user-related data, organized in a schema with the following attributes: \emph{Name} (the unique identifier of the table), \emph{Age}, \emph{Location}, and \emph{Status} (Table~\ref{tab:snapshot-micro}). + The `Status' attribute includes information that characterizes the user's state or the query itself, and its value varies according to the service functionality. + Subsequently, the generated data are aggregated (by issuing count queries over them) in order to derive useful information about the popularity of the venues during the day (Table~\ref{tab:snapshot-statistical}). + + \includetable{snapshot} + +\end{example} + \input{introduction/contribution} \input{introduction/structure} diff --git a/text/preliminaries/main.tex b/text/preliminaries/main.tex index d22d919..83e67b2 100644 --- a/text/preliminaries/main.tex +++ b/text/preliminaries/main.tex @@ -4,20 +4,7 @@ In this chapter, we introduce some relevant terminology and background knowledge around the problem of continuous publishing of sensitive data sets. First, we categorize data as we view them in the context of continuous data publishing. Second, we define data privacy, we list the kinds of attacks that have been identified in the literature, as well as the desired privacy levels that can be achieved, and the basic privacy operations that are applied to achieve data privacy. -Third, we provide a brief overview of the seminal works on privacy-preserving data publishing, used also in continuous data publishing, fundamental in the domain and important for the understanding of the rest of the survey. - -To accompany and facilitate the descriptions in this chapter, we provide the following running example. - -\begin{example} - \label{ex:snapshot} - Users interact with an LBS by making queries in order to retrieve some useful location-based information or just reporting user-state at various locations. - This user--LBS interaction generates user-related data, organized in a schema with the following attributes: \emph{Name} (the unique identifier of the table), \emph{Age}, \emph{Location}, and \emph{Status} (Table~\ref{tab:snapshot-micro}). - The `Status' attribute includes information that characterizes the user's state or the query itself, and its value varies according to the service functionality. - Subsequently, the generated data are aggregated (by issuing count queries over them) in order to derive useful information about the popularity of the venues during the day (Table~\ref{tab:snapshot-statistical}). - - \includetable{snapshot} - -\end{example} +Third, we provide a brief overview of the seminal works on privacy-preserving data publishing, used also in continuous data publishing, fundamental in the domain and important for the understanding of the rest of the chapter. \input{preliminaries/data} \input{preliminaries/privacy} From e99c90a6106e104cf702a1f0f6b7eba132658f31 Mon Sep 17 00:00:00 2001 From: Manos Katsomallos Date: Tue, 27 Jul 2021 00:23:48 +0300 Subject: [PATCH 4/9] data: Moved table to separate file --- tables/continuous.tex | 52 ++++++++++++++++++++++++++++++++ text/preliminaries/data.tex | 60 ++++--------------------------------- 2 files changed, 57 insertions(+), 55 deletions(-) create mode 100644 tables/continuous.tex diff --git a/tables/continuous.tex b/tables/continuous.tex new file mode 100644 index 0000000..eaa9f47 --- /dev/null +++ b/tables/continuous.tex @@ -0,0 +1,52 @@ +\begin{table} + \centering + \subcaptionbox{Microdata\label{tab:continuous-micro}}{% + \adjustbox{max width=\linewidth}{% + \begin{tabular}{@{}ccc@{}} + \begin{tabular}{@{}lrll@{}} + \toprule + \textit{Name} & \multicolumn{1}{c}{Age} & Location & Status \\ + \midrule + Donald & $27$ & Le Marais & at work \\ + Daisy & $25$ & Belleville & driving \\ + Huey & $12$ & Montmartre & running \\ + Dewey & $11$ & Montmartre & at home \\ + Louie & $10$ & Latin Quarter & walking \\ + Quackmore & $62$ & Opera & dining \\ + \bottomrule + \multicolumn{4}{c}{$t_1$} \\ + \end{tabular} & + \begin{tabular}{@{}lrll@{}} + \toprule + \textit{Name} & \multicolumn{1}{c}{Age} & Location & Status \\ + \midrule + Donald & $27$ & Montmartre & driving \\ + Daisy & $25$ & Montmartre & at the mall \\ + Huey & $12$ & Latin Quarter & sightseeing \\ + Dewey & $11$ & Opera & walking \\ + Louie & $10$ & Latin Quarter & at home \\ + Quackmore & $62$ & Montmartre & biking \\ + \bottomrule + \multicolumn{4}{c}{$t_2$} \\ + \end{tabular} & + \dots + \end{tabular}% + }% + } \\ \bigskip + \subcaptionbox{Statistical data\label{tab:continuous-statistical}}{% + \begin{tabular}{@{}lrrr@{}} + \toprule + \multirow{2}{*}{Location} & \multicolumn{3}{c@{}}{Count}\\ + & \multicolumn{1}{c}{$t_1$} & \multicolumn{1}{c}{$t_2$} & \dots \\ + \midrule + Belleville & $1$ & $0$ & \dots \\ + Latin Quarter & $1$ & $2$ & \dots \\ + Le Marais & $1$ & $0$ & \dots \\ + Montmartre & $2$ & $3$ & \dots \\ + Opera & $1$ & $1$ & \dots \\ + \bottomrule + \end{tabular}% + }% + \caption{Continuous data observation of (a)~microdata, and corresponding (b)~statistics at multiple timestamps.} + \label{tab:continuous} +\end{table} diff --git a/text/preliminaries/data.tex b/text/preliminaries/data.tex index 45d4a05..06feaf2 100644 --- a/text/preliminaries/data.tex +++ b/text/preliminaries/data.tex @@ -5,7 +5,7 @@ \subsection{Categories} \label{subsec:data-categories} -As this survey is about privacy, the data that we are interested in, contain information about individuals and their actions. +The data that we are interested in, contain information about individuals and their actions. We firstly classify the data based on their content: \begin{itemize} @@ -28,58 +28,8 @@ Depending on the span of observation, we distinguish the following categories: The two data tables, over the time-span $[t_1, t_2]$ are an example of finite data. Infinite data are the whole series of data obtained over the period~$[t_1, \infty)$ (infinity is denoted by `\dots'). - \begin{table} - \centering - \subcaptionbox{Microdata\label{tab:continuous-micro}}{% - \adjustbox{max width=\linewidth}{% - \begin{tabular}{@{}ccc@{}} - \begin{tabular}{@{}lrll@{}} - \toprule - \textit{Name} & \multicolumn{1}{c}{Age} & Location & Status \\ - \midrule - Donald & $27$ & Le Marais & at work \\ - Daisy & $25$ & Belleville & driving \\ - Huey & $12$ & Montmartre & running \\ - Dewey & $11$ & Montmartre & at home \\ - Louie & $10$ & Latin Quarter & walking \\ - Quackmore & $62$ & Opera & dining \\ - \bottomrule - \multicolumn{4}{c}{$t_1$} \\ - \end{tabular} & - \begin{tabular}{@{}lrll@{}} - \toprule - \textit{Name} & \multicolumn{1}{c}{Age} & Location & Status \\ - \midrule - Donald & $27$ & Montmartre & driving \\ - Daisy & $25$ & Montmartre & at the mall \\ - Huey & $12$ & Latin Quarter & sightseeing \\ - Dewey & $11$ & Opera & walking \\ - Louie & $10$ & Latin Quarter & at home \\ - Quackmore & $62$ & Montmartre & biking \\ - \bottomrule - \multicolumn{4}{c}{$t_2$} \\ - \end{tabular} & - \dots - \end{tabular}% - }% - } \\ \bigskip - \subcaptionbox{Statistical data\label{tab:continuous-statistical}}{% - \begin{tabular}{@{}lrrr@{}} - \toprule - \multirow{2}{*}{Location} & \multicolumn{3}{c@{}}{Count}\\ - & \multicolumn{1}{c}{$t_1$} & \multicolumn{1}{c}{$t_2$} & \dots \\ - \midrule - Belleville & $1$ & $0$ & \dots \\ - Latin Quarter & $1$ & $2$ & \dots \\ - Le Marais & $1$ & $0$ & \dots \\ - Montmartre & $2$ & $3$ & \dots \\ - Opera & $1$ & $1$ & \dots \\ - \bottomrule - \end{tabular}% - }% - \caption{Continuous data observation of (a)~microdata, and corresponding (b)~statistics at multiple timestamps.} - \label{tab:continuous} - \end{table} + \includetable{continuous} + \end{example} We further define two sub-categories applicable to both finite and infinite data: \emph{sequential} and \emph{incremental} data; these two subcategories are not exhaustive, i.e.,~not all data sets belong to the one or the other category. @@ -125,7 +75,7 @@ Nonetheless, data distortion at an early stage might prove detrimental to the ov The so far consensus is that there is no overall optimal solution among the two designs. Most service-providing companies prefer the global scheme, mainly for reasons of better management and control over the data, while several privacy advocates support the local privacy scheme that offers users full control over what and how data are published. Although there have been attempts to bridge the gap between them, e.g.,~\cite{bittau2017prochlo}, the global scheme is considerably better explored and implemented~\cite{satyanarayanan2017emergence}. -For this reason, most of the works in this survey span this context. +For this reason, most of the works in our work span this context. We distinguish between two publishing modes for private data: \emph{snapshot} and \emph{continuous}. In snapshot publishing (also appearing as \emph{one-shot} or \emph{one-off} publishing), the system processes and releases a data set at a specific point in time and thereafter is not concerned anymore with the specific data set. @@ -133,7 +83,7 @@ For example, in Figure~\ref{fig:mode-snapshot} (ignore the privacy-preserving st In continuous data publishing the system computes, and publishes augmented or updated versions of one data set in different time points, and without a predefined duration. In the context of privacy-preserving data publishing, privacy preservation is tightly coupled with the data processing and publishing stages. -As already discussed in Section~\ref{ch:intro}, in this survey we are studying the continuous data publishing mode, and thus we do not include works considering the snapshot paradigm. +As already discussed in Section~\ref{ch:intro}, in this work we are studying the continuous data publishing mode, and thus we do not include works considering the snapshot paradigm. We make this deliberate choice as privacy-preserving continuous data publishing is a more complex problem, receiving more and more attention from the scientific community in the recent years, as shown by the increasing number of publications in this area. Moreover, the use cases of continuous data publishing abound, with the proliferation of the Internet, sensors, and connected devices, which produce and send to servers huge amounts of continuous personal data in astounding speed. From b45d5dfc81e135717f55c7f1d49c33959912250f Mon Sep 17 00:00:00 2001 From: Manos Katsomallos Date: Tue, 27 Jul 2021 08:43:15 +0300 Subject: [PATCH 5/9] data: Better naming --- text/preliminaries/data.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/text/preliminaries/data.tex b/text/preliminaries/data.tex index 06feaf2..af16337 100644 --- a/text/preliminaries/data.tex +++ b/text/preliminaries/data.tex @@ -1,8 +1,8 @@ -\section{Data} +\section{Types of data sets} \label{sec:data} -\subsection{Categories} +\subsection{Data categories} \label{subsec:data-categories} The data that we are interested in, contain information about individuals and their actions. @@ -39,7 +39,7 @@ In incremental data, an original data set is augmented in each subsequent timest For example, trajectories can be considered as incremental data, when at each timestamp we consider all the previously visited locations by an individual, incremented by his current position. -\subsection{Processing and publishing} +\subsection{Data processing and publishing} \label{subsec:data-publishing} We categorize data processing and publishing based on the implemented scheme, as: From 7d865180772e7337cf55bf3682c3cf4d226a2052 Mon Sep 17 00:00:00 2001 From: Manos Katsomallos Date: Tue, 27 Jul 2021 08:43:54 +0300 Subject: [PATCH 6/9] data: OCD --- text/preliminaries/data.tex | 1 - 1 file changed, 1 deletion(-) diff --git a/text/preliminaries/data.tex b/text/preliminaries/data.tex index af16337..dfb8cee 100644 --- a/text/preliminaries/data.tex +++ b/text/preliminaries/data.tex @@ -1,7 +1,6 @@ \section{Types of data sets} \label{sec:data} - \subsection{Data categories} \label{subsec:data-categories} From 9377222960841ea3746d55153bc55f90376acf01 Mon Sep 17 00:00:00 2001 From: Manos Katsomallos Date: Tue, 27 Jul 2021 09:16:22 +0300 Subject: [PATCH 7/9] Moved correlation to a separate section --- text/preliminaries/correlation.tex | 230 +++++++++++++++++++++++++++++ text/preliminaries/main.tex | 1 + text/preliminaries/privacy.tex | 222 +--------------------------- 3 files changed, 238 insertions(+), 215 deletions(-) create mode 100644 text/preliminaries/correlation.tex diff --git a/text/preliminaries/correlation.tex b/text/preliminaries/correlation.tex new file mode 100644 index 0000000..f7a2708 --- /dev/null +++ b/text/preliminaries/correlation.tex @@ -0,0 +1,230 @@ +\section{Dependence and correlation} +\label{sec:correlation} + + +\subsection{Types of correlation} + +The most prominent types of correlations might be: + +\begin{itemize} + \item \emph{temporal}~\cite{wei2006time}---appearing in observations (i.e.,~values) of the same object over time. + \item \emph{Spatial}~\cite{legendre1993spatial, anselin1995local}---denoted by the degree of similarity of nearby data points in space, and indicating if and how phenomena relate to the (broader) area where they take place. + \item \emph{Spatiotemporal}---a combination of the previous categories, appearing when processing time series or sequences of human activities with geolocation characteristics, e.g.,~\cite{ghinita2009preventing}. +\end{itemize} + +Contrary to one-dimensional correlations, spatial correlation is multi-dimensional and multi-directional, and can be measured by indicators (e.g.,~\emph{Moran's I}~\cite{moran1950notes}) that reflect the \emph{spatial association} of the concerned data. +Spatial autocorrelation has its foundations in the \emph{First Law of Geography} stating that ``everything is related to everything else, but near things are more related than distant things''~\cite{tobler1970computer}. +A positive spatial autocorrelation indicates that similar data are \emph{clustered}, a negative that data are dispersed and are close to dissimilar ones, and when close to zero, that data are \emph{randomly arranged} in space. + + +\subsection{Extraction of correlation} + +A common practice for extracting data dependencies from continuous data, is by expressing the data as a \emph{stochastic} or \emph{random process}. +A random process is a collection of \emph{random variables} or \emph{bivariate data}, indexed by some set, e.g.,~a series of timestamps, a Cartesian plane $\mathbb{R}^2$, an $n$-dimensional Euclidean space, etc.~\cite{skorokhod2005basic}. +The values a random variable can take are outcomes of an unpredictable process, while bivariate data are pairs of data values with a possible association between them. +Expressing data as stochastic processes allows their modeling depending on their properties, and thereafter the discovery of relevant data dependencies. + +Some common stochastic processes modeling techniques include: + +\begin{itemize} + \item \emph{Conditional probabilities}~\cite{allan2013probability}---probabilities of events in the presence of other events. + \item \emph{Conditional Random Fields} (CRFs)~\cite{lafferty2001conditional}---undirected graphs encoding conditional probability distributions. + \item \emph{Markov processes}~\cite{rogers2000diffusions}---stochastic processes for which the conditional probability of their future states depends only on the present state and it is independent of its previous states (\emph{Markov assumption}). + \begin{itemize} + \item \emph{Markov chains}~\cite{gagniuc2017markov}---sequences of possible events whose probability depends on the state attained in the previous event. + \item \emph{Hidden Markov Models} (HMMs)~\cite{baum1966statistical}---statistical Markov models of Markov processes with unobserved states. + \end{itemize} +\end{itemize} + + +\subsection{Privacy risks of correlation} + +Data dependence might appear: + +\begin{itemize} + \item within one data set, and + \item within one data set and among one data set and previous data releases, and/or other external sources~\cite{kifer2011no, chen2014correlated, liu2016dependence, zhao2017dependent}. +\end{itemize} + +In the former case, data tuples and data values within a data set may be correlated, or linked in such a way that information about one person can be inferred even if the person is absent from the database. +Consequently, in this category we put assumptions made on the data generation model based on randomness, like the random world model, the independent and identically distributed data (i.i.d.) model, or the independent-tuples model, which may be unrealistic for many real-world scenarios. +This attack is also known as the \emph{deFinetti's attack}~\cite{kifer2009attacks}. + +In the latter case, the strength of the dependence between a pair of variables can be quantified with the utilization of \emph{correlations}~\cite{stigler1989francis}. +Correlation implies dependence but not vice versa, however, the two terms are often used as synonyms. +The correlation among nearby observations, i.e.,~the elements in a series of data points, are referenced as \emph{autocorrelation} or \emph{serial correlation}~\cite{park2018fundamentals}. +Depending on the evaluation technique, e.g.,~\emph{Pearson's correlation coefficient}~\cite{stigler1989francis}, a correlation can be characterized as \emph{negative}, \emph{zero}, or \emph{positive}. +A negative value shows that the behavior of one variable is the \emph{opposite} of that of the other, e.g.,~when the one increases the other decreases. +Zero means that the variables are not linked and are \emph{independent} of each other. +A positive correlation indicates that the variables behave in a \emph{similar} manner, e.g.,~when the one decreases the other decreases as well. + + +\subsection{Privacy loss under temporal correlation} + +% The presence of temporal correlations might result into additional privacy loss consisting of \emph{backward privacy loss} $\alpha^B$ and \emph{forward privacy loss} $\alpha^F$~\cite{cao2017quantifying}. +Cao et al.~\cite{cao2017quantifying} propose a method for computing the temporal privacy loss (TPL) of a differential privacy mechanism in the presence of temporal correlations and background knowledge. +The goal of their technique is to guarantee privacy protection and to bound the privacy loss at every timestamp under the assumption of independent data releases. +It calculates the temporal privacy loss as the sum of the backward and forward privacy loss minus the default privacy loss $\varepsilon$ of the mechanism (because it is counted twice in the aforementioned entities). +This calculation is done for each individual that is included in the original data set and the overall temporal privacy loss is equal to the maximum calculated value at every timestamp. +The backward/forward privacy loss at any timestamp depends on the backward/forward privacy loss at the previous/next timestamp, the backward/forward temporal correlations, and $\varepsilon$. + +\begin{definition} + [Temporal privacy loss (TPL)] + \label{def:tpl} + The potential privacy loss of a privacy mechanism at a timestamp $t \leq T$ due to a series of outputs $\pmb{o}_1$, \dots, $\pmb{o}_T$ and temporal correlations in its input $D_t$ with respect to any adversary, targeting an individual with potential data items $x_t$ (or $x'_t$) and having knowledge $\mathbb{D}_t$ equal to $D_t - \{x_t\}$ (or $D'_t - \{x'_t\}$), is defined as: + + \begin{equation} + \label{eq:tpl} + \alpha_t = \sup_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_T} \ln \frac{\Pr[\pmb{o}_1, \dots, \pmb{o}_T | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_1, \dots, \pmb{o}_T | x'_t, \mathbb{D}_t]} + \end{equation} +\end{definition} +% +By analyzing Equation~\ref{eq:tpl} we get the following: + +\begin{align} + \label{eq:tpl-1} + (\ref{eq:tpl}) = & \underbrace{\sup_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_1, \dots, \pmb{o}_t| x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_1, \dots, \pmb{o}_t | x'_t, \mathbb{D}_t]}}_{\text{Backward privacy loss}\ (\alpha^B_t)} \nonumber \\ + & + \underbrace{\sup_{x_t, x'_t, \pmb{o}_t, \dots, \pmb{o}_T} \ln \frac{\Pr[\pmb{o}_t, \dots, \pmb{o}_T| x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t, \dots, \pmb{o}_T | x'_t, \mathbb{D}_t]}}_{\text{Forward privacy loss}\ (\alpha^F_t)} \nonumber \\ + & - \underbrace{\sup_{x_t, x'_t, \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_t | x_t, \mathbb{D}_t] }{\Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]}}_{\text{Present privacy loss}\ (\varepsilon_t)} +\end{align} + +\begin{definition} + [Backward privacy loss (BPL)] + \label{def:bpl} + The potential privacy loss of a privacy mechanism at a timestamp $t \leq T$ due to outputs $\pmb{o}_1$, \dots, $\pmb{o}_t$ and temporal correlations in its input $D_t$ with respect to any adversary, targeting an individual with potential data items $x_t$ (or $x'_t$) and having knowledge $\mathbb{D}_t$ equal to $D_t - \{x_t\}$ (or $D'_t - \{x'_t\}$), is called backward privacy loss and is defined as: + + \begin{equation} + \label{eq:bpl-1} + \alpha^B_t = \sup_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_1, \dots, \pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_1, \dots, \pmb{o}_t | x'_t, \mathbb{D}_t]} + \end{equation} + +\end{definition} +% +From differential privacy we have the assumption that $\pmb{o}_1$, \dots, $\pmb{o}_t$ are independent events. +Therefore, according to the Bayesian theorem, we can write Equation~\ref{eq:bpl-1} as: + +\begin{align} + \label{eq:bpl-2} + (\ref{eq:bpl-1}) = & \sup_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1}| x_t, \mathbb{D}_t] \Pr[\pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x'_t, \mathbb{D}_t] \Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]} \nonumber \\ + = & \sup_{x_t, x_t', \pmb{o}_1, \dots, \pmb{o}_{t - 1}} \ln \frac{\Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x_t', \mathbb{D}_t]} \nonumber \\ + & + \sup_{x_t, x_t', \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]} +\end{align} +% +Applying the law of total probability to the first term of Equation~\ref{eq:bpl-2} for all the possible data $x_{t - 1}$ (or $x'_{t - 1}$) and $\mathbb{D}_{t - 1}$ we get the following: + +\begin{align} + \label{eq:bpl-3} + (\ref{eq:bpl-2}) = & + \adjustbox{max width=0.9\linewidth}{ + $\sup\limits_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_{t - 1}} \ln \frac{\sum\limits_{x_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x_t, \mathbb{D}_t, x_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x_{t - 1}, \mathbb{D}_{t - 1} | x_t, \mathbb{D}_t]}{\sum\limits_{x'_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x'_t, \mathbb{D}_t, x'_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x'_{t - 1}, \mathbb{D}_{t - 1} | x'_t, \mathbb{D}_t]}$ + } \nonumber \\ + & \adjustbox{max width=0.3\linewidth}{ + $+ \sup\limits_{x_t, x_t', \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]}$ + } +\end{align} +% +Since $\mathbb{D}_t$ is equal to $D_t - \{x_t\}$ (or $D'_t - \{x'_t\}$), and thus is constant and independent of every possible $x_t$ (or $x'_t$), $\forall t \leq T$, Equation~\ref{eq:bpl-3} can be written as: + +\begin{align} + \label{eq:bpl-4} + (\ref{eq:bpl-3}) = & + \adjustbox{max width=0.9\linewidth}{ + $\sup\limits_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_{t - 1}} \ln \frac{\sum\limits_{x_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x_t, \mathbb{D}_t, x_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x_{t - 1} | x_t, \mathbb{D}_t] \Pr[\mathbb{D}_{t - 1} | x_t, \mathbb{D}_t]}{\sum\limits_{x'_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x'_t, \mathbb{D}_t, x'_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x'_{t - 1} | x'_t, \mathbb{D}_t] \Pr[\mathbb{D}_{t - 1} | x'_t, \mathbb{D}_t]}$ + } \nonumber \\ + & \adjustbox{max width=0.275\linewidth}{ + $+ \sup\limits_{x_t, x_t', \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]}$ + } \nonumber \\ + = & \adjustbox{max width=0.825\linewidth}{ + $\sup\limits_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_{t - 1}} \ln \frac{\sum\limits_{x_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x_t, \mathbb{D}_t, x_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x_{t - 1} | x_t] \Pr[\mathbb{D}_{t - 1} | \mathbb{D}_t]}{\sum\limits_{x'_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x'_t, \mathbb{D}_t, x'_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x'_{t - 1} | x'_t] \Pr[\mathbb{D}_{t - 1} | \mathbb{D}_t]}$ + } \nonumber \\ + & \adjustbox{max width=0.275\linewidth}{ + $+ \sup\limits_{x_t, x_t', \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]}$ + } \nonumber \\ + = & \adjustbox{max width=0.7\linewidth}{ + $\sup\limits_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_{t - 1}} \ln \frac{\sum\limits_{x_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x_t, \mathbb{D}_t, x_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x_{t - 1} | x_t]}{\sum\limits_{x'_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x'_t, \mathbb{D}_t, x'_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x'_{t - 1} | x'_t]}$ + } \nonumber \\ + & \adjustbox{max width=0.275\linewidth}{ + $+ \sup\limits_{x_t, x_t', \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]}$ + } +\end{align} +% +The outputs $\pmb{o}_1$, \dots, $\pmb{o}_t$ and $x_t$ (or $x'_t$) are conditionally independent in the presence of +$x_{t - 1}$ (or $x'_{t - 1}$), and thus Equation~\ref{eq:bpl-4} can be written as: + +\begin{align} + \label{eq:bpl-5} + (\ref{eq:bpl-4}) = & + \adjustbox{max width=0.9\linewidth}{ + $\sup\limits_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_{t - 1}} \ln \cfrac{\sum\limits_{x_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x_{t - 1} | x_t]}{\sum\limits_{x'_{t - 1}} \underbrace{\Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x'_{t - 1}, \mathbb{D}_{t - 1}]}_{\alpha^B_{t - 1}} \underbrace{\Pr[x'_{t - 1} | x'_t]}_{P^B_{t - 1}}}$ + } \nonumber \\ + & \adjustbox{max width=0.4\linewidth}{ + $+ \underbrace{\sup\limits_{x_t, x'_t, \pmb{o}_t} \ln \cfrac{\Pr[\pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]}}_{\varepsilon_t}$ + } +\end{align} + +\begin{definition} + [Forward privacy loss (FPL)] + \label{def:fpl} + The potential privacy loss of a privacy mechanism at a timestamp $t \leq T$ due to outputs $\pmb{o}_t$,\dots,$\pmb{o}_T$ and temporal correlations in its input $D_t$ with respect to any adversary, targeting an individual with potential data item $x_t$ (or $x'_t$) and having knowledge $\mathbb{D}_t$ equal to $D_t - \{x_t\}$ (or $D'_t - \{x'_t\}$), is called forward privacy loss and is defined as: + + \begin{equation} + \label{eq:fpl-1} + \alpha^F_t = \sup_{x_t, x'_t, \pmb{o}_t, \dots, \pmb{o}_T} \ln \frac{\Pr[\pmb{o}_t, \dots, \pmb{o}_T | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t, \dots, \pmb{o}_T | x'_t, \mathbb{D}_t]} + \end{equation} +\end{definition} +% +Similar to the way that we concluded to Equation~\ref{eq:bpl-5} from Equation~\ref{eq:bpl-1} we can write Equation~\ref{eq:fpl-1} as follows: + +\begin{align} + \label{eq:fpl-2} + (\ref{eq:fpl-1}) = & + \adjustbox{max width=0.9\linewidth}{ + $\sup\limits_{x_t, x'_t, \pmb{o}_{t + 1}, \dots, \pmb{o}_T} \ln \cfrac{\sum\limits_{x_{t + 1}} \Pr[\pmb{o}_{t + 1}, \dots, \pmb{o}_T | x_{t + 1}, \mathbb{D}_{t + 1}] \Pr[x_{t + 1} | x_t]}{\sum\limits_{x'_{t + 1}} \underbrace{\Pr[\pmb{o}_{t + 1}, \dots, \pmb{o}_T | x'_{t + 1}, \mathbb{D}_{t + 1}]}_{\alpha^F_{t + 1}} \underbrace{\Pr[x'_{t + 1} | x'_t]}_{P^F_{t + 1}}}$ + } \nonumber \\ + & \adjustbox{max width=0.4\linewidth}{ + $+ \underbrace{\sup\limits_{x_t, x'_t, \pmb{o}_t} \ln \cfrac{\Pr[\pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]}}_{\varepsilon_t}$ + } +\end{align} + +Equations~\ref{eq:tpl-1},~\ref{eq:bpl-5}, and~\ref{eq:fpl-2} apply to the global publishing schema. +In the local schema, $D$ (or $D'$) is a single data item and is the same with $x$ (or $x'$), i.e.,~the possible data item of an individual user. +Therefore, we calculate the extra privacy loss under temporal correlations, due to an adversary that targets a user at a timestamp $t$, based on the assumption that their possible data are $D_t$ or $D'_t$. +More specifically, the calculation of TPL (Equation~\ref{eq:tpl-1}) becomes: +\begin{align} + \label{eq:tpl-local} + & \underbrace{\sup_{D_t, D'_t, \pmb{o}_1, \dots, \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_1, \dots, \pmb{o}_t| D_t]}{\Pr[\pmb{o}_1, \dots, \pmb{o}_t | D'_t]}}_{\text{Backward privacy loss}\ (\alpha^B_t)} \nonumber \\ + & + \underbrace{\sup_{D_t, D'_t, \pmb{o}_t, \dots, \pmb{o}_T} \ln \frac{\Pr[\pmb{o}_t, \dots, \pmb{o}_T| D_t]}{\Pr[\pmb{o}_t, \dots, \pmb{o}_T | D'_t]}}_{\text{Forward privacy loss}\ (\alpha^F_t)} \nonumber \\ + & - \underbrace{\sup_{D_t, D'_t, \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_t | D_t]}{\Pr[\pmb{o}_t | D'_t]}}_{\text{Present privacy loss}\ (\varepsilon_t)} +\end{align} +% +The calculation of BPL (Equation~\ref{eq:bpl-5}) becomes: +\begin{align} + \label{eq:bpl-local} + & \adjustbox{max width=0.9\linewidth}{ + $\sup\limits_{D_t, D'_t, \pmb{o}_1, \dots, \pmb{o}_{t - 1}} \ln \cfrac{\sum\limits_{D_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | D_{t - 1}, ] \Pr[D_{t - 1} | D_t]}{\sum\limits_{D'_{t - 1}} \underbrace{\Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | D'_{t - 1}, ]}_{\alpha^B_{t - 1}} \underbrace{\Pr[D'_{t - 1} | D'_t]}_{P^B_{t - 1}}}$ + } \nonumber \\ + & \adjustbox{max width=0.4\linewidth}{ + $+ \underbrace{\sup\limits_{D_t, D'_t, \pmb{o}_t} \ln \cfrac{\Pr[\pmb{o}_t | D_t]}{\Pr[\pmb{o}_t | D'_t]}}_{\varepsilon_t}$ + } +\end{align} +% +The calculation of FPL (Equation~\ref{eq:fpl-2}) becomes: +\begin{align} + \label{eq:fpl-local} + & \adjustbox{max width=0.9\linewidth}{ + $\sup\limits_{D_t, D'_t, \pmb{o}_{t + 1}, \dots, \pmb{o}_T} \ln \cfrac{\sum\limits_{D_{t + 1}} \Pr[\pmb{o}_{t + 1}, \dots, \pmb{o}_T | D_{t + 1}] \Pr[D_{t + 1} | D_t]}{\sum\limits_{D'_{t + 1}} \underbrace{\Pr[\pmb{o}_{t + 1}, \dots, \pmb{o}_T | D'_{t + 1}]}_{\alpha^F_{t + 1}} \underbrace{\Pr[D'_{t + 1} | D'_t]}_{P^F_{t + 1}}}$ + } \nonumber \\ + & \adjustbox{max width=0.4\linewidth}{ + $+ \underbrace{\sup\limits_{D_t, D'_t, \pmb{o}_t} \ln \cfrac{\Pr[\pmb{o}_t | D_t]}{\Pr[\pmb{o}_t | D'_t]}}_{\varepsilon_t}$ + } +\end{align} + +The authors propose solutions to bound the temporal privacy loss, under the presence of weak to moderate correlations, in both finite and infinite data publishing scenarios. +In the latter case, they try to find a value for $\varepsilon$ for which the backward and forward privacy loss are equal. +In the former, they similarly try to balance the backward and forward privacy loss while they allocate more $\varepsilon$ at the first and last timestamps, since they have higher impact to the privacy loss of the next and previous ones. +This way they achieve an overall constant temporal privacy loss throughout the time series. + +According to the technique's intuition, stronger correlations result in higher privacy loss. +However, the loss is less when the dimension of the transition matrix, which is extracted according to the modeling of the correlations (in this work they use Markov chains), is greater due to the fact that larger transition matrices tend to be uniform, resulting in weaker data dependence. +The authors investigate briefly all of the possible privacy levels; however, the solutions that they propose are applied only on the event-level. +Last but not least, the technique requires the calculation of the temporal privacy loss for every individual within the data set that might prove computationally inefficient in real-time scenarios. diff --git a/text/preliminaries/main.tex b/text/preliminaries/main.tex index 83e67b2..a5da8f3 100644 --- a/text/preliminaries/main.tex +++ b/text/preliminaries/main.tex @@ -8,4 +8,5 @@ Third, we provide a brief overview of the seminal works on privacy-preserving da \input{preliminaries/data} \input{preliminaries/privacy} +\input{preliminaries/correlation} \input{preliminaries/summary} diff --git a/text/preliminaries/privacy.tex b/text/preliminaries/privacy.tex index 03b98a3..7a4ade7 100644 --- a/text/preliminaries/privacy.tex +++ b/text/preliminaries/privacy.tex @@ -71,55 +71,15 @@ Information disclosure is typically achieved by combining supplementary (backgro In its general form, this is known as \emph{adversarial} or \emph{linkage} attack. Even though many works directly refer to the general category of linkage attacks, we distinguish also the following sub-categories, addressed in the literature: -\begin{itemize} - \item \emph{Sensitive attribute domain} knowledge. - Here we can identify \emph{homogeneity and skewness} attacks~\cite{machanavajjhala2006diversity,li2007t}, when statistics of the sensitive attribute values are available, and \emph{similarity attack}, when semantics of the sensitive attribute values are available. - \item \emph{Complementary release} attacks~\cite{sweeney2002k} with regard to previous releases of different versions of the same and/or related data sets. - In this category, we also identify the \emph{unsorted matching} attack~\cite{sweeney2002k}, which is achieved when two privacy-protected versions of an original data set are published in the same tuple ordering. - Other instances include: (i)~the \emph{join} attack~\cite{wang2006anonymizing}, when tuples can be identified by joining (on the (quasi-)identifiers) several releases, (ii)~the \emph{tuple correspondence} attack~\cite{fung2008anonymity}, when in case of incremental data certain tuples correspond to certain tuples in other releases, in an injective way, (iii)~the \emph{tuple equivalence} attack~\cite{he2011preventing}, when tuples among different releases are found to be equivalent with respect to the sensitive attribute, and (iv)~the \emph{unknown releases} attack~\cite{shmueli2015privacy}, when the privacy preservation is performed without knowing the previously privacy-protected data sets. - \item \emph{Data dependence} - \begin{itemize} - \item within one data set. - Data tuples and data values within a data set may be correlated, or linked in such a way that information about one person can be inferred even if the person is absent from the database. - Consequently, in this category we put assumptions made on the data generation model based on randomness, like the random world model, the independent and identically distributed data (i.i.d.) model, or the independent-tuples model, which may be unrealistic for many real-world scenarios. - This attack is also known as the \emph{deFinetti's attack}~\cite{kifer2009attacks}. - \item among one data set and previous data releases, and/or other external sources~\cite{kifer2011no, chen2014correlated, liu2016dependence, zhao2017dependent}. - The strength of the dependence between a pair of variables can be quantified with the utilization of \emph{correlations}~\cite{stigler1989francis}. - Correlation implies dependence but not vice versa, however, the two terms are often used as synonyms. - The correlation among nearby observations, i.e.,~the elements in a series of data points, are referenced as \emph{autocorrelation} or \emph{serial correlation}~\cite{park2018fundamentals}. - Depending on the evaluation technique, e.g.,~\emph{Pearson's correlation coefficient}~\cite{stigler1989francis}, a correlation can be characterized as \emph{negative}, \emph{zero}, or \emph{positive}. - A negative value shows that the behavior of one variable is the \emph{opposite} of that of the other, e.g.,~when the one increases the other decreases. - Zero means that the variables are not linked and are \emph{independent} of each other. - A positive correlation indicates that the variables behave in a \emph{similar} manner, e.g.,~when the one decreases the other decreases as well. +\paragraph{Sensitive attribute domain} knowledge. +Here we can identify \emph{homogeneity and skewness} attacks~\cite{machanavajjhala2006diversity,li2007t}, when statistics of the sensitive attribute values are available, and \emph{similarity attack}, when semantics of the sensitive attribute values are available. - The most prominent types of correlations might be: - \begin{itemize} - \item \emph{Temporal}~\cite{wei2006time}---appearing in observations (i.e.,~values) of the same object over time. - \item \emph{Spatial}~\cite{legendre1993spatial, anselin1995local}---denoted by the degree of similarity of nearby data points in space, and indicating if and how phenomena relate to the (broader) area where they take place. - \item \emph{Spatiotemporal}---a combination of the previous categories, appearing when processing time series or sequences of human activities with geolocation characteristics, e.g.,~\cite{ghinita2009preventing}. - \end{itemize} - Contrary to one-dimensional correlations, spatial correlation is multi-dimensional and multi-directional, and can be measured by indicators (e.g.,~\emph{Moran's I}~\cite{moran1950notes}) that reflect the \emph{spatial association} of the concerned data. - Spatial autocorrelation has its foundations in the \emph{First Law of Geography} stating that ``everything is related to everything else, but near things are more related than distant things''~\cite{tobler1970computer}. - A positive spatial autocorrelation indicates that similar data are \emph{clustered}, a negative that data are dispersed and are close to dissimilar ones, and when close to zero, that data are \emph{randomly arranged} in space. - \end{itemize} +\paragraph{Complementary release} attacks~\cite{sweeney2002k} with regard to previous releases of different versions of the same and/or related data sets. +In this category, we also identify the \emph{unsorted matching} attack~\cite{sweeney2002k}, which is achieved when two privacy-protected versions of an original data set are published in the same tuple ordering. +Other instances include: (i)~the \emph{join} attack~\cite{wang2006anonymizing}, when tuples can be identified by joining (on the (quasi-)identifiers) several releases, (ii)~the \emph{tuple correspondence} attack~\cite{fung2008anonymity}, when in case of incremental data certain tuples correspond to certain tuples in other releases, in an injective way, (iii)~the \emph{tuple equivalence} attack~\cite{he2011preventing}, when tuples among different releases are found to be equivalent with respect to the sensitive attribute, and (iv)~the \emph{unknown releases} attack~\cite{shmueli2015privacy}, when the privacy preservation is performed without knowing the previously privacy-protected data sets. - A common practice for extracting data dependencies from continuous data, is by expressing the data as a \emph{stochastic} or \emph{random process}. - A random process is a collection of \emph{random variables} or \emph{bivariate data}, indexed by some set, e.g.,~a series of timestamps, a Cartesian plane $\mathbb{R}^2$, an $n$-dimensional Euclidean space, etc.~\cite{skorokhod2005basic}. - The values a random variable can take are outcomes of an unpredictable process, while bivariate data are pairs of data values with a possible association between them. - Expressing data as stochastic processes allows their modeling depending on their properties, and thereafter the discovery of relevant data dependencies. - Some common stochastic processes modeling techniques include: - - \begin{itemize} - \item \emph{Conditional probabilities}~\cite{allan2013probability}---probabilities of events in the presence of other events. - \item \emph{Conditional Random Fields} (CRFs)~\cite{lafferty2001conditional}---undirected graphs encoding conditional probability distributions. - \item \emph{Markov processes}~\cite{rogers2000diffusions}---stochastic processes for which the conditional probability of their future states depends only on the present state and it is independent of its previous states (\emph{Markov assumption}). - \begin{itemize} - \item \emph{Markov chains}~\cite{gagniuc2017markov}---sequences of possible events whose probability depends on the state attained in the previous event. - \item \emph{Hidden Markov Models} (HMMs)~\cite{baum1966statistical}---statistical Markov models of Markov processes with unobserved states. - \end{itemize} - \end{itemize} - -\end{itemize} +\paragraph{Data dependence} either within one data set or among one data set and previous data releases, and/or other external sources~\cite{kifer2011no, chen2014correlated, liu2016dependence, zhao2017dependent}. +We will look into this category in more detail later in Section~\ref{sec:correlation}. The first sub-category of attacks has been mainly addressed in works on snapshot microdata publishing, and is still present in continuous publishing; however, algorithms for continuous publishing typically accept the proposed solutions for the snapshot publishing scheme (see discussion over $k$-anonymity and $l$-diversity in Section~\ref{subsec:prv-seminal}). This kind of attacks is tightly coupled with publishing the (privacy-protected) sensitive attribute value. @@ -314,174 +274,6 @@ When the users consider recent data releases more privacy sensitive than distant A set of $m \in \mathbb{Z}^+$ independent privacy mechanisms, satisfying $\varepsilon_1$-, $\varepsilon_2$-,\dots, $\varepsilon_m$-differential privacy respectively, satisfy $\sum_{i = 1}^m g(i) \varepsilon_i$ differential privacy for a discount function $g$. \end{theorem} -% The presence of temporal correlations might result into additional privacy loss consisting of \emph{backward privacy loss} $\alpha^B$ and \emph{forward privacy loss} $\alpha^F$~\cite{cao2017quantifying}. -Cao et al.~\cite{cao2017quantifying} propose a method for computing the temporal privacy loss (TPL) of a differential privacy mechanism in the presence of temporal correlations and background knowledge. -The goal of their technique is to guarantee privacy protection and to bound the privacy loss at every timestamp under the assumption of independent data releases. -It calculates the temporal privacy loss as the sum of the backward and forward privacy loss minus the default privacy loss $\varepsilon$ of the mechanism (because it is counted twice in the aforementioned entities). -This calculation is done for each individual that is included in the original data set and the overall temporal privacy loss is equal to the maximum calculated value at every timestamp. -The backward/forward privacy loss at any timestamp depends on the backward/forward privacy loss at the previous/next timestamp, the backward/forward temporal correlations, and $\varepsilon$. - -\begin{definition} - [Temporal privacy loss (TPL)] - \label{def:tpl} - The potential privacy loss of a privacy mechanism at a timestamp $t \leq T$ due to a series of outputs $\pmb{o}_1$, \dots, $\pmb{o}_T$ and temporal correlations in its input $D_t$ with respect to any adversary, targeting an individual with potential data items $x_t$ (or $x'_t$) and having knowledge $\mathbb{D}_t$ equal to $D_t - \{x_t\}$ (or $D'_t - \{x'_t\}$), is defined as: - - \begin{equation} - \label{eq:tpl} - \alpha_t = \sup_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_T} \ln \frac{\Pr[\pmb{o}_1, \dots, \pmb{o}_T | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_1, \dots, \pmb{o}_T | x'_t, \mathbb{D}_t]} - \end{equation} -\end{definition} -% -By analyzing Equation~\ref{eq:tpl} we get the following: - -\begin{align} - \label{eq:tpl-1} - (\ref{eq:tpl}) = & \underbrace{\sup_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_1, \dots, \pmb{o}_t| x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_1, \dots, \pmb{o}_t | x'_t, \mathbb{D}_t]}}_{\text{Backward privacy loss}\ (\alpha^B_t)} \nonumber \\ - & + \underbrace{\sup_{x_t, x'_t, \pmb{o}_t, \dots, \pmb{o}_T} \ln \frac{\Pr[\pmb{o}_t, \dots, \pmb{o}_T| x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t, \dots, \pmb{o}_T | x'_t, \mathbb{D}_t]}}_{\text{Forward privacy loss}\ (\alpha^F_t)} \nonumber \\ - & - \underbrace{\sup_{x_t, x'_t, \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_t | x_t, \mathbb{D}_t] }{\Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]}}_{\text{Present privacy loss}\ (\varepsilon_t)} -\end{align} - -\begin{definition} - [Backward privacy loss (BPL)] - \label{def:bpl} - The potential privacy loss of a privacy mechanism at a timestamp $t \leq T$ due to outputs $\pmb{o}_1$, \dots, $\pmb{o}_t$ and temporal correlations in its input $D_t$ with respect to any adversary, targeting an individual with potential data items $x_t$ (or $x'_t$) and having knowledge $\mathbb{D}_t$ equal to $D_t - \{x_t\}$ (or $D'_t - \{x'_t\}$), is called backward privacy loss and is defined as: - - \begin{equation} - \label{eq:bpl-1} - \alpha^B_t = \sup_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_1, \dots, \pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_1, \dots, \pmb{o}_t | x'_t, \mathbb{D}_t]} - \end{equation} - -\end{definition} -% -From differential privacy we have the assumption that $\pmb{o}_1$, \dots, $\pmb{o}_t$ are independent events. -Therefore, according to the Bayesian theorem, we can write Equation~\ref{eq:bpl-1} as: - -\begin{align} - \label{eq:bpl-2} - (\ref{eq:bpl-1}) = & \sup_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1}| x_t, \mathbb{D}_t] \Pr[\pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x'_t, \mathbb{D}_t] \Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]} \nonumber \\ - = & \sup_{x_t, x_t', \pmb{o}_1, \dots, \pmb{o}_{t - 1}} \ln \frac{\Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x_t', \mathbb{D}_t]} \nonumber \\ - & + \sup_{x_t, x_t', \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]} -\end{align} -% -Applying the law of total probability to the first term of Equation~\ref{eq:bpl-2} for all the possible data $x_{t - 1}$ (or $x'_{t - 1}$) and $\mathbb{D}_{t - 1}$ we get the following: - -\begin{align} - \label{eq:bpl-3} - (\ref{eq:bpl-2}) = & - \adjustbox{max width=0.9\linewidth}{ - $\sup\limits_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_{t - 1}} \ln \frac{\sum\limits_{x_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x_t, \mathbb{D}_t, x_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x_{t - 1}, \mathbb{D}_{t - 1} | x_t, \mathbb{D}_t]}{\sum\limits_{x'_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x'_t, \mathbb{D}_t, x'_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x'_{t - 1}, \mathbb{D}_{t - 1} | x'_t, \mathbb{D}_t]}$ - } \nonumber \\ - & \adjustbox{max width=0.3\linewidth}{ - $+ \sup\limits_{x_t, x_t', \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]}$ - } -\end{align} -% -Since $\mathbb{D}_t$ is equal to $D_t - \{x_t\}$ (or $D'_t - \{x'_t\}$), and thus is constant and independent of every possible $x_t$ (or $x'_t$), $\forall t \leq T$, Equation~\ref{eq:bpl-3} can be written as: - -\begin{align} - \label{eq:bpl-4} - (\ref{eq:bpl-3}) = & - \adjustbox{max width=0.9\linewidth}{ - $\sup\limits_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_{t - 1}} \ln \frac{\sum\limits_{x_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x_t, \mathbb{D}_t, x_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x_{t - 1} | x_t, \mathbb{D}_t] \Pr[\mathbb{D}_{t - 1} | x_t, \mathbb{D}_t]}{\sum\limits_{x'_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x'_t, \mathbb{D}_t, x'_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x'_{t - 1} | x'_t, \mathbb{D}_t] \Pr[\mathbb{D}_{t - 1} | x'_t, \mathbb{D}_t]}$ - } \nonumber \\ - & \adjustbox{max width=0.275\linewidth}{ - $+ \sup\limits_{x_t, x_t', \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]}$ - } \nonumber \\ - = & \adjustbox{max width=0.825\linewidth}{ - $\sup\limits_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_{t - 1}} \ln \frac{\sum\limits_{x_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x_t, \mathbb{D}_t, x_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x_{t - 1} | x_t] \Pr[\mathbb{D}_{t - 1} | \mathbb{D}_t]}{\sum\limits_{x'_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x'_t, \mathbb{D}_t, x'_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x'_{t - 1} | x'_t] \Pr[\mathbb{D}_{t - 1} | \mathbb{D}_t]}$ - } \nonumber \\ - & \adjustbox{max width=0.275\linewidth}{ - $+ \sup\limits_{x_t, x_t', \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]}$ - } \nonumber \\ - = & \adjustbox{max width=0.7\linewidth}{ - $\sup\limits_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_{t - 1}} \ln \frac{\sum\limits_{x_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x_t, \mathbb{D}_t, x_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x_{t - 1} | x_t]}{\sum\limits_{x'_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x'_t, \mathbb{D}_t, x'_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x'_{t - 1} | x'_t]}$ - } \nonumber \\ - & \adjustbox{max width=0.275\linewidth}{ - $+ \sup\limits_{x_t, x_t', \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]}$ - } -\end{align} -% -The outputs $\pmb{o}_1$, \dots, $\pmb{o}_t$ and $x_t$ (or $x'_t$) are conditionally independent in the presence of -$x_{t - 1}$ (or $x'_{t - 1}$), and thus Equation~\ref{eq:bpl-4} can be written as: - -\begin{align} - \label{eq:bpl-5} - (\ref{eq:bpl-4}) = & - \adjustbox{max width=0.9\linewidth}{ - $\sup\limits_{x_t, x'_t, \pmb{o}_1, \dots, \pmb{o}_{t - 1}} \ln \cfrac{\sum\limits_{x_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x_{t - 1}, \mathbb{D}_{t - 1}] \Pr[x_{t - 1} | x_t]}{\sum\limits_{x'_{t - 1}} \underbrace{\Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | x'_{t - 1}, \mathbb{D}_{t - 1}]}_{\alpha^B_{t - 1}} \underbrace{\Pr[x'_{t - 1} | x'_t]}_{P^B_{t - 1}}}$ - } \nonumber \\ - & \adjustbox{max width=0.4\linewidth}{ - $+ \underbrace{\sup\limits_{x_t, x'_t, \pmb{o}_t} \ln \cfrac{\Pr[\pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]}}_{\varepsilon_t}$ - } -\end{align} - -\begin{definition} - [Forward privacy loss (FPL)] - \label{def:fpl} - The potential privacy loss of a privacy mechanism at a timestamp $t \leq T$ due to outputs $\pmb{o}_t$,\dots,$\pmb{o}_T$ and temporal correlations in its input $D_t$ with respect to any adversary, targeting an individual with potential data item $x_t$ (or $x'_t$) and having knowledge $\mathbb{D}_t$ equal to $D_t - \{x_t\}$ (or $D'_t - \{x'_t\}$), is called forward privacy loss and is defined as: - - \begin{equation} - \label{eq:fpl-1} - \alpha^F_t = \sup_{x_t, x'_t, \pmb{o}_t, \dots, \pmb{o}_T} \ln \frac{\Pr[\pmb{o}_t, \dots, \pmb{o}_T | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t, \dots, \pmb{o}_T | x'_t, \mathbb{D}_t]} - \end{equation} -\end{definition} -% -Similar to the way that we concluded to Equation~\ref{eq:bpl-5} from Equation~\ref{eq:bpl-1} we can write Equation~\ref{eq:fpl-1} as follows: - -\begin{align} - \label{eq:fpl-2} - (\ref{eq:fpl-1}) = & - \adjustbox{max width=0.9\linewidth}{ - $\sup\limits_{x_t, x'_t, \pmb{o}_{t + 1}, \dots, \pmb{o}_T} \ln \cfrac{\sum\limits_{x_{t + 1}} \Pr[\pmb{o}_{t + 1}, \dots, \pmb{o}_T | x_{t + 1}, \mathbb{D}_{t + 1}] \Pr[x_{t + 1} | x_t]}{\sum\limits_{x'_{t + 1}} \underbrace{\Pr[\pmb{o}_{t + 1}, \dots, \pmb{o}_T | x'_{t + 1}, \mathbb{D}_{t + 1}]}_{\alpha^F_{t + 1}} \underbrace{\Pr[x'_{t + 1} | x'_t]}_{P^F_{t + 1}}}$ - } \nonumber \\ - & \adjustbox{max width=0.4\linewidth}{ - $+ \underbrace{\sup\limits_{x_t, x'_t, \pmb{o}_t} \ln \cfrac{\Pr[\pmb{o}_t | x_t, \mathbb{D}_t]}{\Pr[\pmb{o}_t | x'_t, \mathbb{D}_t]}}_{\varepsilon_t}$ - } -\end{align} - -Equations~\ref{eq:tpl-1},~\ref{eq:bpl-5}, and~\ref{eq:fpl-2} apply to the global publishing schema. -In the local schema, $D$ (or $D'$) is a single data item and is the same with $x$ (or $x'$), i.e.,~the possible data item of an individual user. -Therefore, we calculate the extra privacy loss under temporal correlations, due to an adversary that targets a user at a timestamp $t$, based on the assumption that their possible data are $D_t$ or $D'_t$. -More specifically, the calculation of TPL (Equation~\ref{eq:tpl-1}) becomes: -\begin{align} - \label{eq:tpl-local} - & \underbrace{\sup_{D_t, D'_t, \pmb{o}_1, \dots, \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_1, \dots, \pmb{o}_t| D_t]}{\Pr[\pmb{o}_1, \dots, \pmb{o}_t | D'_t]}}_{\text{Backward privacy loss}\ (\alpha^B_t)} \nonumber \\ - & + \underbrace{\sup_{D_t, D'_t, \pmb{o}_t, \dots, \pmb{o}_T} \ln \frac{\Pr[\pmb{o}_t, \dots, \pmb{o}_T| D_t]}{\Pr[\pmb{o}_t, \dots, \pmb{o}_T | D'_t]}}_{\text{Forward privacy loss}\ (\alpha^F_t)} \nonumber \\ - & - \underbrace{\sup_{D_t, D'_t, \pmb{o}_t} \ln \frac{\Pr[\pmb{o}_t | D_t]}{\Pr[\pmb{o}_t | D'_t]}}_{\text{Present privacy loss}\ (\varepsilon_t)} -\end{align} -% -The calculation of BPL (Equation~\ref{eq:bpl-5}) becomes: -\begin{align} - \label{eq:bpl-local} - & \adjustbox{max width=0.9\linewidth}{ - $\sup\limits_{D_t, D'_t, \pmb{o}_1, \dots, \pmb{o}_{t - 1}} \ln \cfrac{\sum\limits_{D_{t - 1}} \Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | D_{t - 1}, ] \Pr[D_{t - 1} | D_t]}{\sum\limits_{D'_{t - 1}} \underbrace{\Pr[\pmb{o}_1, \dots, \pmb{o}_{t - 1} | D'_{t - 1}, ]}_{\alpha^B_{t - 1}} \underbrace{\Pr[D'_{t - 1} | D'_t]}_{P^B_{t - 1}}}$ - } \nonumber \\ - & \adjustbox{max width=0.4\linewidth}{ - $+ \underbrace{\sup\limits_{D_t, D'_t, \pmb{o}_t} \ln \cfrac{\Pr[\pmb{o}_t | D_t]}{\Pr[\pmb{o}_t | D'_t]}}_{\varepsilon_t}$ - } -\end{align} -% -The calculation of FPL (Equation~\ref{eq:fpl-2}) becomes: -\begin{align} - \label{eq:fpl-local} - & \adjustbox{max width=0.9\linewidth}{ - $\sup\limits_{D_t, D'_t, \pmb{o}_{t + 1}, \dots, \pmb{o}_T} \ln \cfrac{\sum\limits_{D_{t + 1}} \Pr[\pmb{o}_{t + 1}, \dots, \pmb{o}_T | D_{t + 1}] \Pr[D_{t + 1} | D_t]}{\sum\limits_{D'_{t + 1}} \underbrace{\Pr[\pmb{o}_{t + 1}, \dots, \pmb{o}_T | D'_{t + 1}]}_{\alpha^F_{t + 1}} \underbrace{\Pr[D'_{t + 1} | D'_t]}_{P^F_{t + 1}}}$ - } \nonumber \\ - & \adjustbox{max width=0.4\linewidth}{ - $+ \underbrace{\sup\limits_{D_t, D'_t, \pmb{o}_t} \ln \cfrac{\Pr[\pmb{o}_t | D_t]}{\Pr[\pmb{o}_t | D'_t]}}_{\varepsilon_t}$ - } -\end{align} - -The authors propose solutions to bound the temporal privacy loss, under the presence of weak to moderate correlations, in both finite and infinite data publishing scenarios. -In the latter case, they try to find a value for $\varepsilon$ for which the backward and forward privacy loss are equal. -In the former, they similarly try to balance the backward and forward privacy loss while they allocate more $\varepsilon$ at the first and last timestamps, since they have higher impact to the privacy loss of the next and previous ones. -This way they achieve an overall constant temporal privacy loss throughout the time series. - -According to the technique's intuition, stronger correlations result in higher privacy loss. -However, the loss is less when the dimension of the transition matrix, which is extracted according to the modeling of the correlations (in this work they use Markov chains), is greater due to the fact that larger transition matrices tend to be uniform, resulting in weaker data dependence. -The authors investigate briefly all of the possible privacy levels; however, the solutions that they propose are applied only on the event-level. -Last but not least, the technique requires the calculation of the temporal privacy loss for every individual within the data set that might prove computationally inefficient in real-time scenarios. - When dealing with temporally correlated data, we handle a sequence of $w \leq t \in \mathbb{Z}^+$ mechanisms (indexed by $m \in [1, t]$) as a single entity where each mechanism contributes to the temporal privacy loss depending on its order of application~\cite{cao2017quantifying}. The first ($m - 1$ if $w \leq 2$ or $m - w + 1$ if $w > 2$) and last ($m$) mechanisms contribute to the backward and forward temporal privacy loss respectively. When $w$ is greater than $2$, the rest of the mechanisms (between $m - w + 2$ and $m - 1$) contribute only to the privacy loss that is corresponding to the publication of the relevant data. From 2c34955163541f53bb5dc248ea3eb4223519f21c Mon Sep 17 00:00:00 2001 From: Manos Katsomallos Date: Tue, 27 Jul 2021 09:19:09 +0300 Subject: [PATCH 8/9] privacy: Better titles --- text/preliminaries/privacy.tex | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/text/preliminaries/privacy.tex b/text/preliminaries/privacy.tex index 7a4ade7..0097b52 100644 --- a/text/preliminaries/privacy.tex +++ b/text/preliminaries/privacy.tex @@ -1,4 +1,4 @@ -\section{Privacy} +\section{Data privacy} \label{sec:privacy} When personal data are publicly released, either as microdata or statistical data, individuals' privacy can be compromised, i.e,~an adversary becomes certain about an individual's personal information with a probability higher than a desired threshold. @@ -19,7 +19,7 @@ Identity disclosure appears when we can guess that the sixth record of (a privac Attribute disclosure appears when it is revealed from (a privacy-protected version of) the microdata of Table~\ref{tab:snapshot-micro} that Quackmore is $62$ years old. -\subsection{Levels} +\subsection{Levels of privacy protection} \label{subsec:prv-levels} The information disclosure that a data release may entail is linked to the protection level that indicates \emph{what} a privacy-preserving algorithm is trying to achieve. @@ -64,7 +64,7 @@ In the extreme cases where $w$ is equal to either $1$ or to the size of the enti Although the described levels have been coined in the context of \emph{differential privacy}~\cite{dwork2006calibrating}, a seminal privacy method that we will discuss in more detail in Section~\ref{subsec:prv-statistical}, it is possible to apply their definitions to other privacy protection techniques as well. -\subsection{Attacks} +\subsection{Attacks to privacy} \label{subsec:prv-attacks} Information disclosure is typically achieved by combining supplementary (background) knowledge with the released data or by setting unrealistic assumptions while designing the privacy-preserving algorithms. @@ -91,7 +91,7 @@ By the data dependence attack, the status of Donald could be more certainly infe In order to better protect the privacy of Donald in case of attacks, the data should be privacy-protected in a more adequate way (than without the attacks). -\subsection{Operations} +\subsection{Privacy-preserving operations} \label{subsec:prv-operations} Protecting private information, which is known by many names (obfuscation, cloaking, anonymization, etc.), is achieved by using a specific basic privacy protection operation. @@ -116,7 +116,7 @@ Our focus is limited to techniques that achieve a satisfying balance between bot For these reasons, there will be no further discussion around this family of techniques in this article. -\subsection{Seminal works} +\subsection{Seminal works in privacy protection} \label{subsec:prv-seminal} For completeness, in this section we present the seminal works for privacy-preserving data publishing, which, even though originally designed for the snapshot publishing scenario, have paved the way, since many of the works in privacy-preserving continuous publishing are based on or extend them. From d50046a10ed67630c372cd0e3ddac23c16fb4476 Mon Sep 17 00:00:00 2001 From: Manos Katsomallos Date: Tue, 27 Jul 2021 09:19:33 +0300 Subject: [PATCH 9/9] correlation: Better title --- text/preliminaries/correlation.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/text/preliminaries/correlation.tex b/text/preliminaries/correlation.tex index f7a2708..f9fc7ed 100644 --- a/text/preliminaries/correlation.tex +++ b/text/preliminaries/correlation.tex @@ -1,4 +1,4 @@ -\section{Dependence and correlation} +\section{Data dependence and correlation} \label{sec:correlation}