Table of Contents
בעידן שבו מתקפות סייבר יכולות לסגור את תחנות הכוח, לשבש מתקני טיפול במים, או לשלוט על תעבורת האוויר, האבטחה של תשתיות קריטיות הפכה לעניין של ביטחון לאומי ובטיחות הציבור.מנגנוני הגנה סטטיים אינם מספיקים עוד נגד יריבים מתוחכמים ומתאמתים, כלומר, אסטרטגיות בקרה אופטימליות מופיעות כגישה של אבטחה, החלת נתונים מתמטיים ומציאותיים לניהול מערכות אבטחה מתקדמות, אלא גם כדי להתאים את הגמישות של מערכות אבטחה מתקדמות יותר, אך לאיך.
הבנה של תשתיות קריטיות ונוף האי מעורבים שלה
תשתיות קריטיות כוללות את המערכות הפיזיות והסייבר חיוניות לביטחון לאומי, חיוניות כלכלית ובריאות הציבור.משרד לביטחון המולדת האמריקאי מזהה 16 מגזרי תשתיות קריטיות, כולל אנרגיה, מים ושפכים, תחבורה, בריאות, שירותים פיננסיים ותקשורת.
פרצותיהם נובעות ממספר גורמים מרכזיים.מערכות תשתיות קריטיות רבות מסתמכות על טכנולוגיה מבצעית מורשת (OT) שעוצבה לפני עשרות שנים על אמינות ועל זמן רב, לא על אבטחה.מערכות אלה לעיתים קרובות חסרות אימות בסיסי, הצפנה או היכולת להיות מקומטים ללא מפריעה לפעילות.ההתכנסות של OT עם טכנולוגיית מידע (IT) והפיצוץ של האינטרנט של הדברים (IoT) התרחבו מאוד להתקפות על פני השטח.
הדחף לשליטה אופטית באבטחת רשת
גישות אבטחת סייבר לאותיות - מערכות אנטי וירוס, זיהוי חדירה - סיפקו מחסום סטטי אבל נאבקים נגד התקפות אדפטיות, גרוטניות המתגלדות לאורך זמן. אסטרטגיות בקרת אופטימאלי מציעות אלטרנטיבה דינמית ואקטיבית.שורשed בתיאוריה של שליטה, אסטרטגיות אלה להשתמש במודלים מתמטיים של הרשת והסביבה האיום כדי למקם את הרצף הטוב ביותר של פעולות הגנתיות.
(השליטה האופטימלית אינה רק על זיהוי; היא מתייחסת למצב של תפוצה:0;0) לתגובת תגובה מתואמת של תגובה מתואמת FLT:1 בכל התשתית.זה מתייחס לביטחון כאל בעיה של אופטימיזציה רצופה: בהתחשב במצב הנוכחי של הרשת, האיומים הידועים, והמשאבים הזמינים (למשל רוחב פס, עיבוד כוח, כוח אדם), מה קובע פעולות – החל מפגיעה בתנועה, הוא פוגעני לתפקודים של אבטחה שיטתית, במיוחד באמצעות "הגנה על ידי תפקודים"מסלולאריים" (preatives) של אבטחה שיטתית, תוך שמירה על ידי פונקציות אבטחה שיטתיות"מחדשת של אבטחה ו-"משימתית"משימתית" (plimates) על ידי פונקציות אבטחה ו-Rims) על ידי הגבלת אחריות על ידי "הגנה על ידי פונקציות אבטחה" (relimate Accesssives) על ידי פונקציות אבטחה ו-R) על ידי פונקציות אבטחה ו-R.
אסטרטגיות בקרת אופטימאליות
שליטה יעילה אופטימלית עבור אבטחת רשת נשענת על שלושה מרכיבים מקושרים: זיהוי, אופטימיזציה תגובה, וחוסן.
(FLT:0) זיהוי מצב ואסטיגמציה המדינה.BuildFLT:1) המערכת חייבת לפקח באופן רציף על תעבורת רשת, נתוני חיישן, ו יומני כדי להעריך את המדינה שלה לזהות את האנומליות.זה הולך מעבר לגילוי מבוסס חתימה לכלול ניתוח התנהגותי וגילוי אקראי באמצעות מודלים סטטיסטיים או למידה.שליטה אופטימאלית מסתמכת על אופטימיזציה מדויקת של המדינה לקבלת החלטות מושכלות.
(FLT:0) אופטימיזציה והחלטות קבלת החלטות.BuildFLT:1) ברגע שאיום מזוהה, אסטרטגיית הבקרה חייבת לקבוע את אמצעי הנגד האופטימליים.זה כרוך במסחר-offs: בידוד שרת קריטי עשוי למנוע זיהום אבל יכול גם לחסום תהליכים לגיטימיים.אופטימיזציה אלגוריתמים - כגון תכנות דינמי או בקרה חיזוי מודלים (MPC) - רצף פעולות מרובות אפשרי, הן יכולות למנוע זיהום מיידי, בהתחשב בהשפעות אבטחה לטווח ארוך, כמו גם לנטרל את ההשפעות שנקבעו מראש, אלגוריתמיות של פעולות.
(FLT:0System Resilience and Recovery.FLT:1) חוסן הוא היכולת לשמור על פונקציות חיוניות במהלך ואחרי התקפה, וכדי לשחזר במהירות.אסטרטגיות בקרה אופטית משלבות התאוששות כחלק מאופק האופטימיזציה.זה עשוי לכלול שחזור שירותים מגיבויים, שיקום נתיבי רשת, או בהדרגה מחדש רכיבים מבודדים תוך מעקב אחר איומים על-ידי תכנון עבור זיהומים, יכול לצמצום מהיר יותר והפסד כלכלי.
טכניקות מתקדמות ב- Optimal Control for Critical Infrastructure
כמה טכניקות מתוחכמות נחקרות ונפרסות כדי לממש את ההבטחה של שליטה אופטימלית בתחום זה.כל אחד מביא כוחות ייחודיים לאתגר של הגנה על רשתות מורכבות, בעלות גבוהה.
בקרת מודל (MPC)
MPC משתמש במודל מתמטי של המערכת כדי לחזות את התנהגותה העתידית על פני אופק זמן סופי.בכל פעם שלב, בעיית אופטימיזציה נפתרת כדי למצוא את פעולות השליטה הממזערות את תפקוד העלות - לדוגמה, שילוב משקל של סיכון אבטחה וחוסר יעילות מבצעית. MPC מתאים במיוחד עבור תשתיות קריטיות כי היא יכולה לטפל במגבלות כגון רוחב פס מוגבל, מגבלות פיזיות על פועל, ותזמון קפדני יש דרישות אבטחה מערכת הבקרה של MPCDC מאפשר בקרת לחץ דם מאובטח במיוחד עבור התקפות אבטחה מדויקת על גבי לוח זמנים מאובטחים:
תגיות: Game-theoretic Approaches
אבטחת סייבר היא אינטראקציה אסטרטגית בין תוקף לבין מנגן.תאוריית המשחק מודלים דינמיים זה דינמית , טיפול בכל צד כשחקן רציונלי המבקשים למקסם את התגמול שלו עצמו.בתסריט אפס-סום, רווח המגן של המגן הוא הפסדו של התוקף או אסטרטגיות בקרה אופטיות הנגזרות מתיאורית המשחק, תואמים את שיווי המשקל של ה-NashFLT:0: NashFalalalverse, שבו לא ניתן לשפר את ה-ACT1 של אסטרטגיות אבטחה חד-IP של המשחק.
למידה ושיקום
המורכבות של רשתות תשתיות קריטיות מודרניות מקשה ליצור מודלים מדויקים ומתוכנתים במפורש. למידת מכונה, במיוחד (FLT:0) למידה עמוקה חיזוק (DRL)BuildFLT:1), מציעה דרך ללמוד מדיניות בקרה אופטימלית ישירות מניסיון או סימולציה. סוכן אינטראקציה עם סביבה (רשת) מסייע לאלגוריתמים גמישים (למשל, סגירת נמלים, פריסת decoys) וקבלת פרסים (greative Risk) ו-R.F) למקסימום בהצלחה את ההחלטות הפחתת יעילות נמוכה, עם אבטחה.
שליטה כמעט ורודה
בהתחשב בחוסר הוודאות הטבוע באיומים ברשת - מטרות מהתקפות, תזמון ויכולות ידועים רק לעתים רחוקות - שיטות בקרה טוסטטיים מודל אקראיות במפורש במקום להניח עתיד אחד, גישות אלה מחשיבות התפלגות הסתברות על תרחישים אפשריים התקפה וניתנותנות מדיניות שליטה שעובדת טוב בממוצע. Alternatively, שיטות בקרה חזקות מניחות את התרחיש הגרוע ביותר ועיצוב מדיניות המבטיחה ביצועים אפילו תחת תנאי ההדבקה ביותר הם תנאי בטיחותיים באופן חלקי.
שיפור בקרת אופטימאלי עם מסגרות אבטחה קיימות
(אימוץ בקרה אופטימלית אינו מתכוון להחליף את כל אמצעי האבטחה הקיימים במקום זאת, אסטרטגיות אלה צריכות להיות מושתות על גבי שיטות הטובות ביותר של הבסיס:0NIST Cybersecurity FrameworkveFLT:1 מספק מבנה מוצק: זיהוי, הגנה, Detect, תגובה, Recover, Recovers. Optimal controls שיפור התגובה ו-Recovering פונקציות באמצעות החלטות אוטומטיות ואופטימיזציה מתמטית ניתן לשלב עם אבטחה (F2i) באופן אוטומטי, כמו גם כן, או ניהול אבטחה (הגנה על ידי מערכת אבטחה יעילה) ו-Recovering אבטחה ו-Recovering).
המפעילים חייבים להבטיח שכל פעולות בקרה אוטומטיות לא גורמות לבעיות בטיחות באופן בלתי נמנע.לדוגמה, לסגור אוטומטית שסתום צינור כדי למנוע נזק סייבר עלול ליצור עלייה בלחץ פיזי.לכן, אלגוריתמי בקרה אופטימליים צריכים להיות מעוצבים במשותף עם מהנדסי דומיין כדי להטמיע מגבלות בטיחות (למשל, שיעורי רמפה מקסימליים, מגבלות) לבעיה אופטימיזציה.
אתגרים ודרכים קדימה
בעוד ההבטחה של שליטה אופטימלית היא משמעותית, כמה אתגרים משמעותיים מעכבים את הפריסה הנרחבת שלה בתשתיות קריטיות.
(FLT:0) פרטיות ושיתוף נתונים.FLT:1 שליטה אופטימאלית מסתמכת על נתונים בזמן אמת מכל התשתית.עם זאת, ארגונים לעתים קרובות אינם מעוניינים לשתף נתונים רגישים לאבטחה מחשש לחשוף פרצות.טכניקות בעלות עדיפות לפרטיות כמו הצפנה הומומורפית או חישוב רב-מפלגתי מאובטח יכול לאפשר שליטה שיתופית ללא נתונים חשופים, אך אלה הם מסגרת חישובית יקרת ערך שעשויה להיות נחוץ לשיתוף נתונים מאובטחים.
(FLT:0Computational Complexity.FLT:1) בעיות אופטימיזציה Solving בזמן אמת, במיוחד עבור רשתות בקנה מידה גדול עם אלפי צמתים, דורש משאבים חישוביים משמעותיים.מודל פשטות, אופטימיזציה מבוזרת והאצה חומרה (למשל, שימוש ב-GPUs או FPGAs) הם אזורים פעילים של מחקר.
(FLT:0) אלגוריתמים בזמן אמת קונסולות.FIRLT:1 , התקפות סייבר יכולות להתפתח במילימטרים. אלגוריתמים שליטה צריכים לרוץ מהר מספיק כדי להגיב לפני הנזק נעשה.זה דורש שילוב הדוק עם מערכות ניטור רשת ולופות בעלות נמוכה של שליטה בזמן אמת . ערבויות קשות הן הכרחיות עבור יישומים קריטיים בטיחות, אשר מערכות הפעלה סטנדרטיות בדרך כלל לא יכולות לספק.
(FLT:0 Human Factors and Trust.FLT:1 מפעילי עשויים לא לבטוח בהחלטות אוטומטיות, במיוחד אם הם לא מוסברים. מעצבי המערכת חייבים לפתח ממשקי משתמש המציגים פעולות מומלצות עם רציונלים ברורים, רמות ביטחון, והשפעות צפויות.אימון מבוסס Scenario ואוטונומיה הדרגתית יכול לבנות אמון לאורך זמן.בנוסף, מערכות בקרה אופטימליות חייבות להיות חזקות למניפולציה אדמיראלית - תוקף יכול לנסות לשלוט על ידי אלגוריתם כוזב של מידע כוזב.
כיוונים עתידיים
התחום מתפתח במהירות, עם כמה מסלולים מבטיחים שיכולים לעצב מחדש את האופן שבו אנו מגנים על תשתיות קריטיות.
(FLT:0) אינטגרציה עם מרכזי AI תפעול.Builds.cioFLT:1) מרכזי אבטחת עתיד (SOCs) צפויים לשלב אינטליגנציה של איומים המונעת על ידי AI עם ביצוע בקרה אופטימלית.הבינה המלאכותית לא רק לזהות אנומליות אלא גם לסייע בבניית מודלים ואימות מדיניות.היתוך זה יכול לקצר באופן דרמטי את מעגל זיהוי-תגובה.
(FLT:0)Quantum-Safe Control.FLT:1 כפי שמקדם מחשוב קוונטי, מערכות הצפנה רבות של הצפנה נוכחית יהפכו להיות פגיעות.אסטרטגיות בקרה אופטית הנתמכות על תקשורת בטוחה (למשל, על מנת לשלוח פקודות) יצטרכו לאמץ אלגוריתמים קוונטיים-resistant.מחקר הוא גם לחקור שליטה קוונטית עצמה - תוך שימוש בחיישנים קוונטיים עבור גירוי מדויק יותר של המדינה.
(FLT:0) ,Decentralized and Edge-based control.Build.cioFLT:1) דוחף החלטות שליטה על קצה מפחיתה את הסבלנות ואת רוחב הפס הצרכים. תת-קרקעיים בודדים או יחידות טיפול במים יכולים להפעיל בקרים אופטימליים מקומיים, אשר לתאם באמצעות פרוטוקול קונצנזוס קל משקל. Blockchain עשוי לספק tamper-הוכחה tamper-הוכחה tamper-הוכחה tamper-הוכחה ותיאום בין בקרים מבוזרים, למרות שהוא מעל ומעבר, למרות שהוא מעל ומעבר על פני , למרות שהוא נשאר אתגר.
(FLT:0) תאומים לבדיקות רציפות.ראהבייט 1 (FLT:0) יוצרים תאום דיגיטלי - העתק וירטואלי של התשתית - ניתן לבחון בדיקות בטוחות של מדיניות בקרה אופטימלית ללא סיכון לפעולות בעולם האמיתי.התאום יכול לדמות אלפי תרחישים התקפה, והמידע המתקבל יכול להכשיר או לאמת את אלגוריתמי הבקרה.
מסקנה
אסטרטגיות בקרה אופטימות מייצגות התפתחות עוצמתית באבטחת הרשת עבור תשתיות קריטיות.על ידי שינוי מערכי ההגנה הסטטיים למערכות תגובה דינמית, אופטימיזציה מתמטית, ארגונים יכולים לצפות איומים, להסתגל בזמן אמת, ולשמור על פונקציות חיוניות אפילו תחת עמידות.המסע ממעבדה מחקר ועד פריסה תפעולית אינו ללא מכשולים - דרישות חישוביות, נתונים, מגבלות בזמן אמת, ואמון אנושי דורש תשומת לב זהירה, אך ורק את הגישות האבטחה הקיימות של החברה הנוכחית, כמו אלה, כמו פעולות אבטחה מתקדמות יותר ויותר, כמו גם את הגמישות, כמו דרישות אבטחה, הן, הן פועלות כיום, הן יכולות שליטה על פני מערכות אבטחה מתקדמות יותר ויותר, כמו דרישות אבטחה CFDFDFD.