E0 הוא צופן זרם סינכרוני ששימש בעבר לאבטחת פרוטוקול התקשורת של רשת בלוטות'. הוא מבוסס על צופן זרם חיבורי מעל שדה סופי formula_40 של רופל ומסי מ-1986. הצופן פועל עם מפתח הצפנה בגודל 128 סיביות. המחולל הפנימי מייצר 'זרם מפתח' פסאודו-אקראי באורך הרצוי שמחובר על ידי אופרטור XOR עם חבילות המידע סיבית אחר סיבית ומסונכרן מחדש אחרי כל חבילה. הפענוח פועל בדיוק כמו ההצפנה. המחולל הפנימי מייצר סיבית מפתח אחת בכל אות שעון באמצעות ארבעה אוגרי זיזה ממושבים (LFSR) בגדלים שונים; 25, 31, 33 ו-39 סיביות בהתאמה, בסך הכול 128 סיביות וכולל בנוסף יחידת חיבור (summation combiner) ויחידת מיזוג אי-ליניארית (blend machine) שיחד מהווים אוטומט סופי עם זיכרון של ארבע סיביות המייצגות בסך הכול 16 מצבים שונים. 128 הסיביות הראשוניות של מצבו הפנימי של הצופן נגזרות מהמחולל עצמו. דהיינו הפעלת המחולל עם מצב ראשוני המכיל את מפתח ההצפנה המסופק על ידי המשתמש, 48-סיביות כתובת ההתקן, מונה חבילה שנקרא master clock בגודל 26 סיביות וכן מספר אקראי בגודל 128 סיביות. סיביות הפלט הללו משמשות לאתחול תהליך ההצפנה.
כל הפולינומים המשמשים להזנה פרימיטיביים ומשקלם הבינארי הוא 5 (הם מכילים רק חמישה אחדות בייצוגם הבינארי). הפולינומים הם:
בכל מחזור זמן תכולת האוגרים מוזזת בסיבית אחת כלפי מטה (ימינה כמתואר בתרשים), הסיבית העליונה מתעדכנת בהתאם לפונקציית ההיזון המתאימה, למשל באוגר הראשון הסיביות 25, 20, 12, 8 ו-1 מחוברות ב-XOR והתוצאה מוזנת בסיבית העליונה. הסיביות במיקומים 24, 24, 32 ו-32 מארבעת האוגרים בהתאמה מחוברים ב-XOR עם סיבית הפלט של האוטומט הסופי כשהתוצאה היא חלק מזרם המפתח. האוטומט הסופי מתעדכן על ידי סכום סיביות הפלט של ארבעת האוגרים.
E0 התגלה כלא בטוח, אפשר לפרוץ את הצופן בפחות מ-formula_45 צעדים בשיטת הפרד ומשול. למרות זאת הוא עדיין נמצא בשימוש.
ביטחון.
המחולל הפנימי של צופן זרם מתנהג כאוטומט סופי. כלומר בכל נקודת זמן מצבו הפנימי הנוכחי מתעדכן על פי המצב הקודם ובד בבד נוצר חלק מזרם המפתח. בשל העובדה שמספר המצבים האפשריים סופי, לאחר זמן מצב כלשהו יופיע שוב והיות וכל מצב תלוי במצבים קודמים, למעשה מנקודה זו ואילך המחולל יחזור על עצמו בהעתק מדויק. לתכונה זו קוראים מחזוריות (period). אם מחזוריות המחולל קצרה מדי נוצרת חפיפה, חלקים שונים מזרם המסר יוצפנו באמצעות סיביות מפתח זהות. במצב כזה הצופן פרוץ לחלוטין, כיוון שבידיעת חלק קטן מהמסר המקורי ניתן לשחזר חלקים מזרם המפתח ואיתם לפענח את יתר חלקי הטקסט המוצפן. גם אם המסר המקורי אינו ידוע, אם משלבים קטעים שונים של זרם מוצפן שידוע כי הוצפנו עם מפתח זהה, מתקבל זרם סיביות המכיל שילוב של חלקי מסר מקוריים. במילים אחרות מסירים למעשה את זרם המפתח מפלט הצופן וחושפים את האופי הסטטיסטי של חלקי המסרים המקוריים. ניתוח סטטיסטי פשוט של השפה מאפשר להפרידם זה מזה בקלות.
במהלך מלחמת העולם השנייה, שימשה מכונת ההצפנה הגרמנית לורנץ להצפנת מסרים שהועברו בין המפקדה הנאצית לבין עמדות הפיקוד של הצבא הגרמני. מנתחי הצופן של בעלות הברית נהנו מהעובדה שמפעיל רדיו גרמני כשל פעם אחת והשתמש בטעות במפתח הצפנה זהה כדי להצפין שתי תשדורות שונות, עקב כך הושגה פריצת דרך בשבירת צופן המכונה על ידי חיקוי המבנה הפנימי שלה וניתוח מבנה הצופן.
דרך אחרת לבחון ביטחון צופן זרם היא לבדוק את מידת האקראיות של המחולל הפנימי שלו. היות שזרם המפתח מתנהג כרצף אקראי, אפשר לעשות שימוש בכלים סטטיסטיים ידועים כדי לבחון את מידת אקראיות הפלט. העבודה הראשונה בתחום נעשתה על ידי סולומון גולומב שהגדיר שלושה כללים לקביעת טיב אקראיות המחולל. קיימות שיטות שונות לבדיקת אקראיות (ראו מחולל מספרים אקראיים).
סיבוכיות לנארית.
כל מחרוזת סיביות ניתנת לייצוג על ידי נוסחת נסיגה רקורסיבית כלשהי של מחרוזת סיביות קצרה יותר. כלומר אפשר לבטא כל סיבית ברצף כצירוף ליניארי כלשהו של מספר סיביות קודמות. הצירוף הקצר ביותר איתו ניתן לבטא מחרוזת סיביות נתונה נקרא הסיבוכיות הליניארית של המחרוזת. אלגוריתם ברלקמפ-מסי (Berlekamp-Massey) יעיל בחישוב נוסחת הנסיגה של מחרוזת סיביות מעל שדה בינארי וכתוצאה מכך בחישוב הסיבוכיות הליניארית שלה. סיבוכיות ליניארית חשובה בניתוח צופן זרם המבוסס על LFSR כיוון שכדי להשיג מחזוריות מרבית, הערך הראשוני של האוגר חשוב. אפשר לראות את LFSR כפולינום מעל השדה המורחב formula_46 שמקדמיו הם 0 או 1, המקדמים הם סיביות המחולל, שחלקם משמשים כמקדמים לחישוב סיבית ההזנה בשלב העליון. ה-LFSR מקסימלי (כלומר מייצר רצף בעל מחזוריות מקסימלית) רק אם הפולינום המייצג אותו פרימיטיבי ומספר הסיביות במחולל זוגי.
כיום מקובל שמחזוריות של formula_47 נחשבת קטנה מדי ברוב היישומים. מקובל שתהיה מחזוריות של לפחות formula_45.
צפני זרם בתוכנה.
בעקרון יישום LFSR יעיל יותר בחומרה. ב-1987 פותח RC4 של רונלד ריבסט, צופן הזרם הראשון שעוצב במיוחד לתוכנה. ב-1994 הוצג לציבור צופן SEAL. צפנים אילו אינם עושים שימוש ב-LFSR אלא פועלים על עיקרון של תמורה פסאודו-אקראית. למעט RC4, צופן זרם מודרני כולל שימוש בווקטור אתחול, הנקרא גם Nonce. מטרתו היא לאפשר שימוש באותו מפתח הצפנה להצפנת טקסטים רבים ללא חשש. בדרך כלל החלפת מפתח הצפנה דורשת פעולת הכנה מסוימת ואילו החלפת Nonce קלה ביותר. צופן בלוקים מיושם לעיתים במצבי הפעלה המדמים צופן זרם. למשל במצב OFB אפשר ליישם צופן בלוקים כמו AES באופן כזה שפלט הצופן מתנהג כצופן זרם לכל דבר, אך פחות יעיל כיוון שבכל סבב שבו מופעל הצופן רק מספר קטן של סיביות מוצפנות. ב-2005 פותח צופן זרם Salsa20 שהוא מהיר יותר מ-AES, מתאים לתוכנה ולחומרה והומלץ לשימוש בעיקר בתוכנה.
צופני זרם מודרניים שמנצלים LFSR משתמשים ביחידות גדולות עם מצב פנימי בגודל 160 סיביות ומעלה ובשיטות שילוב לא ליניאריות בדומה לצופן בלוקים. לדוגמה SOSEMANUK הוא צופן זרם מודרני שמנצל טכניקות מתקדמות ממספר אלגוריתמים ידועים כמו סרפנט ו-SNOW וכולל מצב פנימי שמנוהל על ידי LFSR בעל עשר יחידות בגודל formula_47 ומכונת מצבים בגודל 64 סיביות.
eSTREAM.
eSTREAM הוא פרויקט אירופאי לתיקנון צופן זרם בעל פוטנציאל להפצה בקנה מידה גדול שהוקם על ידי הארגון European Network of Excellence for Cryptology. הפרויקט החל ב-2004 והסתיים ב-2008 כאשר במהלכו נבדקו אלגוריתמים לצופן זרם בשני מסלולים מקבילים, פרופיל 1 - צופן זרם המיושם בתוכנה עם קצב העברה גבוה. פרופיל 2 - צופן זרם המיושם בחומרה (עם משאבים ויכולת אחסון מוגבלים).
להלן רשימת האלגוריתמים המובילים:
ואפ
מפרץ קרפנטריה
צבא לבנון
צבא לבנון (בערבית: القوات المسلحة اللبنانية, בצרפתית: Forces Armées Libanaises) הוא זרוע של הכוחות המזוינים הלבנוניים לצד חיל האוויר הלבנוני והצי הלבנוני. משימת הצבא היא לשמור על הביטחון והיציבות במדינה, להגן על גבולותיה ועל נמלי הים. כמו כן הצבא אמור לסייע במבצעי סיוע וחילוץ, כיבוי אש ועוד. שלוש זרועות הצבא מתואמות במטה משותף, שמשכנו בירזה, ממזרח לבירה ביירות. לצבא שש מכללות ובתי ספר ברחבי המדינה, להכשרת החיילים. חלק מהצוערים נשלחים למדינות אחרות לשם הכשרה נוספת. כ-85% מהציוד אותו מפעיל הצבא הוא ממקור אמריקאי וסובייטי.
צבא לבנון.
הצבא הלבנוני (צבא היבשה, בערבית: الجيش اللبناني) מורכב מהכוחות הבאים:
בריגדת משמר הרפובליקה אחראית לביטחון הנשיא ומצטרפת אליו במסעותיו.
הציוד העיקרי של הצבא כולל:
לצבא יש גם מגוון של ציוד ארטילריה וטילים.
הצי הלבנוני.
הצי הלבנוני אחראי על הגנת המים הטריטוריאליים של לבנון, על הגנת הנמלים, ומלחמה בהברחת סחורות. ציודו כולל:
חיל האוויר הלבנוני.
לאחר תקופה ארוכה בה לא עשה שימוש במטוסים בעלי כנף קבועה, חזר חיל האוויר הלבנוני בשנים האחרונות להפעיל 4 מטוסי הוקר הנטר. כמו כן קיבלה לבנון מארצות הברית מטוס מדגם ססנה 208 קרוון החמוש בטילי הלפייר. מטוס נוסף מסוג זה הגיע ללבנון בשנת 2013.
כמו כן מפעיל חיל האוויר הלבנוני מספר סוגי מסוקים, ביניהם:
מסוקי הבל שנמסרו לחיל האוויר הלבנוני שימשו בעבר את צבא ארצות הברית. מסוקי הרובינזון נרכשו לאחרונה והם משמשים לאימון. הם מוצבים בבסיס חיל האוויר ריאק שבמזרח המדינה.
היסטוריה.
ב-17 בספטמבר 1983 נערכה הגיחה הקרבית האחרונה של חיל האוויר הלבנוני. שלושה מטוסי הוקר הנטר מדגם F.Mk.70 נשלחו לתקוף עמדות דרוזיות. אחד המטוסים נפגע והתרסק, וטייסו הצליח לנטוש בקושי מעל הים. ההנטר השני נפגע קשות ונחת נחיתת אונס. ההנטר השלישי לא שב לבסיסו אלא טס לאקרוטירי שבקפריסין, שם ביקש הטייס מקלט מדיני.
גיוס.
בעבר היה נהוג בלבנון גיוס חובה של הגברים הכשירים לשירות למשך שנה. ב-4 במאי 2005 אומצה מדיניות גיוס חדשה, במסגרתה קוצר שירות החובה למשך שנתיים לשישה חודשים בלבד, ולאחר מכן יהפוך השירות הצבאי להתנדבותי.
פעולות צבאיות בשנים האחרונות.
בזמן מלחמת לבנון השנייה הותקפה לבנון מהאוויר, מהים וביבשה על יד צה"ל. צבא לבנון כמעט לא השתתף בלחימה (אולם לפי צה"ל, מכ"ם חוף של צבא לבנון סייע לחזבאללה לכוון את הטיל שפגע באח"י חנית.) אנשי צבא ככל הנראה נפגעו במהלך הלחימה, ואתר האינטרנט של הצבא פרסם שמות חייליו שנהרגו. לחיל האוויר הלבנוני לא היו כלי טיס שיכולים היו להתמודד עם מטוסי חיל האוויר הישראלי. לצבא יש תותחי נ"מ, ודוברי הצבא טענו שנעשה בהם שימוש, אך לא דווח על כלי טיס ישראלי שנפגע מאש נגד מטוסים של צבא לבנון.