מדד תיאוריית הבקרה ואבטחת מערכות Cyber-Physal

תורת הבקרה האופטימית תורמת גם באמצעות עיצוב של קונסולת:0 (הכוללים) של בקרים עמידים בהתקפה (FLT:1) על ידי גיבוש בעיית השליטה כמשחק בין הבקר הלגיטימי לבין אנתרופולוגיה, מהנדסים יכולים להפיק מדיניות שליטה המפחיתה את ההשפעה הגרועה ביותר של התקפה.

הכחשה וגילוי

הצומת של תורת הבקרה ואבטחת CPS העניק למסגרות גילוי מתוחכמות.(FLT:0Model-based anomalyגילויFLT:1) משתמש במודל מתמטי של הצמח הפיזי כדי לחזות מדינות עתידיות.כל אי התאמה משמעותית בין ההתנהגות הצפויה בפועל הוא מעוגן מספיק.לדוגמה, במערכת הפצה במים חכמים, מודל יכול לחזות לחץ צפוי וזרימה; ירידה פתאומית לא מוסברת על ידי שינוי מיקרוסקופי מדויק, אשר עשוי להבחין בין השבר של צינורות זדונית, לבין מודל ברור, הוא בבירור, אשר עשוי להיות מתפורר.

תורת הבקרה מציעה גם שיטות זיהוי של 0 ;0 â ¢ ¢ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇

גישה לנתונים: בקרה ולמידה של מכונות

בעוד שיטות מבוססות מודל הן עוצמתיות, הן דורשות מודל מדויק של הצמח הפיזי, אשר עשוי להיות קשה להשיג עבור מערכות בקנה מידה גדול או לא לינאריות.באופן גובר, החוקרים משלבים את תורת הבקרה עם FLT:0machine Learning (ML) LT:1 כדי ליצור פתרונות אבטחה המונעים על ידי נתונים.

Reinforcement Learning (RL) הוא גם מיושם על מנת לשלוט מחדש. סוכן RL לומד מדיניות הממקסמת אות פרס - כגון צמצום שגיאות ולהימנע ממדינות לא בטוחות - גם כאשר מותקפים.עם זאת, בקרים המבוססים על RL חייבים להיות מאומן עם מגבלות ספציפיות לתחום כדי למנוע כשלים קטסטרופליים במהלך חקירת הביקורת מספקת את הערבויות הדרושות, כגון ליאון, להתנהגויות הקשורות ל-RL של מדיניות בטוחה ולהבטיח פעולות בטוחות.

אתגרים ב Integrating Control Theory with Cybersecurity

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

זמן אמת-זמן Constraints

CPS רבים פועלים תחת מועדי זמן אמיתיים נוקשים.אלגוריתם זיהוי הדורש שניות כדי לחשבונך הוא חסר תועלת עבור מנוע טורבוטן מהיר במהירות גבוהה או מכונית אוטונומית.שליטה-הביטחון התיאורטי חייב להיות יעיל חישובי, לעתים קרובות מיושם על מעבדים משובצים משאבים-מאומנים.זה מניע את הצורך עבור FLT:0low-complexitys ו חישובי חי במהירות גבוהה.

מערכת מורכבות

CPS מודרני הוא בקנה מידה גדול, עם תת-מערכות מקושרות, דינמיקות היברידיות (התנהגויות מתמשך ודיסקרטיות), ושינויים בעיכובי תקשורת.פיתוח מודלים שלוכדים את כל הדינמיקה הרלוונטית הוא קשה, וטכניקות להפחתה של המודל עלולות להמיט התנהגויות עדינות שתוקפים יכולים לנצל.FLT:0Distributed Control ו-estimationFLT:1 הם אזורי מחקר פעילים שמטרתם לשבור את המורכבות תוך שמירה על אבטחה.

הטבע המעורב של איומים

התוקף מפתחים כל הזמן שיטות חדשות כדי להתחמק מגילוי – למשל, התקפות חשאיות המיישרות עם הדינמיקה הצמחית לאורך זמן, כך שהשאריות נשארות קטנות.שליטה-התיאורטית צריכות להיות מתאמות ומתאמות עם שכבות סייבר.

מסחר ובטיחות

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

כיוונים עתידיים למחקר וליישום

התחום מתפתח במהירות, עם מספר דרכים מבטיחות לעבודה עתידית.

בקרה מבוססת הסתגלות ולמידה

סביר להניח ש-CPS העתידי ישתמש בקרים שיכולים ללמוד מניסיון ולהתאים לתנאים משתנים, כולל התקפות:0 (FLT:0) הפרעות דחייהFLT:1 ו-FLT:2 Model controlive control with אי-וודאותFLT 3) ניתן להרחיב כדי לשלב אבטחה כמגירה נוספת.

עיצוב משותף של Cyber ואבטחת פיזית

במקום לתכנן את הסייבר ואת הביטחון הפיזי באופן עצמאי, גישה הוליסטית בעיצוב משותף היא צוברת מתח.זה כרוך האדריכלות של אלגוריתם הבקרה, פרוטוקולי רשת ומנגנוני אימות יחד, עם מדדי ביצועים חוצה שכבות.לדוגמה, FLT:0 שליטה-aware הצפנה מודעת FLT:1 כי עדיפות הזמן על סודיות מושלמת עשוי להיות עדיפה עבור לולאות קריטיות זמן.

שילוב עם תאומים דיגיטליים

תאומים דיגיטליים – העתקים וירטואליים בזמן אמת של מערכות פיזיות – סביבה אידיאלית לבדיקת אבטחה תיאורטית-אורטית.תאום דיגיטלי יכול לדמות את הצמח הפיזי תחת תרחישים התקפה, המאפשר למהנדסים להעריך את יעילותם של בקרים רגישים לפני הפריסה.זה גם מאפשר ניטור רציף: התאומה פועל במקביל למערכת האמיתית, וכל הבדל בין ההתנהגות המצופה של תאומים בפועל יכול לגרום לדלקת בקרה דיגיטלית ולהוביל כבר מודלים של דלק דיגיטלי.

סטנדרט והערכה Benchmarks

לקבלת אבטחה תיאורטית-שליטה להיות מאומצת בתעשייה, מדדים סטנדרטיים ורכיבות בדיקה נדרשים.מיזמים כמו FLT:0Secure Cyber-Physical Systems Testbeddph1 במעבדות לאומיות לספק ארגז חול להשוות את שערי זיהוי, שיעורי אזעקה כוזבים, ורמות עמידות לאלגוריתמים שונים של בקרה.

מסקנה

הצמת תיאוריית הבקרה ואבטחת המערכות הקיבר-פיזיות אינה רק סקרנות אקדמית – היא הכרח מעשי.בעוד שהעולם שלנו הופך להיות אוטומטי יותר ויותר מקושר, היכולת לזהות, לעמוד, ולהחלים מהתקפות על השכבה הפיזית תגדיר את האמינות של תיאוריית הבקרה הביקורתית שלנו, היא מהווה בסיס מתמטי קפדני לתכנון מערכות שאינן רק יציבות ומבצעות, אלא גם מרתיעות להפרעות זדוניות על ידי מינוף של טכנולוגיות אבטחה מתקדמות, יכולות להטמיעו את עצמה, ולשלוט על ידי שליטה על פני זמן, עם מגבלות מתקדמות, עם מגבלות של מערכות אבטחה, ואיומים מתוחכמות, ופעולות מתקדמות, עם מורכבות, ומציאותיים, עם מורכבות, עם מורכבות, עם מורכבות, עם מורכבות, ופעולות אבטחה, ופעולות אבטחה, ופעולות של זמן מתוחכמותיות, עם מורכבות, ומציאותיות, עם מורכבות, עם יציבות ומציאותיות, עם מורכבות, עם לחץ על ידי שינוי יעיל, עם מערכות אבטחה, עם בעיות אבטחה, ופעולות מתקדמות, עם מורכבות, עם התפתחותיות, עם לחץ חיצוניות, עם לחץ על ידי שינוי יעיל ופעולות אבטחה, עם לחץ על ידי שינוי יעיל, עם בעיות אבטחה, עם שיטות אבטחה, עם בעיות אבטחה, ופעולות מתקדמות, עם לחץ אמיתי, ומציאותיות, עם התפתחותיות, ו

(ב) ◄ .

• המכון הלאומי לתקנים וטכנולוגיה (NIST) מסגרת לשיפור אבטחת תשתיות קריטיות - (FLT:0https: www.nist.gov/cyberframeworkmentalph:1
• IEEE Access Special Part on Control Theory and Cyber-Physical Systems Security - NCLT:0 ,https: ieexplore.iee.org/IRLT 1
• "התמדה של מערכות Cyber-Physical תחת התקפות חושיות" - 0https:0https: ieexplore.iee.org/document/7640903FLT 1
• סנדיה National Laboratories Secure Cyber-Physical Systems Testbed - 0 ,https: www.sandia.gov/ccr/מאובטח-cps-testbed/veFLT:1