שינויים

קפיצה אל: ניווט, חיפוש

מבנים אלגבריים למדעי המחשב - ארז שיינר

נוספו 6 בתים, 13:41, 7 בדצמבר 2017
*הצפנה היא שיטה להסתרת מידע במקום בו כולם רואים את התוכן המועבר, דרך להבטיח מי הוא מקור המידע (חתימה) ודרך להבטיח את אמינות המידע (ללא חוסרים וללא שינויים).
*המבנים האלגבריים שאנו עוסקים בהם בקורס הם חבורה, חוג ושדה.
 
===הרצאה 2 חבורות ותת חבורות; פרקים 3,4 מ[http://abstract.ups.edu/aata/ הספר] ===
<videoflash>jKprPSfRysE</videoflash>
 
===הרצאה 5 חבורת אוילר, משפטי אוילר ופרמה; פרק 6 מ[http://abstract.ups.edu/aata/ הספר]===
*בפרט, בתנאי המשפט, <math>a^p\equiv a</math> מודולו p.
*למעשה התוצאה תקיפה לכל מספר טבעי <math>a</math>, כיוון ש <math>a^{\phi(n)}\equiv r^{\phi(n)} \mod n</math>, וגם השארית <math>r</math> זרה ל <math>n</math>.
 
===הרצאה 6 הצפנה סימטרית (מפתח פרטי), הצפנה אסימטרית (מפתח ציבורי), RSA; פרק 7 מ[http://abstract.ups.edu/aata/ הספר]===
*שימו לב: אמנם <math>4\equiv 3 \mod 1</math> אך <math>2^4 \not\equiv 2 \mod 3</math> כלומר לחשב את ההופכי של e מוד n זה אמנם קל, אך לא יעיל לשום דבר...
 
===הרצאה 7 המשך הצפנה - בדיקת ראשוניות, דיפי הלמן, חתימה, חישוב חזקות;===
**<math>x^{41}=\left(\left(\left(\left(x^2\right)^2\right)^2\right)^2\right)^2\cdot \left(\left(x^2\right)^2\right)^2 \cdot x</math>
**סה"כ חישבנו את החזקה עם 8 העלאות בריבוע, ושלוש הכפלות, במקום 41 הכפלות.
 
===הרצאות 8-9 משפט האיזומורפיזם; פרקים 10,11 מ[http://abstract.ups.edu/aata/ הספר]===
הדגמה על ידי חבורת המודולו, מותר להפעיל את המודולו בכל שלב שנרצה.
 
===הרצאה 10 קידוד; פרק 8 מ[http://abstract.ups.edu/aata/ הספר]===