אירופה קרנות מחקר מאובטח מערכת ההפעלה

האוניברסיטה ההולנדית נחת האירופי מענק מחקר המועצה להמשיך לעבוד על מערכת הפעלה מסוג Unix שמטרתה להיות אמינה ובטוחה יותר מאשר לינוקס או Microsoft Windows.

המענק בסך 2.5 מיליון אירו (3.3 מיליון דולר) יממן שלושה חוקרים ושני מתכנתים, אמר אנדרו ס 'טננבאום, פרופסור למדעי המחשב באוניברסיטת Vrije Universitit בהולנד.

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

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

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

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

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