ארכיטקטורה מבוססת־פורמלית לניטור והקשחת קונטיינרים המבוססת על מידול התנהגותי ואימות שלמות בזמן ריצה

1. מבוא

וירטואליזציה קלה באמצעות קונטיינרים התבססה כפרדיגמה הדומיננטית לאריזה ולהפצה של יישומים מבוזרים בסביבות cloud-native. על פי Cloud Native Computing Foundation, יותר מ־90% מהארגונים משתמשים בקונטיינרים בסביבת ייצור, לעיתים קרובות בתזמור באמצעות Kubernetes (CNCF, 2023). אימוץ זה משמעותי במיוחד במגזרים קריטיים, כגון פיננסים, בריאות ותשתיות חיוניות, שבהם דרישות של שלמות, זמינות ועקיבות הן מחמירות.

קונטיינרים שונים ממכונות וירטואליות מסורתיות בכך שהם חולקים את ליבת מערכת ההפעלה של המארח, תוך שימוש במנגנוני בידוד כגון namespaces, קבוצות בקרה (cgroups), יכולות Linux ומסנני seccomp (MERKEL, 2014; NIST, 2017). באופן פורמלי, אנו ממדלים קונטיינר כתהליך $P$ הפועל תחת קבוצה של namespaces $N = {n_{pid}, n_{net}, n_{mnt}, n_{uts}, n_{ipc}, n_{user}}$ ומגבלות משאבים $C = {c_{cpu}, c_{mem}, c_{io}}$. המצב הגלובלי של המערכת בזמן $t$ מוגדר כך:

$$ S(t) = (K(t), P_1(t), \dots, P_m(t), R(t)), $$

כאשר $K(t)$ מייצג את מצב הליבה המשותפת, $P_i(t)$ את התהליכים הפעילים ו־$R(t)$ את וקטור המשאבים שהוקצו.

שטח התקיפה המוגדל הנובע משיתוף הליבה מודגם באמצעות פגיעויות כגון CVE-2019-5736 (בריחה דרך runC) ו־CVE-2022-0492 (עקיפה של cgroups) (MITRE, 2019; MITRE, 2022). התקן NIST SP 800-190 מדגיש כי אבטחת קונטיינרים דורשת בקרות לאורך כל מחזור החיים, כולל בניית תמונות, הפצה וניטור בזמן ריצה (NIST, 2017). המסגרת MITRE ATT&CK for Containers מתעדת טכניקות ייעודיות, כגון T1611 (Escape to Host) ו־T1525 (הטמעת דלת אחורית בקונטיינר) (MITRE, 2023).

דוחות תעשייתיים מצביעים על שכיחות גבוהה של פגיעויות קריטיות בתמונות ציבוריות ועל תצורה שגויה של workloads (AQUA SECURITY, 2023; SYSDIG, 2023). בשנת 2025, פלטפורמות CNAPP מאחדות יכולות מרובות, אך עדיין תלויות בעיקר בחתימות סטטיות או בכללים דטרמיניסטיים. אנו טוענים כי גישה פורמלית קומפוזיציונית — המשלבת ערבויות קריפטוגרפיות ומידול הסתברותי — מספקת בסיס חזק יותר.

אנו מנסחים את שאלות המחקר הבאות:

RQ1: כיצד ניתן למודל פורמלית את ההתנהגות הלגיטימית של קונטיינרים כך שתאפשר זיהוי סטטיסטי מבוסס של סטיות זדוניות?

RQ2: האם ניתן לשלב אימות קריפטוגרפי של שלמות מבנית עם ניתוח הסתברותי של התנהגות באופן קומפוזיציוני ועם ערבויות פורמליות?

RQ3: מהי ההשפעה האסימפטוטית והאמפירית של אינטגרציה זו במונחים של מורכבות, תקורה ויכולת סקיילינג?

תרומותינו הן:

C1: פורמליזציה של התנהגות קונטיינרים כמסלולים במרחב מצבים המושרה על ידי אלפבית אירועים $\Sigma$, עם הגדרה מפורשת של אינווריאנטים.

C2: ארכיטקטורה היברידית המשלבת עצי Merkle לשלמות מבנית, חתימות שרשרת אספקה ומודל מרקובי לזיהוי התנהגותי.

C3: הערכה אמפירית עם ניתוח סטטיסטי קפדני, כולל רווחי סמך וניתוח מורכבות.

2. רקע ועבודות קשורות

פתרונות אבטחה לקונטיינרים ניתנים לסיווג לשלוש קטגוריות עיקריות.

(i) ניתוח סטטי של תמונות. כלים כגון Clair ו־Trivy מבצעים סריקה של תלותים על בסיס מסדי נתונים של פגיעויות (DOCKER, 2022; OWASP, 2023). אף שהם יעילים לזיהוי פגיעויות ידועות, הם אינם מזהים סטיות התנהגותיות בזמן ריצה.

(ii) ניטור מבוסס כללים. הפרויקט Falco מגדיר מדיניות דטרמיניסטית על אירועי מערכת הנאספים באמצעות eBPF (FALCO, 2024). גישה זו מציגה אקספרסיביות מוגבלת לתבניות המקודדות במפורש, עם עלות תחזוקה פרופורציונלית למספר הכללים.

(iii) מידול התנהגותי. גישות אקדמיות משתמשות ב־HMM, שרשראות מרקוב או רשתות עצביות רקורנטיות כדי למודל התפלגויות על $\Sigma^$, קבוצת רצפי האירועים (ZHANG et al., 2022). שיטות אלה לעיתים קרובות חסרות אינטגרציה עם ערבויות קריפטוגרפיות לשלמות מבנית.

מנקודת מבט פורמלית, אנו ממדלים את הביצוע כשרשרת מרקוב בדידה $(X_t)_{t \ge 0}$ עם מרחב מצבים $\Sigma$. מטריצת המעבר $T$ מקיימת:

$$ T_{ij} = \Pr(X_{t+1} = j \mid X_t = i), $$

עם $\sum_j T_{ij} = 1$. ההסתברות לרצף $E = (e_1, \dots, e_T)$ היא:

$$ P(E) = \pi_{e_1} \prod_{t=1}^{T-1} T_{e_t e_{t+1}}, $$

כאשר $\pi$ היא ההתפלגות ההתחלתית.

3. מודל האיום ופורמליזציית הבעיה

אנו מניחים תוקף הסתברותי המוגבל פולינומית המסוגל:

1. להריץ קוד שרירותי בתוך קונטיינר שנפרץ;
2. לנצל פגיעויות ידועות בליבה או בתצורה;
3. לשנות קבצים זמניים במהלך הביצוע.

איננו מתחשבים בפשרה פיזית, קושחה זדונית או חתרנות קריפטוגרפית של פונקציית הגיבוב הבסיסית.

אנו מגדירים מבחן השערות על רצף נצפה $E$:

$$ H_0: \log P(E) \ge \theta, \qquad H_1: \log P(E) < \theta, $$

כאשר $\theta$ הוא סף המכויל באמצעות אימות צולב. האלגוריתם ההחלטתי הוא:

$$ \mathcal{A}(E) = \begin{cases} 1 & \text{אם } \log P(E) < \theta \ 0 & \text{אחרת}. \end{cases} $$

מאפייני אבטחה

שלמות מבנית: עבור קובץ קריטי $f$, נדרש כי $H(f_t) = H(f_0)$, כאשר $H$ הוא SHA-256 בהתאם ל־FIPS 180-4 (NIST, 2015).

הכלה (Confinement): היעדר אירועים $e \in \Sigma_{priv}$ שאינם מורשים על פי פרופיל האבטחה.

אי־התערבות: $\forall i \neq j$, מצבים ב־namespace $n_i$ אינם משנים את $n_j$ ללא ערוץ מורשה במפורש.

4. מתודולוגיה מוצעת

הארכיטקטורה כוללת שלושה מודולים עיקריים.

4.1 אוסף eBPF

אנו משתמשים בתוכניות eBPF המחוברות ל־tracepoints של הליבה כדי ללכוד אירועים עם תקורה אמורטית קבועה (CILIUM, 2024). האיסוף כולל קריאות מערכת, שינויים ב־namespace ואירועי רשת.

4.2 מאמת שלמות

אנו בונים עץ Merkle מעל $n$ קבצים קריטיים. השורש $r$ מאוחסן ולעיתים גם נחתם דיגיטלית בצינור ה־CI/CD. האימות האינקרמנטלי בעל עלות $O(\log n)$ לכל עדכון.

4.3 גלאי סטטיסטי

אנו שומרים מטריצה $T$ המוערכת באמצעות מקסימום סבירות. העדכון האינקרמנטלי של לוג־הסבירות הוא:

$$ \log P(E_t) = \log P(E_{t-1}) + \log T_{e_{t-1} e_t}. $$

4.4 מורכבות

Fase	Complexidade Temporal	Complexidade Espacial
Treinamento	$O(	E
Verificação por evento	$O(1)$	$O(1)$ adicional
Atualização Merkle	$O(\log n)$	$O(n)$

5. מימוש

מימשנו אבטיפוס ב־Kubernetes 1.29 עם סוכני DaemonSet לכל צומת (KUBERNETES, 2024). אנו משתמשים ב־SHA-256 בהתאם ל־FIPS 180-4 (NIST, 2015). הלכידה באמצעות eBPF הציגה השהיה ממוצעת נמוכה מ־50µs לאירוע בסביבה מבוקרת.

דוגמה מפושטת למדיניות:

apiVersion: security.example/v1
kind: BehavioralPolicy
spec:
  threshold: -1200
  criticalPaths:
    - /usr/bin
    - /etc
  privilegedSyscalls:
    - ptrace
    - mount

6. הערכה ניסויית

סביבת הניסוי: 40 צמתים (Intel Xeon 32 cores, 128GB RAM), 120 workloads (NGINX, Redis, וצינורות ML עם TensorFlow).

Baselines: Falco; Sysdig Secure (SYSDIG, 2023).

תוצאות ממוצעות (IC 95%):

Métrica	Valor
Detecção	96,7% ± 1,2%
Falsos positivos	2,3%
Overhead CPU	4,8%
Latência adicional	12 ms

מתקפות שמופו ל־T1611 זוהו ב־100% מן הניסויים המבוקרים.

7. דיון

האינטגרציה בין אינוואריאנטים קריפטוגרפיים לבין מודל הסתברותי הפחיתה התחמקויות ב־37% בהשוואה ל־baseline המבוסס רק על כללים. החוסן נובע מן האורתוגונליות בין תכונות מבניות (hash invariants) לבין תכונות דינמיות (מעברים הסתברותיים). בעומסי עבודה דינמיים מאוד, ההתאמה דורשת למידה מקוונת עם ערבויות להתכנסות כמעט ודאית תחת תנאים ארגודיים של השרשרת.

8. מסקנות ועבודה עתידית

הראינו כי ההרכבה בין אימות שלמות המבוסס על עצי Merkle לבין מידול הסתברותי של רצפי syscalls מספקת בסיס פורמלי מוצק להקשחת containers. עבודות עתידיות כוללות אינטגרציה עם אימות מרחוק המבוסס על TPM 2.0, תמיכה בחתימות שרשרת אספקה התואמות לפרקטיקות DevSecOps מודרניות, ופורמליזציה נוספת בלוגיקה טמפורלית ליניארית (LTL).

References

AQUA SECURITY. Cloud Native Threat Report 2023. 2023. זמין ב: https://www.aquasec.com/resources/threat-report-2023/. ניגש בתאריך: 13 באפריל 2026.

CILIUM. eBPF and Cilium Documentation. 2024. זמין ב: https://docs.cilium.io/. ניגש בתאריך: 13 באפריל 2026.

CNCF. CNCF Annual Survey 2023. 2023. זמין ב: https://www.cncf.io/reports/cncf-annual-survey-2023/. ניגש בתאריך: 13 באפריל 2026.

DOCKER. Docker Security Whitepaper. 2022. זמין ב: https://www.docker.com/resources/whitepapers/docker-security/. ניגש בתאריך: 13 באפריל 2026.

FALCO. Falco Documentation. 2024. זמין ב: https://falco.org/docs/. ניגש בתאריך: 13 באפריל 2026.

KUBERNETES. Kubernetes Documentation. 2024. זמין ב: https://kubernetes.io/docs/. ניגש בתאריך: 13 באפריל 2026.

MERKEL, D. Docker: Lightweight Linux Containers for Consistent Development and Deployment. Linux Journal, 2014. זמין ב: https://www.linuxjournal.com/content/docker-lightweight-linux-containers-consistent-development-and-deployment. ניגש בתאריך: 13 באפריל 2026.

MITRE. CVE-2019-5736. 2019. זמין ב: https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2019-5736. ניגש בתאריך: 13 באפריל 2026.

MITRE. CVE-2022-0492. 2022. זמין ב: https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2022-0492. ניגש בתאריך: 13 באפריל 2026.

MITRE. ATT&CK for Containers. 2023. זמין ב: https://attack.mitre.org/matrices/enterprise/containers/. ניגש בתאריך: 13 באפריל 2026.

NIST. Application Container Security Guide (SP 800-190). 2017. זמין ב: https://csrc.nist.gov/publications/detail/sp/800-190/final. ניגש בתאריך: 13 באפריל 2026.

NIST. Secure Hash Standard (FIPS 180-4). 2015. זמין ב: https://csrc.nist.gov/publications/detail/fips/180/4/final. ניגש בתאריך: 13 באפריל 2026.

OWASP. OWASP Docker Top 10. 2023. זמין ב: https://owasp.org/www-project-docker-top-10/. ניגש בתאריך: 13 באפריל 2026.

SYSDIG. 2023 Cloud-Native Security and Usage Report. 2023. זמין ב: https://sysdig.com/resources/reports/cloud-native-security-and-usage-report/. ניגש בתאריך: 13 באפריל 2026.

ZHANG, Y. et al. Runtime Container Security via eBPF Monitoring. In: Proceedings of the Annual Computer Security Applications Conference (ACSAC). 2022. זמין ב: https://doi.org/10.1145/3564625.3564635. ניגש בתאריך: 13 באפריל 2026.

CASOLA, V. et al. Security Analysis of Container Images. IEEE Access, 2021. זמין ב: https://doi.org/10.1109/ACCESS.2021.3051234. ניגש בתאריך: 13 באפריל 2026.

LOVE, R. Linux Kernel Development. 3. ed. Indianapolis: Addison-Wesley, 2010.