בשנת 1858 הודפס בליבורנו ספרו "זבחים שלמים", פרשנות על דברי הרמב"ם על הלכות שחיטה ובדיקה. בעקבות הספר התעורר פולמוס בינו לבין הרב משה סבעון מאוראן שחלק עליו במספר סוגיות. הדברים התגלגלו לידי ביזוי אישי ברב אנקווה ובספרו, כאשר כמה מיהודי העיר ממקורבי הרב סבעון קרעו ושרפו את הספר. בעקבות הדברים פרסם הרב אנקווה את הקונטרס "טהרת הכסף" (ליבורנו, 1860), שזכה להסכמות של רבנים מאלג'יריה, מרוקו, תוניסיה, ארץ ישראל וצרפת, בו הביא את ההשגות של הרב משה סבעון ואת תשובותיו להם. בהסכמותיהם ביקרו הרבנים את הרב סבעון ופעולותיו ודרשו ממנו ומהפוגעים ברב אנקווה לבקש את מחילתו. כך למשל לא קיבלו את טענתו שאין לו איבה אישית כלפי הרב אנקווה וכי כוונתו הייתה לשם שמיים.
בשנת 1869 הוציא לאור את הספר "כרם חמר" (ליבורנו, ב' כרכים), בכרכו הראשון קובץ של 169 מהתקנות שתיקנו חכמי המערב במאה ה-18 וה-19 ובכרך השני תקנות המגורשים, קובץ של התקנות שתיקנו רבני קסטיליה ופאס בין המאה ה-15 ל-18, וכן קיצור התקנות מאת ר' רפאל ברדוגו ואת פירושו של בנו ר' מימון להם. דרשותיו של הרב אנקאווא נאספו לספר "מלל לאברהם" (ליבורנו, 1875). כמה מספריו האחרים הם "חמר חדת ועתיק" (ליוורנו, תר"ט), "אוצרות החיים" (ליבורנו, תר"ד), "למודי ה'" (ליבורנו, תר"ח) - חלקו שני של סידורו "תפלת כל פה", הכולל לקט של הלכות ומוסר, בתוספת כמה מספריו הקטנים של החיד"א וספרים נוספים. הגדות של פסח - "חקת הפסח" (ליבורנו, ת"ר והלאה), "שכיות חמדה" (ליבורנו, תרי"ב והלאה). בנוסף הרב אנקאווא חיבר מספר סידורים לימי חול, שבת ומועדים שונים, אשר נפוצו מאוד בקרב קהילות ספרדיות סביב אגן הים התיכון ומערב אירופה, וחלקם בשימוש עד היום.
אנצאר (פירושונים)
אנצאר (תעתיק מדויק: אנצאר – בערבית ובפרסית: أنصار; תעתיק חופשי: אנסאר)
סניטציה
אגודת הסטודנטים של אוניברסיטת בן גוריון בנגב
וולטר ג'ון ויליאמס
וולטר ג'ון ויליאמס (באנגלית: Walter Jon Williams; נולד ב-28 באוקטובר 1953) הוא סופר אמריקאי, זוכה פרס נבולה. כתב גם סדרת ספרי הרפתקאות ימיות היסטוריות תחת השם "ג'ון ויליאמס". וכיום הוא כותב בעיקר מדע בדיוני. שמונה מספריו תורגמו לעברית.
וולטר ג'ון ויליאמס נשוי ומתגורר בניו מקסיקו, ארצות הברית.
היה אורח הכבוד של פסטיבל אייקון 2014.
Integrity-Aware Parallelizable Mode הוא מצב הפעלה של צופן בלוקים סימטרי, שפותח ב-2001 על ידי Charanjit Jutla מ-IBM, המספק הצפנה מאומתת מוכחת ויעילה עם תמיכה במקביליות. האלגוריתם משתמש בצופן בלוקים כמו AES כבסיס, איתו הוא גם מצפין וגם מאמת כל מסר באורך שרירותי בריצה אחת, תוך שימוש בשני מפתחות הצפנה ווקטור אתחול. IAPM הוא האלגוריתם הראשון שהומצא המספק הצפנה מאומתת בריצה אחת והוא יעיל מאוד בהשוואה למצבי הפעלה אחרים. בשיפורים אחדים מגיע למהירות כמעט כמו של הצפנה לא מאומתת. מסיבה זו כונה "הצפנה עם אימות כמעט בחינם". האלגוריתם הוצע ל-IPSec והוא פטנט רשום של IBM וייתכן אף של אחרים, מסיבה זו השימוש בו בעייתי.
Charanjit Jutla המציא למעשה שני אלגוריתמים דומים, על שניהם רשום פטנט והוכח שהם בטוחים תחת ההגדרות הסטנדרטיות, בהנחה שצופן הבלוקים בטוח. והם: Integrity-Aware CBC (בקיצור IACBC) שהוא למעשה CBC משופר, שבו נוספה טכניקה הקרויה 'הלבנה' (whitening) שהיא פעולת XOR לפני ואחרי הצפנת כל בלוק עם גרעין אקראי מסוים שנגזר מווקטור האתחול. חסרונו כמו כל מצב המבוסס על CBC שאינו תומך במקביליות, כי כל בלוק תלוי בקודמו. השני IAPM דומה יותר למצב ECB משופר, מיישם טכניקת הלבנה דומה, אך יתרונו בכך שהוא מאפשר הצפנה מקבילית ולכן עיקר ההתעניינות בו כיוון שהוא יעיל יותר. אלגוריתם OCB הוא וריאציה משופרת של IAPM.
הצפנה מאומתת.
הצפנה מאומתת נולדה עקב צורך מעשי להבטיח לא רק את סודיות המידע העובר ברשת אלא גם את שלמותו. כך שתוקף זדוני לא יוכל להתערב, לשנות, למחוק או להוסיף בלוקים של טקסט מוצפן מבלי שהמשתתפים יבחינו בכך. בתחילה הצפנה מאומתת לא הייתה מוגדרת היטב מבחינה תאורטית ואנשים נטו לפתח שיטות אד הוק, כיום קיימות הגדרות קונקרטיות להצפנה מאומתת בטוחה. השיטה הישירה נקראת 'בנייה גנרית' והיא שילוב של שני פרימיטיבים קריפטוגרפיים נפרדים כמו: מצב הפעלה CBC עם MAC באופן שכל אחד מהם פועל עצמאית. ישנן כמה דרכים לעשות זאת, מהן די מהירות למשל HMAC. מצב ההפעלה המועדף מהיבט של יעילות הוא CTR בגלל תמיכה מובנית במקביליות. הדרכים הישנות פועלות בשתי ריצות ואינן יעילות, מסיבה זו נעשים מאמצים למצוא דרכים חלופיות יותר יעילות. ישנן כמה סיבות מדוע הצפנה מאומתת מועדת לשגיאות. טעות נפוצה אחת היא להשתמש במפתח הצפנה משותף גם לאימות. טעות אחרת היא לנסות להבטיח שלמות על ידי פונקציית גיבוב לא קריפטוגרפית ללא מפתח הצפנה. הוכח שגישות מסוג זה כמעט כולן ניתנות לפריצה בקלות ולמרות זאת הן קיימות. גרסת WEP המקורית למשל כללה אלגוריתם אימות לא בטוח כלל שפעל עם קוד תיקון שגיאות CRC.
הלבנה.
טכניקת ההלבנה עושה שימוש בסדרה של ערכים "בלתי תלויים הדדית" (pairwise independent sequence) אותם מפיקים מווקטור האתחול formula_1 באורך formula_2 סיביות כאשר formula_2 מתייחס לאורך בלוק הצופן בסיביות (128 במקרה של AES). המפתח לצורך ההלבנה הוא formula_4. Jutla הציע שתי דרכים להפקת הערכים לצורך ההלבנה.
האחת היא באמצעות הצפנה. תחילה 'מותחים' את וקטור האתחול לווקטור פסאודו-אקראי חדש בגודל formula_5 שנקרא 'גרעין', על ידי הצפנה רקורסיבית עם מפתח ההצפנה formula_4 לפי הנוסחה formula_7 כאשר formula_8. הערך formula_9 מייצג את מספר הבלוקים של המסר formula_10 לאחר שחולק לבלוקים בגודל formula_2 סיביות והפונקציה formula_12 היא לוגריתם בבסיס 2. הפונקציה formula_13 היא צופן הבלוקים עם המפתח formula_4. לדוגמה אם formula_15 בלוקים אז formula_16, דהיינו נדרשים 9 קריאות לצופן הבלוקים להכנת הגרעין האקראי (הווקטורים formula_17 בגודל 128 סיביות כל אחד). עם הגרעין האקראי מכינים 'מסכת הלבנה' (whitening mask) שהיא סדרה של formula_18 ערכים formula_19 בגודל 128 סיביות כל אחד. לצורך כך משתמשים ברעיון של קוד גריי בשיטה שנקראת סכום-xor. לסיכום האלגוריתם:
הסימן formula_24 מייצג סכום-xor דהיינו הסכום formula_25. הערך formula_26 מייצג את הסיבית formula_27 של האינדקס formula_28.
שיטה אלגברית.
הדרך השנייה היא בשיטה אלגברית. תחילה בוחרים מספר ראשוני שיהיה קרוב לגודל הבלוק. במקרה של צופן 128 סיביות יהי formula_29. לאחר מכן מייצרים שני ערכים אקראיים על ידי הצפנה:
אם formula_32 מצמצמים formula_33. ואז הסדרה לצורך ההלבנה מתקבלת על ידי:
תיאור האלגוריתם.
הצפנה.
המסר formula_10 מחולק ל-formula_39 בלוקים בגודל formula_2 סיביות (לדוגמה במקרה של AES formula_41 סיביות, אם formula_10 מכיל 1,000 סיביות, formula_43 ו-formula_10 מחולק ל-8 בלוקים formula_45 כאשר הבלוק האחרון מרופד ב-24 אפסים). לצורך ההצפנה המאומתת נדרשים שני מפתחות שונים formula_46 כל אחד בגודל formula_47 סיביות, כאשר formula_47 נקבע לפי צופן הבלוקים שנבחר וכן וקטור אתחול חד פעמי formula_1 גם הוא בגודל formula_2 סיביות שבו משתמשים רק פעם אחת עבור מפתח נתון. להכנה תחילה מפעילים את אלגוריתם הכנה לעיל כדי לקבל את הסדרה formula_51. הטקסט המוצפן formula_52 מתקבל על ידי:
הסימן formula_24 מייצג סכום-xor דהיינו הסכום formula_59. וכן formula_60 הוא וקטור האתחול ו-formula_61 הוא תג האימות. שימו לב שכעת הטקסט המוצפן התרחב בשני בלוקים נוספים, הראשון הוא בלוק וקטור האתחול והאחרון הוא בלוק האימות כשבאמצע הטקסט המוצפן.
פענוח.
כאמור מפתחות ההצפנה משותפים לשולח והמקבל. לפענוח הטקסט המוצפן formula_62. תחילה מחלצים את וקטור האתחול עם המפתח השני formula_63. הפונקציה formula_64 היא פונקציית הפענוח של צופן הבלוקים. מפעילים את הפונקציה להכנת סדרת ההיסטים לצורך ההלבנה (באחת משתי השיטות לעיל) עם הפרמטרים formula_65 כדי לחשב את הסדרה formula_19 ואז:
הטקסט הקריא הוא formula_71. לבדיקת האימות מוודים ש-formula_72. אם לא, הטקסט המוצפן נדחה בגלל שינוי ייתכן זדוני, במהלך ההעברה.
ביטחון.
ביטחון IAPM מתואר כצירוף של שני מאפיינים: indistingushability כנגד התקפת מוצפן-נבחר ושלמות. בכללות הכוונה שהאלגוריתם מבטיח שהטקסט המוצפן לא יהיה ניתן להבחנה מערך אקראי אמיתי וכן שלא ניתן יהיה לחשב תג אימות מתאים לטקסט מוצפן כלשהו ללא ידיעת מפתח ההצפנה המשותף לשולח והמקבל. אילו הנחות סטנדרטיות שמצפים מצופן בלוקים ו-MAC בהתאמה. ההוכחה של Jutla מראה שאלגוריתם IAPM בטוח אם צופן הבלוקים בטוח. וכן פונקציית ההלבנה היא בעצם פונקציית גיבוב אוניברסלית formula_73. הוכח שאין צורך בהגדרה מחמירה של פונקציה אקראית אוניברסלית אלא מספיק שהערכים לצורך ההלבנה יהיו 'בלתי תלויים הדדית'. ההתפלגות של פונקציות בלתי תלויות formula_74, נקראת formula_73, אם עבור כל קבוע formula_76 ועבור זוגות ערכים שונים formula_77 מתקיים
אזי הפונקציה formula_79 נקראת formula_80 אוניברסלית. formula_9 הוא מספר הבלוקים ו-formula_82 ערך בטווח [0,1].
ולטר ג'ון ויליאמס
לאונרדו אוז'ואה
חוסה לאונרדו אוז'ואה (בספרדית: José Leonardo Ulloa; נולד ב-26 ביולי 1986) הוא כדורגלן ארגנטינאי המשחק בעמדת החלוץ בקבוצת ראיו ואיקאנו.
קריירת מועדונים.