Research / Paper Files
Paper Files
Paper Files הם תרגול אישי של לימוד מתמשך ב-cybersecurity שמיישם את השיטה המדעית ככלי למידה. כל מאמר נכתב לא לצורכי פרסום אקדמי, אלא כתרגיל מכוון להשחזת הגרזן — העמקת הידע בנושאים ספציפיים, ארגון רעיונות בקפדנות, והתבוננות כיצד ההבנה של תחומים מסוימים מתפתחת לאורך זמן. זהו המקבילה האינטלקטואלית ליומן אימונים: כל רשומה מתעדת מה נלמד, כיצד נותח, ואילו מסקנות עלו.
אני ממליץ בחום שאנשי אבטחה יאמצו שיטה זו. בחרו נושא שאתם רוצים לשלוט בו, חקרו מקורות ראשוניים (RFCs, מאמרים, תיעוד רשמי), בנו את הטקסט שלכם עם מבוא, מתודולוגיה, ניתוח ומסקנה, וכתבו כאילו אתם מסבירים לעמית. פעולת הכתיבה כופה בהירות מחשבה וחושפת פערים בהבנה שקריאה פסיבית אינה יכולה לגלות. השתמשו במאמרים באתר זה כדוגמאות לפורמט ולעומק, ובנו אוסף משלכם — עם הזמן יהיה לכם מאגר אישי של ידע מעודן שאף קורס או הסמכה אינם יכולים להחליף.
DAI & ADAI · 2026
DAI: A Domain-Specific LLM with Model-Excluded Authority, Capability-Disjoint Verification, and Recomputable Receipts
DAI (Decripte Artificial Intelligence) is a proprietary domain-specific LLM within a governed autonomous defensive architecture. It is an instance of the proposed ADAI category defined in the companion framework paper. T…
Read paper →ADAI · ENAutonomous Defensive AI: An Envelope-and-Evidence Framework for Governed LLMs Acting on Production Infrastructure
ADAI (Autonomous Defensive Artificial Intelligence) is a proposed category of governed autonomous cyber defense. The framework specifies defended perimeters, bounded effects, declared rollback and capability-disjoint ver…
Read paper →16 papers
IAM במודל האיום המודרני של 2026: ארכיטקטורה, תקיפה והגנה זהותית בסביבות ענן, SaaS ו־Zero Trust
ניהול זהויות והרשאות (IAM) הפך עד 2026 לשכבת הבקרה המרכזית של מערכות ארגוניות, משום שהגבול האמיתי בין משתמש, שירות, עומס עבודה ויישום היטשטש כמעט לחלוטין. מאמר זה בוחן את IAM לא כמנגנון אדמיניסטרטיבי בלבד, אלא כתחום תקיפה והגנה קריטי שבו תוקפים ממנפים גניבת זהות, הונאת טוקנים, abuse של OAuth, הרשאות יתר, חולשות ב־SSO, ושרשראות תקיפה בענן כדי להשיג persistence, lateral movement ו־privilege escalation. במקביל, הארגון המודרני נדרש לשלב Zero Trust, PIM/PAM, חיזוק MFA, מדיניות least privilege, נראות מתמשכת, וטלמטריה מבוססת eBPF ו־CNAPP כדי להפחית סיכון תפעולי. המאמר מציג מסגרת פורמלית ל־IAM המתייחסת לזהות כאל אובייקט הסתברותי דינמי: $\text{Risk} = f(\text{identity strength}, \text{session context}, \text{privilege surface}, \text{token lifetime}, \text{behavioral deviation})$. על בסיס זה, מוצעת מתודולוגיה להגנת IAM המשלבת סיווג נכסים זהותיים, מיפוי מסלולי תקיפה, קביעת בקרות מניעתיות וגילוי, ותיעדוף מבוסס סיכון. המתודולוגיה משולבת ביישום מעשי הכולל תצורות אמיתיות עבור Entra ID, Okta, AWS IAM ו־Google Cloud IAM, לצד דוגמאות שימוש בכלים כגון osquery, Falco, CloudTrail, Azure AD Sign-in logs, gcloud, ו־aws iam access-analyzer. המאמר כולל הערכה ניסויית על פני סט תרחישים המדמה גניבת session cookies, הרשאות יתר של service principals, abuse של consent grants, ו־pass-the-token בסביבות היברידיות. התוצאות מראות כי שילוב MFA עמיד ל־phishing, Conditional Access, least privilege אוטומטי ו־identity threat detection מפחית משמעותית את חלון החשיפה ואת טווח התנועה של תוקף. לבסוף מוצג case study ארגוני המדגים כיצד כשל יחיד ב־IAM יכול להפוך לאירוע רחב היקף, ומהן המסקנות התפעוליות עבור צוותי blue team, red team, SOC ו־cloud security ב־2026.
Read paper →IAMIAM 2026 בסייבר ארגוני: מודל פורמלי, סיכוני זהות, וארכיטקטורת הגנה רב-שכבתית לניהול זהויות, גישה והרשאות בענן וב-On-Prem
ניהול זהויות וגישה (IAM) הפך עד 2026 לאחד מצירי הכשל הקריטיים ביותר באבטחת סייבר ארגונית, משום שהוא מציב את נקודת המפגש הישירה בין זהות אנושית, זהות מכונה, שירותים, ממשקי API, עומסי עבודה בענן, וקבלת החלטות אוטומטית על הרשאות. התרחבות ארגונים ל- SaaS, ל- IaaS, ל- Kubernetes, ל- hybrid identity, ולסביבות AI/ML יצרה משטח תקיפה שבו פגיעה ב-IAM מתורגמת במהירות ל- lateral movement, ל- privilege escalation, ל- data exfiltration, ולשרשרת כשל תפעולית. מאמר זה מציג מסגרת מחקרית ויישומית מקיפה ל-IAM בשנת 2026, עם הגדרה פורמלית של הסיכונים, מודל איומים מעודכן, ומתודולוגיה להגנה רב-שכבתית המבוססת על least privilege, continuous authentication, policy-as-code, identity threat detection, conditional access, passwordless, federation hardened, ו-governance מונחה סיכונים. המאמר משלב בין תובנות מהאופן שבו תוקפים מנצלים misconfiguration, token theft, consent phishing, OAuth abuse, session hijacking, credential stuffing, MFA fatigue, device trust bypass, ו-permission sprawl, לבין אמצעי נגד פרקטיים הניתנים ליישום בסביבות ארגוניות גדולות. בנוסף, מוצגת הערכה ניסויית המבוססת על מדדי סיכון כמותיים כגון $EAL$ ו-$RPL$, ועל השוואה בין ארכיטקטורות שונות של IAM, כולל legacy directory, modern CIAM, and zero trust identity fabric. תוצאות הניתוח מצביעות על כך שמודל המבוסס על token-centric governance, binding חזק בין זהות, מכשיר ו-workload, ובקרת זכויות רציפה מקטין משמעותית את חלון הניצול ואת שטח ההרשאות. תרומת המאמר היא בגיבוש מתודולוגיה מעשית, תשתית מושגית, והנחיות יישומיות שיכולות לשמש צוותי Red Team, Blue Team, architects, ו-CISO-ים בבניית IAM עמיד יותר מול איומים מודרניים ב-2026.
Read paper →IAMIAM in Cybersecurity in 2026: Zero-Trust Identity Governance, Phishing-Resistant Authentication, and Continuous Authorization for Hybrid, Cloud, and AI-Driven Environments
ניהול זהויות וגישה (IAM) הפך עד 2026 לשכבת בקרה מרכזית כמעט בכל ארכיטקטורת אבטחה מודרנית, משום שהאויבים למדו לעקוף הגנות פרימטר דרך גניבת זהות, חטיפת טוקנים, ניצול הרשאות יתר, שרשורי אספקה, ותפעול של סביבות SaaS, ענן ו-Identity Provider כווקטור תקיפה עיקרי. מאמר זה מציג ניתוח מחקרי מקיף של IAM בהקשר סייבר, עם דגש על התאמה לעידן ה-Zero Trust, עלייה במתקפות MFA fatigue ו-AiTM, אימוץ FIDO2/WebAuthn, ניהול מחזור חיים של זהויות, IaC ליישום בקרות, וזהויות מכונה ועומסי עבודה. המאמר מנסח מודל איום פורמלי שבו זהות היא נכס קריטי והחלטת גישה היא פונקציה של הקשר, סיכון, מדיניות, וייחוס אמון דינמי. בנוסף, מוצגת מתודולוגיה מעשית ל-IAM מאובטח הכוללת מיפוי זהויות, סיווג הרשאות, צמצום הרשאות, בקרת סשנים, continuous authorization, והטמעת telemetry מבוסס eBPF, SIEM, ו-CNAPP. התרומה המרכזית היא מסגרת הנדסית המשלבת אבטחת זהות עם עקרונות תפעוליים: ניתוח פערי MFA, מדדי blast radius, מדידת זמן לתיקון הרשאות, וזיהוי מסלולי תקיפה של privilege escalation ו-consent abuse. המאמר כולל גם מקרה בוחן של ארגון היברידי שבו נבנתה תוכנית IAM שמקטינה את שטח התקיפה דרך SSO, PIM, policy-as-code, ודרישות phishing-resistant MFA. ניסויי הערכה מדגימים ירידה במדדי סיכון ויעילות גבוהה יותר בגילוי חריגות גישה. לבסוף נדונים מגמות 2026: governance ל-AI agents, זהויות לא-אנושיות, post-quantum readiness, וממשק בין IAM ל-NHI management ולסביבת cloud-native security.
Read paper →IAMIAM in Cybersecurity in 2026: Zero-Trust Identity Governance, Privileged Access Resilience, and Detection Engineering Against Modern Identity Attacks
זהות דיגיטלית הפכה ב־2026 לשכבת הבקרה המרכזית כמעט בכל ארכיטקטורת אבטחה ארגונית, הרבה מעבר לאימות משתמשים בלבד. מאמר זה מנתח לעומק את תחום ה־IAM (Identity and Access Management) בתוך סייבר מודרני, תוך מיקוד בהשפעת מודלים של Zero Trust, בקרה על זהויות אנושיות ולא־אנושיות, שימוש ב־FIDO2/WebAuthn, ניהול מחזור חיי הרשאות, Privileged Access Management, ותגובת הגנה מול התקפות זהות מתקדמות כגון adversary-in-the-middle, token theft, consent phishing, session hijacking ו־abuse של OAuth/OIDC/SAML. המאמר מציג מסגרת פורמלית לאיום ולמדידה, מנסח מודל הסתברותי של סיכון זהות, ומציע מתודולוגיה משולבת המבוססת על עקרונות least privilege, continuous authentication, policy-as-code, device posture, וטלמטריה מבוססת SIEM/SOAR ו־eBPF. בנוסף, נכללת תשתית יישומית מעשית לסביבות היברידיות הכוללת Entra ID, Okta, LDAP/AD, Kubernetes, SaaS, וענן ציבורי, תוך שילוב כלי בדיקה ומיפוי כגון azurehound, bloodhound.py, roadrecon, ldapsearch, ו־sslyze במסגרת בדיקות הגנה מאושרות. הערכת הניסוי מדגימה, באמצעות טבלאות השוואה, את תרומת מנגנוני MFA עמידים לפישינג, conditional access, והקשחת session tokens לצמצום שטח התקיפה. לבסוף מובא ניתוח מקרה של תקרית זהות ארגונית ודיון בהשלכות רגולטוריות, תפעוליות ואופרטיביות, כולל אתגרי AI governance, זהויות מכונות, ויישום post-quantum readiness בתהליכי IAM ארוכי־טווח.
Read paper →IAMכותרת: ארכיטקטורה פורמלית ותפעולית ל-Identity and Access Management (IAM) עמיד בפני פגיעה באישורים בסביבות Multi-Cloud
כותרת: ארכיטקטורה פורמלית ותפעולית ל-Identity and Access Management (IAM) עמיד בפני פגיעה באישורים בסביבות Multi-Cloud תקציר: ניהול זהויות והרשאות (Identity and Access Management – IAM) התבסס כמרכיב מרכזי באבטחה בארכיטקטורות ארגוניות מבוזרות. בסביבות multi-cloud, שבהן יישומים ושירותים פועלים בו-זמנית על פני ספקי תשתית מרובים, בקרת גישה מבוססת-זהות מחליפה בהדרגה את גבולות הרשת המסורתיים כמנגנון ההגנה העיקרי. עם זאת, ראיות אמפיריות מדוחות תקריות מצביעות על כך שפגיעה באישורים נותרת בין הווקטורים השכיחים ביותר להפרות נתונים. התקפות הכוללות שימוש חוזר ב-tokens OAuth, חשיפת מפתחות API וניצול לרעה של הרשאות עודפות מדגימות כי מנגנוני אימות ואישור קונבנציונליים אינם מבטיחים בלימה יעילה כאשר אישורים לגיטימיים נופלים בידי תוקפים. עבודה זו מציגה ארכיטקטורה פורמלית ותפעולית ל-IAM עמיד בפני פגיעה חלקית באישורים בסביבות multi-cloud. אנו מציעים מודל פורמלי המייצג מערכות זהות כטופלה המורכבת ממשתמשים, משאבים, הרשאות, tokens ומדיניות, ומאפשר להגדיר תכונות מתמטיות של עמידות תחת מודל איום עם תוקפים מדורגים. אנו מציגים משחק אבטחה הלוכד את התרחיש שבו תת-קבוצות של אישורים נפגעות ומדגימים כיצד מנגנונים כגון tokens אפמרליים, גזירה קריפטוגרפית של מפתחות, סגמנטציה של דומייני הרשאה ואימות אדפטיבי מבוסס-סיכון מפחיתים את רדיוס ההשפעה התפעולית. הארכיטקטורה המוצעת משלבת עקרונות Zero Trust, פדרציית זהות המבוססת על OpenID Connect ו-SAML, וכן מנגנוני ניטור התנהגותי ושלילה מתואמת על פני מספר ספקי ענן. הערכות ניסיוניות ומקרי בוחן בהקשרים של תשתיות קריטיות והמגזר הפיננסי מצביעים על כך שהגישה מפחיתה באופן משמעותי את חלון הזמן לניצול אישורים שנפגעו, תוך שמירה על תקורה חישובית שולית. על ידי פורמליזציה של תכונות אבטחה שלעיתים קרובות מטופלות רק ברמה הארכיטקטונית בספרות, העבודה תורמת לקרבה בין מודלים קריפטוגרפיים לבין ערבויות תפעוליות במערכות IAM מודרניות. התוצאות מצביעות על כך שארכיטקטורות זהות המתוכננות במפורש לפעול תחת פגיעה חלקית יכולות להגביל באופן מדיד את השפעתן של התקפות מבוססות-אישורים.
Read paper →IAMכותרת: ארכיטקטורת Identity and Access Management אדפטיבית עם הערכת סיכון מתמשכת וגילוי ניצול לרעה של פרטי גישה המבוססת על טלמטריה תפעולית
כותרת: ארכיטקטורת Identity and Access Management אדפטיבית עם הערכת סיכון מתמשכת וגילוי ניצול לרעה של פרטי גישה המבוססת על טלמטריה תפעולית תקציר: ניהול זהויות וגישה (Identity and Access Management – IAM) הפך לרכיב קריטי באבטחת מידע ארגונית בסביבות מבוזרות, המאופיינות בתשתיות היברידיות, מחשוב ענן ואינטגרציה אינטנסיבית בין שירותים. עם זאת, מתקפות עכשוויות מנצלות לעיתים קרובות פרטי גישה לגיטימיים שנפגעו, ובכך עוקפות מנגנונים מסורתיים המבוססים רק על אימות ראשוני ובקרת הרשאות סטטית. דוחות אמפיריים מצביעים על כך ששימוש לרעה בפרטי גישה מהווה אחת הסיבות העיקריות להפרות אבטחה בארגונים מודרניים. בהקשר זה, ארכיטקטורות אבטחה המושתתות על פרדיגמת Zero Trust מדגישות אימות רציף של זהות והקשר לאורך כל הסשן. עבודה זו מציעה ארכיטקטורת IAM אדפטיבית המשלבת הערכת סיכון מתמשכת המבוססת על טלמטריה תפעולית המתקבלת מ-endpoints, מהרשת וממערכות זהות. אנו מנסחים מודל מתמטי של סיכון דינמי R(u,s,t) המשויך למשתמש u, לסשן s ולזמן t, תוך שילוב מדדים של סטייה התנהגותית, אנומליות גישה והקשר סביבתי. הארכיטקטורה המוצעת משלבת רכיבים הנפוצים בסביבות ארגוניות ואקדמיות, כולל Keycloak כספק זהות, Open Policy Agent (OPA) כמנגנון קבלת החלטות למדיניות, Elastic Stack כתשתית לניתוח אירועים וחיישני אבטחה כגון Sysmon ו-Suricata. בנוסף, אנו משתמשים בכללֵי Sigma לצורך סטנדרטיזציה של זיהוי טכניקות המשויכות למסגרת MITRE ATT&CK. ההערכה הניסויית בוצעה בסביבה ארגונית מדומה עם יותר מ-480 מיליון אירועי לוג שנאספו לאורך שלושה חודשים. התוצאות מצביעות על הפחתה משמעותית במדדי תגובה תפעוליים לאירועי אבטחה, כולל ירידה בזמן הזיהוי הממוצע (MTTD) ובזמן התגובה הממוצע (MTTR) בהשוואה למודלים המבוססים אך ורק על RBAC. מחקר מקרה הכולל שרשרת תקיפה עם phishing, dumping of credentials ותנועה רוחבית מדגים את יכולת הארכיטקטורה לזהות ניצול לרעה של פרטי גישה בשלב מוקדם. התוצאות מצביעות על כך שהשילוב בין IAM, טלמטריה תפעולית ומנגנוני הערכת סיכון מתמשכת מהווה גישה ישימה לחיזוק אבטחת הזהויות בסביבות ארגוניות מודרניות.
Read paper →IAMכותרת: ארכיטקטורת IAM עמידה מונחית איומים: פורמליזציה, מימוש והערכה אמפירית של מודל אדפטיבי המבוסס על Zero Trust וזיהוי התנהגותי
כותרת: ארכיטקטורת IAM עמידה מונחית איומים: פורמליזציה, מימוש והערכה אמפירית של מודל אדפטיבי המבוסס על Zero Trust וזיהוי התנהגותי תקציר: האימוץ הגובר של סביבות היברידיות ומרובות-ענן הפך את הזהות הדיגיטלית לווקטור המרכזי של בקרת האבטחה הארגונית. מערכות Identity and Access Management (IAM), שנועדו במקור כמנגנונים אדמיניסטרטיביים להקצאת חשבונות והרשאות, החלו למלא תפקיד מרכזי במיתון התקפות מתקדמות, ובפרט כאלה המבוססות על פגיעה באישורים, ניצול לרעה של אסימוני סשן והסלמת הרשאות. דוחות עדכניים מצביעים על כך שאישורים תקפים מוסיפים להיות אחד מווקטורי החדירה העיקריים בסביבות ארגוניות. עם זאת, ארכיטקטורות IAM מסורתיות נשענות ברובן על מודלים סטטיים של הרשאה, כגון Role-Based Access Control (RBAC), שלעיתים קרובות אינן מסוגלות להגיב באופן דינמי לשינויים הקשריים והתנהגותיים הקשורים לסיכון התפעולי. בעבודה זו אנו מציעים ארכיטקטורת IAM עמידה מונחית איומים המשלבת עקרונות של Zero Trust, הערכת סיכון דינמית וזיהוי התנהגותי המבוסס על טלמטריית אבטחה. אנו מנסחים מתמטית מודל סיכון אדפטיבי המשלב רגישות הזהות, ההקשר התפעולי, הסטייה ההתנהגותית והקריטיות של הפעולה המבוקשת. על בסיס פורמליזציה זו, תכננו מנגנון החלטה לגבי גישה המסוגל להחיל אימות אדפטיבי ובקרות חסימה המבוססות על ספי סיכון דינמיים. מימשנו אב־טיפוס תפעולי תוך שימוש בטכנולוגיות שנמצאו בשימוש נרחב בסביבות ארגוניות בשנת 2023, כולל Azure Active Directory, AWS IAM, Elastic Stack, Suricata ו-Open Policy Agent. ביצענו הערכה אמפירית בסביבת ניסוי שכללה אלפי זהויות מדומות וטלמטריה תפעולית שנאספה לאורך שלושים יום. התוצאות מדגימות הפחתה משמעותית בזמן הממוצע לזיהוי של ניצול לרעה של אישורים וירידה ניכרת בהרשאות עודפות בהשוואה ל-baseline המבוסס על RBAC סטטי. בנוסף, ניתחנו השלכות תפעוליות עבור צוותי אבטחה ודןנו במגבלות הקשורות לאיכות הטלמטריה ולכיול פרמטרי המודל. אנו מסיקים כי האינטגרציה בין ניתוח התנהגותי, הערכה הקשרית ומדיניות אדפטיבית מייצגת התקדמות משמעותית בבניית ארכיטקטורות IAM עמידות בסביבות ארגוניות מודרניות.
Read paper →IAMכותרת: ארכיטקטורת IAM עמידה מונחית איומים: מידול פורמלי, זיהוי התנהגותי וחיזוק תפעולי בסביבות היברידיות
כותרת: ארכיטקטורת IAM עמידה מונחית איומים: מידול פורמלי, זיהוי התנהגותי וחיזוק תפעולי בסביבות היברידיות תקציר: ההתבססות של זהויות דיגיטליות כווקטור העיקרי לפשרה בסביבות ארגוניות הפכה את Identity and Access Management (IAM) לליבת ארכיטקטורת האבטחה המודרנית. תשתיות היברידיות ו-multi-cloud, בשילוב אימוץ מסיבי של SaaS, APIs וזהויות שירות, הרחיבו באופן משמעותי את משטח ההתקפה המבוסס על אישורים ו-tokenים של אימות. דוחות אמפיריים מצביעים על כך שרוב ההפרות העכשוויות כרוכות בשימוש לרעה בחשבונות לגיטימיים, בהסלמת הרשאות או בניצול של מדיניות הרשאה שהוגדרה באופן שגוי. מאמר זה מציע ארכיטקטורת IAM עמידה מונחית איומים המשלבת שלושה ממדים משלימים: מידול פורמלי של הרשאות אפקטיביות, זיהוי התנהגותי של שימוש אנומלי בזהויות, ו-hardening תפעולי אוטומטי בסביבות היברידיות. תחילה אנו מנסחים פורמלית את משטח ההרשאות באמצעות גרפים מכוונים המייצגים יחסים בין משתמשים, תפקידים והרשאות. על בסיס מודל זה אנו מגדירים מדדים כמותיים למדידת משטח ההתקפה הזהותי ולניתוח מסלולי הסלמת הרשאות. לאחר מכן אנו מציגים מנגנון לזיהוי אנומליות המבוסס על וקטורים התנהגותיים רב-ממדיים ועל מרחק Mahalanobis, המיושם על אירועי אימות שנאספו בקנה מידה רחב. מנגנון זה מאפשר לזהות שימוש לרעה בחשבונות תקפים בשיעור נמוך של חיוביים שגויים, גם בסביבות עם אלפי זהויות ומספר רב של ספקי זהויות. בנוסף, אנו מתארים framework תפעולי המשלב כלים הנפוצים בסביבות ארגוניות — כולל ספקי זהויות מאוחדים, מנגנוני מדיניות המבוססים על Open Policy Agent, ניתוח לוגים ב-Elastic Stack ומידול גרפים ב-Neo4j — ומאפשר הערכה רציפה של הרשאה אפקטיבית והפחתה אוטומטית של הרשאות עודפות. ההערכה הניסויית בוצעה בסביבה ארגונית מדומה המכילה יותר משתים-עשרה אלף זהויות ומיליוני אירועי אימות. התוצאות מצביעות על הפחתה משמעותית בזמן הממוצע לזיהוי שימוש לרעה באישורים, לצד ירידה ניכרת בהרשאות עודפות. המחקר מדגים כי האינטגרציה בין מידול פורמלי, ניתוח התנהגותי ואוטומציה תפעולית מהווה גישה יעילה לחיזוק האבטחה הזהותית בארכיטקטורות zero trust ובסביבות היברידיות עכשוויות.
Read paper →IAMכותרת: ארכיטקטורה אדפטיבית של Identity and Access Management מונחית-סיכון עם אימות מתמשך ופורמליזציה מתמטית של מדיניות דינמית
כותרת: ארכיטקטורה אדפטיבית של Identity and Access Management מונחית-סיכון עם אימות מתמשך ופורמליזציה מתמטית של מדיניות דינמית תקציר: מערכות Identity and Access Management (IAM) מהוות את ליבת האבטחה בסביבות ארגוניות מודרניות, במיוחד בתשתיות היברידיות ורב-ענניות. עם זאת, מודלים מסורתיים המבוססים על Role-Based Access Control (RBAC) מציגים מגבלות מבניות נוכח איומים עכשוויים, כולל תנועה רוחבית (MITRE ATT&CK T1078), ניצול יתרונות הרשאה (T1068) ופשרה של אישורים חשופים (למשל, CVE-2023-23397). בעבודה זו אנו מציעים ארכיטקטורת IAM אדפטיבית מונחית-סיכון, בשם ARIAM, המשלבת בקרת גישה מבוססת מאפיינים (ABAC), הערכת הקשר מתמשכת ומידול הסתברותי של סיכון בזמן אמת. אנו מנסחים את הבעיה כפונקציית החלטה f: U × R × C → {0,1}, שבה U מייצג משתמשים, R משאבים ו-C הקשר דינמי, תוך שילוב פונקציית סיכון ρ(u,r,c) המוערכת באמצעות הסקה בייסיאנית אינקרמנטלית. אנו תורמים באמצעות (i) מידול מתמטי קפדני של תכונות אבטחה תחת יריבים בעלי יכולות אדפטיביות; (ii) אלגוריתמי החלטה בסיבוכיות O(log n) להערכה אינקרמנטלית של מדיניות; ו-(iii) מימוש אבטיפוסי ניתן להרחבה, שהוערך בסביבה עם 50,000 זהויות ו-1.2 מיליון בקשות יומיות. בניסוי, הדגמנו הפחתה של 37.4% בגישות בלתי מורשות מדומות וירידה של 42.1% בזמן הממוצע לגילוי שימוש לרעה בהרשאות, בהשוואה ל-baseline מסורתי מבוסס RBAC. ה-overhead הממוצע לכל בקשה היה 3.8 ms (σ = 0.6 ms), תוך שמירה על latency כוללת מתחת ל-25 ms באחוזון ה-95. תוצאותינו מצביעות על כך שמנגנונים אדפטיביים מונחי-סיכון מציעים שיפורי אבטחה משמעותיים מבלי לפגוע ב-scalability תפעולית, ומבססים הנחיות מעשיות להתפתחות ארכיטקטורות IAM בהתאם למודל Zero Trust המקודם על ידי NIST SP 800-207.
Read paper →IAMכותרת: ארכיטקטורת Identity and Access Management אדפטיבית עם ניתוח סיכונים מתמשך ורשמול מתמטי לצורך צמצום איומים מתקדמים
כותרת: ארכיטקטורת Identity and Access Management אדפטיבית עם ניתוח סיכונים מתמשך ורשמול מתמטי לצורך צמצום איומים מתקדמים תקציר: מערכות Identity and Access Management (IAM) מהוות את ליבת האבטחה בסביבות ארגוניות מבוזרות, והן אחראיות לאימות, הרשאה וניהול-על של זהויות בתשתיות היברידיות ובסביבות רב-ענן. עם זאת, אירועים אחרונים מראים כי גישות מסורתיות, המבוססות על בקרת גישה סטטית ועל מדיניות RBAC נוקשה, אינן מספקות מול איומים מתמשכים מתקדמים, ניצול של אישורים תקפים ותנועה רוחבית. בעבודה זו אנו מציעים ארכיטקטורת IAM אדפטיבית המכוונת לסיכון מתמשך, בשם A²-IAM, המשלבת מודל פורמלי של מדיניות, הערכת סיכון הסתברותית בזמן אמת ומנגנוני קבלת החלטות המבוססים על אופטימיזציה קמורה. אנו מנסחים פורמלית את בעיית ההרשאה כפונקציית החלטה $f(u, r, c, t)$ התלויה בזהות, במשאב, בהקשר ובזמן, בכפוף למגבלות אבטחה ותאימות. אנו מציגים שני אלגוריתמים עיקריים: (i) Risk-Adaptive Policy Evaluation (RAPE) ו-(ii) Dynamic Privilege Minimization (DPM). מימשנו אבטיפוס פעיל המשולב עם Keycloak, Open Policy Agent (OPA) ומנגנון טלמטריה המבוסס על Apache Kafka. הערכנו את המערכת בסביבה ניסויית עם 50,000 זהויות סינתטיות ו-1.2 מיליון אירועי גישה, תוך השוואה ל-RBAC מסורתי ול-ABAC סטטי. התוצאות מצביעות על ירידה של 37.4% בגישות לא מאושרות בעלות סיכון גבוה, על צמצום של 28.1% בזמן הממוצע לזיהוי ניצול לרעה של הרשאות ועל תקורה חישובית הנמוכה מ-11% בתרחישי שיא. אנו מראים כי הגישה המוצעת משפרת באופן משמעותי את החוסן כנגד טכניקות MITRE ATT&CK כגון T1078 (Valid Accounts) ו-T1021 (Remote Services), תוך שמירה על מדרגיות ותאימות רגולטורית.
Read paper →IAMכותרת: IAM-Guard: ארכיטקטורה פורמלית ואדפטיבית לממשל מתמשך של זהויות ולמזעור הרשאות בסביבות מולטיקלאוד
כותרת: IAM-Guard: ארכיטקטורה פורמלית ואדפטיבית לממשל מתמשך של זהויות ולמזעור הרשאות בסביבות מולטיקלאוד תקציר: ניהול זהויות והרשאות (Identity and Access Management – IAM) מהווה את ליבת בקרות האבטחה בתשתיות ארגוניות מודרניות, במיוחד בסביבות מולטיקלאוד ובארכיטקטורות מבוססות מיקרו-שירותים. תקריות עדכניות, כולל ניצולים הקשורים לטכניקות T1078 (Valid Accounts) ו-T1098 (Account Manipulation) של MITRE ATT&CK, מדגימות כי כשלים בממשל הרשאות ובזיהוי תצורות עודפות ממשיכים להיות וקטורים ראשיים לפגיעה. בעבודה זו אנו מציעים את IAM-Guard, ארכיטקטורה פורמלית ואדפטיבית לממשל מתמשך של זהויות המבוססת על מידול מתמטי של מדיניות, זיהוי הסתברותי של סטיות התנהגותיות וסינתזה אוטומטית של מדיניות מינימלית. המתודולוגיה שלנו משלבת (i) פורמליזציה של מצב ההרשאות כגרף מכוון מתויג, (ii) אלגוריתם להפחתת הרשאות המבוסס על אופטימיזציה רב-מטרית, ו-(iii) מנגנון לזיהוי אנומליות המבוסס על מודלים של תערובת גאוסיאנית וניתוח רצפים של הרשאה. מימשנו אבטיפוס תפעולי המשולב בסביבות AWS, Azure ו-Kubernetes, והערכנו אותו על פני 1.2 מיליארד אירועי אימות שנאספו לאורך 180 ימים בשלושה ארגונים בגודל בינוני. התוצאות מצביעות על הפחתה ממוצעת של 37.8% בהרשאות העודפות שזוהו, ירידה של 42.3% במשטח התקיפה האפקטיבי ושיעור זיהוי של 96.1% לניצול לרעה של אישורי גישה, עם שיעור חיובי-שגוי של 3.4%. בהשוואה לגישות המבוססות אך ורק על RBAC סטטי, IAM-Guard הציג שיפור של 28% בדיוק של מזעור הרשאות והפחתה של 31% בזמן התגובה הממוצע לתקריות הקשורות לחשבונות שנפגעו. תוצאות אלו מדגימות את הישימות של ממשל זהויות המעוגן פורמלית ואדפטיבי כמנגנון מרכזי של הגנה לעומק.
Read paper →IAMכותרת: ארכיטקטורה אדפטיבית וניתנת לאימות פורמלית עבור Identity and Access Management (IAM) העמידה בפני פגיעה באישורים והסלמה רוחבית
כותרת: ארכיטקטורה אדפטיבית וניתנת לאימות פורמלית עבור Identity and Access Management (IAM) העמידה בפני פגיעה באישורים והסלמה רוחבית תקציר: מערכות Identity and Access Management (IAM) מהוות את ליבת בקרת האבטחה בתשתיות ארגוניות מודרניות, במיוחד בסביבות היברידיות ורב-ענניות. עם זאת, דוחות עדכניים על פריצות נתונים מצביעים על כך שיותר מ-60% מהאירועים הקריטיים כוללים שימוש לרעה באישורים תקפים, הסלמת הרשאות ותצורות לקויות של מדיניות גישה. עבודה זו בוחנת את בעיית הניהול הדינמי של זהויות והרשאות תחת מודל איום ריאליסטי הכולל פגיעה חלקית באישורים, תנועה רוחבית וניצול של מדיניות מתירנית מדי. אנו מציעים ארכיטקטורת IAM אדפטיבית בשם A-FIAM (Adaptive and Formally-verified IAM), המשלבת בקרת גישה מבוססת מאפיינים (ABAC), ניתוח התנהגותי רציף ואימות פורמלי של מדיניות באמצעות לוגיקה זמנית ליניארית. המתודולוגיה משלבת מידול מתמטי של גרף ההרשאות, אלגוריתמים למזעור משטח ההתקפה וזיהוי חריגות המבוסס על סטיות סטטיסטיות של פרופילי גישה. מימשנו אב-טיפוס בסביבה היברידית (Kubernetes + Azure AD + Keycloak) וביצענו ניסויים עם 12.4 מיליון אירועים אמיתיים וסינתטיים. התוצאות מדגימות הפחתה של 47.3% במשטח ההרשאות האפקטיבי, זיהוי שימוש לרעה באישורים בשיעור חיובי אמיתי של 96.1% ושיעור חיובי שגוי של 2.8%, לצד תקורה ממוצעת הנמוכה מ-8.6 ms לכל בקשת הרשאה. בהשוואה לגישות RBAC סטטיות ול-IAM מובנה של ספקי ענן, המערכת שלנו מפחיתה נתיבי הסלמה רוחבית ב-39% וממתנת אוטומטית 92% מהפרות הפרדת התפקידים. אנו מסיקים כי שילוב של אימות פורמלי עם התאמה התנהגותית רציפה מהווה התקדמות משמעותית בחוסן של מערכות IAM מול תוקפים מתוחכמים.
Read paper →IAMארכיטקטורה אדפטיבית לניהול זהויות וגישה (Identity and Access Management) עם הערכת סיכון רציפה מבוססת גרפים ומדיניות פורמלית עבור סביבות Multicloud
1. מבוא
Read paper →IAMארכיטקטורה הניתנת לאימות פורמלי עבור Identity and Access Management אדפטיבי עם ערבויות אבטחה כמותיות בסביבות Multi-Cloud
1. מבוא
Read paper →IAMארכיטקטורה אדפטיבית וברת־אימות פורמלי עבור Identity and Access Management עם מזעור הרשאות מונחה־סיכון
1. מבוא
Read paper →IAMIAM-GraphSec: ארכיטקטורה פורמלית, ניתנת לאימות וסקלאבילית לממשל אדפטיבי של זהויות ולמזעור משטח התקיפה בסביבות Multi-Cloud
1. מבוא
Read paper →