פרוטוקולים יעילים לחישוב בטוח

מבוא:

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

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

מטרות המחקר:

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

מתודולוגיה:

כשלב ראשון, אנחנו נממש פרוטוקול בעל מספר סיבובים קבוע המבוסס על הפרוטוקול של Beaver, Micali, ו - Wigderson. נבצע אופטימיזציות על מנת להוריד את מספר הסיבובים למינימום הנדרש, ואופטימיזציות נוספות להורדת סיבוכיות התקשורת בכל סיבוב. כמו-כן, נייעל את החישובים המקומיים שכל משתתף עושה ע"י שימוש בחומרה ייעודית של הצפנות, הקיימת כיום במרבית המעבדים החדשים, ונשתמש במימושים חדישים של OT extension על מנת להוריד עוד יותר את זמן החישוב.

חדשנות ויישומיות:

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

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

צוות המחקר:

ד"ר ערן עמרי – חוקר ראשי

מר ענר בן אפרים – סטודנט לתואר שלישי

מר רועי ענבר – סטודנט לתואר שני

המחקר נעשה בשיתוף עם פרופ' יהודה לינדל מאוניברסיטת בר-אילן

לקריאה נוספת...

Cloud ענן
הגנה / התקפה
Big Data, Data mining
מובייל
> צפו בתחומי פעילות נוספים שלנו
חזרה לראש העמוד