Описание отношений всех событий строится с помощью теории совокупности [116].
Язык данной логики формируется следующим образом:
смыслы: S – предмет, P - примета, E – событие;
отношение между смыслами: “~”, “–“, “” и “=”;
метасимволы: возможное отрицание, “(~)”;
технические символы: левая скобка “(“, правая скобка “)”, запятая “,” нижний индекс, 1, 2, …, i, n, и многоточие, “…”.
Полная новороссийская формула представляет следующие выражение:
𝑆– 𝑃𝑢1, … , 𝑃𝑢𝑚, (1.6)
где Pu1, …, Pum — универсумы.
S–Pu1, …, Pum, (~)Pm+1,…, (~)Pn,
где Pu1, …, Pum — универсумы (конечны числом), а (~)Pm+1,…, (~)Pn — приметы, не являющиеся универсумами, также конечного числа; метасимвол “(~)” означает “с отрицанием или без”.
Чтобы перейти к строгим обозначениям в терминах теории множеств, введем следующее: S – это предмет «сетевой пакет», 𝑃𝑢 –примета
«передается», P1-P13 - переменные, соответствующие первичным внешним событиям.
Правила событий изменения состояния принимающего узла в штатном режиме работы и во время DDoS атаки:
iaE1 = S-𝑃𝑢,~P1,~P2,~P3,~P4,~P5~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 ibE2 = S-𝑃𝑢, P1,~P2,~P3,~P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 ibE3 = S-𝑃𝑢, P1, P2,~P3,~P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 ibE4 = S-𝑃𝑢, P1, P2,~P3,~P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 ibE5 = S-𝑃𝑢, P1, P2,~P3, P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 ibE6 = 𝑃𝑢, P1, P2,~P3,~P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 ibE7 = S-𝑃𝑢, P1, P2,~P3, P4,~P5, P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 ibE8 = S-𝑃𝑢, P1, P2,~P3, P4,~P5, P6, P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 ibE9 = S-𝑃𝑢, P1, P2,~P3, P4, ~P5, P6, P7, P8,~P9,~P10,~P11,~P12,~P13,~P14 ibE10 = S-𝑃𝑢, P1, P2,~P3, P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 ibE11 = S-𝑃𝑢, P1, P2,~P3, P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 ibE12 = S-𝑃𝑢, P1, P2,~P3, P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 ibE13 = S-𝑃𝑢, P1, P2,~P3, P4, P6, P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14
ibE14 = S-𝑃𝑢, P1, P2,~P3, P4,~P5,P6, P7, P8,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiE15 = S-𝑃𝑢, P1,~P2,~P3,~P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiE16 = S-𝑃𝑢, P1, P2,~P3,~P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiE17 = S-𝑃𝑢, P1,~P2,~P3,~P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiE18 = S-𝑃𝑢, P1, P2,~P3,P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiE19 = S-𝑃𝑢, P1, P2,~P3,~P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14
iiE20 = S-𝑃𝑢, P1, P2,~P3, P4,~P5, P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiE21 = S-𝑃𝑢, P1, P2,~P3, P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiE22 = S-𝑃𝑢, P1, P2,~P3, P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiE23 = S-𝑃𝑢, P1, P2,~P3, P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiE24 = S-𝑃𝑢, P1, P2,~P3, P4,~P5, P6, P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiE25 = S-𝑃𝑢, P1, P2,~P3, P4,~P5, P6, P7, P8,~P9,~P10,~P11,~P12,~P13,~P14 iiE26 = S-𝑃𝑢, P1, P2,~P3, P4,~P5, P6, P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiE27 = S-𝑃𝑢, P1, P2,~P3, P4,~P5, P6, P7, P8,~P9,~P10,~P11,~P12,~P13,~P14 iiE28 = S-𝑃𝑢, P1, P2,~P3, P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiE29 = S-𝑃𝑢, P1, P2,~P3, P4,~P5, P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiE30 = S-𝑃𝑢, P1, P2,~P3, P4,~P5, P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiE31 = S-𝑃𝑢, P1, P2, ~P3,~P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiiE1 = S-𝑃𝑢,~P1,~P2,~P3,~P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiiE15 = S-𝑃𝑢, P1,~P2,~P3,~P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14 iiiE16 = S-𝑃𝑢, P1, P2,~P3,~P4,~P5,~P6,~P7,~P8,~P9,~P10,~P11,~P12,~P13,~P14
Do'stlaringiz bilan baham: |