קמליה (צופן)
קמליה - Camellia [ 1] הוא צופן בלוקים סימטרי שפותח בשנת 2000 בשיתוף פעולה של מיצובישי ו-NTT על ידי צוות קריפטוגרפים בראשות מיצורו מצואי (אנ' ) . הוצע לגופי תקינה רבים, נכלל ברשימת הצפנים המומלצים של פרויקט NESSIE האירופאי משנת 2003 ופרויקט CRYPTREC של ממשלת יפן , הוצע במזכר RFC 3713 של IETF כתוספת ל-IPSec , אושר על ידי ארגון התקינה הבינלאומי בתקן ISO/IEC 18033-3 ונכלל בפרוטוקולי אבטחה פופולריים רבים, ביניהם SSL , OpenPGP ו-S/MIME . ספריות אבטחה רבות מספקות תמיכה לקמליה, ביניהן Crypto++ , GPG , OpenSSL . קמליה מוגן בפטנט והותר על ידי NTT לשימוש ברישיון חופשי .
הצופן מקבל בלוק מידע בגודל 128 סיביות ומפתח הצפנה בשלושה גדלים אפשריים 128, 192 או 256 סיביות והפלט הוא בלוק מוצפן בגודל 128 סיביות. הצופן בעל סגנון ייחודי - מעין רשת פייסטל רקורסיבית , בשמונה-עשר או עשרים וארבעה סבבים בהתאם לאורך המפתח ופועל ברמה של בתים. הפונקציה הפנימית מתנהגת כרשת החלפה-תמורה על שמונה בתים, שכבת ההחלפה מתבצעת במקביל באמצעות שמונה תיבות החלפה (S-box) בגודל 8x8 סיביות ושכבת התמורה היא קומבינציה של XOR בין בתי הקלט. בנוסף, בדומה לMISTY ו-KASUMI כולל גם שכבת טרנספורמציה ליניארית תלוית מפתח שמופעלת אחת לשישה סבבים.
ביטחון
צופן קמליה קיבל הכרה כצופן מודרני בטוח ואינו נופל ברמתו מ-AES . הוא זוכה לפופולריות רבה גם עקב פשטותו ויעילותו הרבה הן בחומרה והן בתוכנה. ההתקפות הטובות ביותר הידועות נגד הצופן הן התקפה שנקראת Square Attack[ 2] על גרסה מצומצמת (תשעה סבבים) בסיבוכיות של
2
202
{\displaystyle 2^{202}}
הצפנות ועם
2
61
{\displaystyle 2^{61}}
טקסטים מוצפנים. התקפה אחרת שנקראת Rectangle Attack[ 3] של Shirai מצליחה לשבור את הצופן בעשרה סבבים בסיבוכיות של
2
241
{\displaystyle 2^{241}}
קריאות זיכרון עם
2
127
{\displaystyle 2^{127}}
טקסטים נבחרים. התקפה נוספת שהיא סוג של התקפה דיפרנציאלית[ 4] אינה טובה משמעותית מכוח גס . בכללות אילו התקפות תאורטיות שאינן מסכנות את ביטחון הצופן. יש לציין שהטרנספורמציה הליניארית הנוספת (להלן), אחראית בין היתר על חוזקו.
תיאור הצופן
תיאור פעולת ההצפנה של צופן קמליה עם מפתח 192 או 256 סיביות
צופן קמליה (על שם צמח התה ) הוא ממשיכו של E2 שהיה מהמועמדים ל-AES והסגנון הייחודי שלו מבוסס עליו במידה רבה. הפעולות בצופן הן בעיקר פעולות החלפה ופעולות לוגיות OR , XOR ו-AND על מילים או בתים. כאשר המרות ממילים לבתים וההפך הן לפי סדר בתים גדול (למשל אם המילה מכילה את הערך 0x01234567 (בבסיס הקסדצימלי ) בהמרה לבתים הבית הראשון יכיל 0x01, השני 0x23, השלישי 0x45 והרביעי 0x67). בגרסת מפתח 128 סיביות, בלוק המידע עובר 18 סבבים של טרנספורמציה במבנה פייסטל בנוסף לשכבות הטרנספורמציה הליניארית
F
L
{\displaystyle FL}
והטרנספורמציה ההופכית
F
L
− − -->
1
{\displaystyle FL^{-1}}
לאחר הסבב השישי והסבב השנים-עשר (כמתואר בתרשים משמאל). פונקציית הרחבת המפתח מקבלת את המפתח הסודי המסופק על ידי המשתמש ומייצרת ממנו תת-מפתחות מורחבים לכל הסבבים שהם ארבעה מפתחות הלבנה המסומנים
k
w
t
{\displaystyle kw_{t}}
כאשר
t
=
1
,
2
,
3
,
4
{\displaystyle t=1,2,3,4}
, שמונה עשר מפתחות סבבים
k
u
{\displaystyle k_{u}}
כאשר
u
=
1
,
2
,
.
.
.
,
18
{\displaystyle u=1,2,...,18}
וכן ארבעה מפתחות
k
l
v
{\displaystyle kl_{v}}
(עבור הפונקציות הליניאריות) כאשר
v
=
1
,
2
,
3
,
4
{\displaystyle v=1,2,3,4}
, כולם מילים באורך 64 סיביות. תחילה בלוק הטקסט
M
{\displaystyle M}
מחובר ב-XOR (המסומן כאן ב-
⊕ ⊕ -->
{\displaystyle \oplus }
) עם שני המפתחות הראשונים
k
w
1
,
k
w
2
{\displaystyle kw_{1},kw_{2}}
בהתאמה, פעולה זו נקראת הלבנה . התוצאה מחולקת לשני חצאים
L
{\displaystyle L}
ו-
R
{\displaystyle R}
ואז הפעולות הבאות מבוצעות
r
{\displaystyle r}
פעמים כאשר
r
=
1
,
.
.
.
,
18
{\displaystyle r=1,...,18}
למעט הסבבים 6 ו-12:
L
r
=
R
r
− − -->
1
⊕ ⊕ -->
F
(
L
r
− − -->
1
,
k
r
)
{\displaystyle L_{r}=R_{r-1}\oplus F(L_{r-1},k_{r})}
,
R
r
=
L
r
− − -->
1
{\displaystyle R_{r}=L_{r-1}}
.
עבור הסבבים 6 ו-12 מבצעים כדלהלן:
L
r
′
=
R
r
− − -->
1
⊕ ⊕ -->
F
(
L
r
− − -->
1
,
k
r
)
{\displaystyle L_{r}^{'}=R_{r-1}\oplus F(L_{r-1},k_{r})}
,
R
r
′
=
L
r
− − -->
1
{\displaystyle R_{r}^{'}=L_{r-1}}
,
L
r
=
F
L
(
L
r
′
,
k
l
2
r
/
6
− − -->
1
)
{\displaystyle L_{r}=FL(L_{r}^{'},kl_{2r/6-1})}
,
R
r
=
F
L
− − -->
1
(
R
r
′
,
k
l
2
r
/
6
)
{\displaystyle R_{r}=FL^{-1}(R_{r}^{'},kl_{2r/6})}
.
לבסוף התוצאות האחרונות
R
18
{\displaystyle R_{18}}
ו-
L
18
{\displaystyle L_{18}}
עוברים שוב הלבנה עם המפתחות
k
w
3
,
k
w
4
{\displaystyle kw_{3},kw_{4}}
בהתאמה. במילים אחרות פלט הצופן הוא
C
=
(
R
18
⊕ ⊕ -->
k
w
3
‖ ‖ -->
L
18
⊕ ⊕ -->
k
w
4
)
{\displaystyle C=(R_{18}\oplus kw_{3}\ \|\ L_{18}\oplus kw_{4})}
.
מפתחות 192 ו-256 סיביות
כאשר נבחר מפתח באורך 192 או 256 סיביות יחולו השינויים הבאים. יהיו שישה מפתחות עבור הפונקציות הליניאריות כלומר נוספו שני מפתחות
k
l
5
,
k
l
6
{\displaystyle kl_{5},kl_{6}}
. יהיו 24 מפתחות
k
u
{\displaystyle k_{u}}
במקום 18 וכן קוראים לטרנספורמציה הליניארית והטרנספורמציה ההופכית שלה שלוש פעמים; בסבבים 6, 12 ו-18. כל היתר זהה.
פענוח
הפענוח בקמליה זהה להצפנה למעט היפוך סדר תת-המפתחות. אם המפתח הוא באורך 128 סיביות, תחילה מבטלים את ההלבנה על ידי חיבור ב-XOR עם המפתחות
k
w
3
,
k
w
4
{\displaystyle kw_{3},kw_{4}}
בהתאמה ומתקבלים החצאים
L
18
,
R
18
{\displaystyle L_{18},R_{18}}
מהסבב האחרון של ההצפנה ואז מבצעים עבור
r
=
18
{\displaystyle r=18}
עד
r
=
1
{\displaystyle r=1}
בסדר יורד למעט הסבבים 13 ו-7 כדלהלן:
R
r
− − -->
1
=
L
r
⊕ ⊕ -->
F
(
R
r
,
k
r
)
{\displaystyle R_{r-1}=L_{r}\oplus F(R_{r},k_{r})}
,
L
r
− − -->
1
=
R
r
{\displaystyle L_{r-1}=R_{r}}
.
בסבבים 13 ו-7 מבצעים:
R
r
− − -->
1
′
=
L
r
⊕ ⊕ -->
F
(
R
r
,
k
r
)
{\displaystyle R_{r-1}^{'}=L_{r}\oplus F(R_{r},k_{r})}
,
L
r
− − -->
1
′
=
R
r
{\displaystyle L_{r-1}^{'}=R_{r}}
,
R
r
− − -->
1
=
F
L
(
R
r
− − -->
1
′
,
k
l
2
(
r
− − -->
1
)
/
6
)
{\displaystyle R_{r-1}=FL(R_{r-1}',kl_{2(r-1)/6})}
,
L
r
− − -->
1
=
F
L
− − -->
1
(
L
r
− − -->
1
′
,
k
l
2
(
r
− − -->
1
)
/
6
− − -->
1
)
{\displaystyle L_{r-1}=FL^{-1}(L_{r-1}^{'},kl_{2(r-1)/6-1})}
.
הטקסט הקריא יהיה
M
=
(
L
0
⊕ ⊕ -->
k
w
1
‖ ‖ -->
R
0
⊕ ⊕ -->
k
w
2
)
{\displaystyle M=(L_{0}\oplus kw_{1}\ \|\ R_{0}\oplus kw_{2})}
.
אם המפתח הנבחר הוא באורך 192 או 256 סיביות, ההבדלים הם שמתבצעים בסך הכול 24 סבבים בסדר יורד והטרנספורמציה הליניארית מתבצעת בסבבים 19, 13 ו-7.
הכנת מפתח
סכמת הכנת המפתח של צופן קמליה
הכנת המפתח נעשית באמצעות גרסה מצומצמת של רשת פייסטל כמתואר בתרשים משמאל. תחילה מגדירים שני משתנים מקומיים
K
L
,
K
R
{\displaystyle K_{L},K_{R}}
באורך 128 סיביות כל אחד בהם מציבים את המפתח המסופק על ידי המשתמש. לכל משתנה אפשר להתייחס כאל מילה אחת באורך 128 סיביות או שתי מילים באורך 64 סיביות המייצגים את שני החצאים של משתנה האב, צד ימין של
K
L
{\displaystyle K_{L}}
ייקרא
K
L
R
{\displaystyle K_{LR}}
וצד שמאל
K
L
L
{\displaystyle K_{LL}}
וכן לגבי
K
R
{\displaystyle K_{R}}
, בסך הכול ארבעה רבעים
K
L
L
,
K
L
R
,
K
R
L
{\displaystyle K_{LL},K_{LR},K_{RL}}
ו-
K
R
R
{\displaystyle K_{RR}}
באורך 64 סיביות כל אחד. כאשר המפתח המסופק על ידי המשתמש הוא באורך 128 סיביות מציבים אותו ב-
K
L
{\displaystyle K_{L}}
ואילו המילה
K
R
=
0
{\displaystyle K_{R}=0}
. את המפתח המסופק על ידי המשתמש טוענים למשתנים הפנימיים כך שהכללים הבאים מתקיימים:
עבור מפתח 128 סיביות; המפתח בחצי השמאלי
K
L
{\displaystyle K_{L}}
ואילו החצי הימני
K
R
=
0
{\displaystyle K_{R}=0}
. שים לב ש-
K
L
L
{\displaystyle K_{LL}}
ו-
K
L
R
{\displaystyle K_{LR}}
מכילים את שני חצאי
K
L
{\displaystyle K_{L}}
בהתאמה.
עבור מפתח 192 סיביות; המפתח מחולק כך ש-
K
=
K
L
‖ ‖ -->
K
R
L
,
K
R
R
=
K
R
L
¯ ¯ -->
{\displaystyle K=K_{L}\ \|\ K_{RL},K_{RR}={\overline {K_{RL}}}}
. הסמל
x
¯ ¯ -->
{\displaystyle {\overline {x}}}
הוא המשלים ל-1 של
x
{\displaystyle x}
(אותו אפשר לקבל על ידי חיבור XOR עם וקטור של 64 אחדים). המפתח מתפרס על פני
K
L
{\displaystyle K_{L}}
ומחצית מ-
K
R
{\displaystyle K_{R}}
- כלומר
K
R
L
{\displaystyle K_{RL}}
ואילו החלק האחרון
K
R
R
{\displaystyle K_{RR}}
מכיל את המשלים של
K
R
L
{\displaystyle K_{RL}}
.
עבור מפתח 256 סיביות; המפתח מחולק כך ש-
K
=
K
L
‖ ‖ -->
K
R
{\displaystyle K=K_{L}\ \|\ K_{R}}
.
עבור כל המפתחות;
K
L
=
K
L
L
‖ ‖ -->
K
L
R
{\displaystyle K_{L}=K_{LL}\ \|\ K_{LR}}
וכן
K
R
=
K
R
L
‖ ‖ -->
K
R
R
{\displaystyle K_{R}=K_{RL}\ \|\ K_{RR}}
.
בנוסף מגדירים שני משתנים
K
A
{\displaystyle K_{A}}
ו-
K
B
{\displaystyle K_{B}}
באורך 128 סיביות כל אחד, אותם מאתחלים כדלהלן. תחילה מבצעים
K
L
⊕ ⊕ -->
K
R
{\displaystyle K_{L}\oplus K_{R}}
, את התוצאה מצפינים בהצפנה מקוצרת ברשת פייסטל בשני סבבים עם הפונקציה
F
{\displaystyle F}
המתוארת להלן כאשר הערכים
Σ Σ -->
1
,
Σ Σ -->
2
{\displaystyle \Sigma _{1},\Sigma _{2}}
מתוך הטבלה להלן משמשים כמפתחות הצפנה. את התוצאה מחברים ב-XOR עם
K
L
{\displaystyle K_{L}}
ושוב מצפינים עם
Σ Σ -->
3
{\displaystyle \Sigma _{3}}
ו-
Σ Σ -->
4
{\displaystyle \Sigma _{4}}
והתוצאה האחרונה תהיה
K
A
{\displaystyle K_{A}}
. את
K
A
{\displaystyle K_{A}}
מחברים שוב ב-XOR עם
K
R
{\displaystyle K_{R}}
ומצפינים עם
Σ Σ -->
5
,
Σ Σ -->
6
{\displaystyle \Sigma _{5},\Sigma _{6}}
והתוצאה האחרונה היא
K
B
{\displaystyle K_{B}}
. התהליך מומחש בתרשים משמאל.
ערכי הקבועים הם 16 ספרות החל מהספרה השנייה ועד הספרה ה-17 של הייצוג ההקסדצימלי של חלק השבר של השורש הריבועי של ששת המספרים הראשוניים הראשונים.
משתנה
ערך
Σ Σ -->
1
{\displaystyle \Sigma _{1}}
0xA09E667F3BCC908B
{\displaystyle {\text{0xA09E667F3BCC908B}}}
Σ Σ -->
2
{\displaystyle \Sigma _{2}}
0xB67AE8584CAA73B2
{\displaystyle {\text{0xB67AE8584CAA73B2}}}
Σ Σ -->
3
{\displaystyle \Sigma _{3}}
0xC6EF372FE94F82BE
{\displaystyle {\text{0xC6EF372FE94F82BE}}}
Σ Σ -->
4
{\displaystyle \Sigma _{4}}
0x54FF53A5F1D36F1C
{\displaystyle {\text{0x54FF53A5F1D36F1C}}}
Σ Σ -->
5
{\displaystyle \Sigma _{5}}
0x10E527FADE682D1D
{\displaystyle {\text{0x10E527FADE682D1D}}}
Σ Σ -->
6
{\displaystyle \Sigma _{6}}
0xB05688C2B3E6C1FD
{\displaystyle {\text{0xB05688C2B3E6C1FD}}}
מתוך המשתנים
K
L
,
K
R
,
K
A
,
K
B
{\displaystyle K_{L},K_{R},K_{A},K_{B}}
גוזרים תת-מפתחות
(
k
w
t
,
k
u
,
k
l
v
)
{\displaystyle (kw_{t},k_{u},kl_{v})}
כל אחד באורך 64 סיביות. כל מפתח נגזר מהחלק השמאלי או הימני של הזזה מעגלית של אחד מהמשתנים האמורים לפי הטבלה הבאה. למשל אם המפתח הנבחר הוא 192 או 256 סיביות אזי לפי הטבלה הימנית, ערכו של תת-המפתח
k
8
{\displaystyle k_{8}}
עבור הסבב השמיני הוא החצי הימני של
K
B
{\displaystyle K_{B}}
המסומן בטבלה
K
B
R
{\displaystyle K_{BR}}
לאחר הזזה מעגלית 30 פוזיציות לשמאל.
192/256 סיביות
סבב
תת-מפתח
ערך
הלבנה
k
w
1
{\displaystyle kw_{1}}
K
L
L
{\displaystyle K_{LL}}
הלבנה
k
w
2
{\displaystyle kw_{2}}
K
L
R
{\displaystyle K_{LR}}
סבב 1
k
1
{\displaystyle k_{1}}
K
B
L
{\displaystyle K_{BL}}
סבב 2
k
2
{\displaystyle k_{2}}
K
B
R
{\displaystyle K_{BR}}
סבב 3
k
3
{\displaystyle k_{3}}
K
R
L
⋘ ⋘ -->
15
{\displaystyle K_{RL}\lll 15}
סבב 4
k
4
{\displaystyle k_{4}}
K
R
R
⋘ ⋘ -->
15
{\displaystyle K_{RR}\lll 15}
סבב 5
k
5
{\displaystyle k_{5}}
K
A
L
⋘ ⋘ -->
15
{\displaystyle K_{AL}\lll 15}
סבב 6
k
6
{\displaystyle k_{6}}
K
A
R
⋘ ⋘ -->
15
{\displaystyle K_{AR}\lll 15}
F
L
{\displaystyle FL}
k
l
1
{\displaystyle kl_{1}}
K
R
L
⋘ ⋘ -->
30
{\displaystyle K_{RL}\lll 30}
F
L
− − -->
1
{\displaystyle FL^{-1}}
k
l
2
{\displaystyle kl_{2}}
K
R
R
⋘ ⋘ -->
30
{\displaystyle K_{RR}\lll 30}
סבב 7
k
7
{\displaystyle k_{7}}
K
B
L
⋘ ⋘ -->
30
{\displaystyle K_{BL}\lll 30}
סבב 8
k
8
{\displaystyle k_{8}}
K
B
R
⋘ ⋘ -->
30
{\displaystyle K_{BR}\lll 30}
סבב 9
k
9
{\displaystyle k_{9}}
K
L
L
⋘ ⋘ -->
45
{\displaystyle K_{LL}\lll 45}
סבב 10
k
10
{\displaystyle k_{10}}
K
L
R
⋘ ⋘ -->
45
{\displaystyle K_{LR}\lll 45}
סבב 11
k
11
{\displaystyle k_{11}}
K
A
L
⋘ ⋘ -->
45
{\displaystyle K_{AL}\lll 45}
סבב 12
k
12
{\displaystyle k_{12}}
K
A
R
⋘ ⋘ -->
45
{\displaystyle K_{AR}\lll 45}
F
L
{\displaystyle FL}
k
l
3
{\displaystyle kl_{3}}
K
L
L
⋘ ⋘ -->
60
{\displaystyle K_{LL}\lll 60}
F
L
− − -->
1
{\displaystyle FL^{-1}}
k
l
4
{\displaystyle kl_{4}}
K
L
R
⋘ ⋘ -->
60
{\displaystyle K_{LR}\lll 60}
סבב 13
k
13
{\displaystyle k_{13}}
K
R
L
⋘ ⋘ -->
60
{\displaystyle K_{RL}\lll 60}
סבב 14
k
14
{\displaystyle k_{14}}
K
R
R
⋘ ⋘ -->
60
{\displaystyle K_{RR}\lll 60}
סבב 15
k
15
{\displaystyle k_{15}}
K
B
L
⋘ ⋘ -->
60
{\displaystyle K_{BL}\lll 60}
סבב 16
k
16
{\displaystyle k_{16}}
K
B
R
⋘ ⋘ -->
60
{\displaystyle K_{BR}\lll 60}
סבב 17
k
17
{\displaystyle k_{17}}
K
L
L
⋘ ⋘ -->
77
{\displaystyle K_{LL}\lll 77}
סבב 18
k
18
{\displaystyle k_{18}}
K
L
R
⋘ ⋘ -->
77
{\displaystyle K_{LR}\lll 77}
F
L
{\displaystyle FL}
k
l
5
{\displaystyle kl_{5}}
K
A
L
⋘ ⋘ -->
77
{\displaystyle K_{AL}\lll 77}
F
L
− − -->
1
{\displaystyle FL^{-1}}
k
l
6
{\displaystyle kl_{6}}
K
A
R
⋘ ⋘ -->
77
{\displaystyle K_{AR}\lll 77}
סבב 19
k
19
{\displaystyle k_{19}}
K
R
L
⋘ ⋘ -->
94
{\displaystyle K_{RL}\lll 94}
סבב 20
k
20
{\displaystyle k_{20}}
K
R
R
⋘ ⋘ -->
94
{\displaystyle K_{RR}\lll 94}
סבב 21
k
21
{\displaystyle k_{21}}
K
A
L
⋘ ⋘ -->
94
{\displaystyle K_{AL}\lll 94}
סבב 22
k
22
{\displaystyle k_{22}}
K
A
R
⋘ ⋘ -->
94
{\displaystyle K_{AR}\lll 94}
סבב 23
k
23
{\displaystyle k_{23}}
K
L
L
⋘ ⋘ -->
111
{\displaystyle K_{LL}\lll 111}
סבב 24
k
24
{\displaystyle k_{24}}
K
L
R
⋘ ⋘ -->
111
{\displaystyle K_{LR}\lll 111}
הלבנה
k
w
3
{\displaystyle kw_{3}}
K
B
L
⋘ ⋘ -->
111
{\displaystyle K_{BL}\lll 111}
הלבנה
k
w
4
{\displaystyle kw_{4}}
K
B
R
⋘ ⋘ -->
111
{\displaystyle K_{BR}\lll 111}
128 סיביות
סבב
תת-מפתח
ערך
הלבנה
k
w
1
{\displaystyle kw_{1}}
K
L
L
{\displaystyle K_{LL}}
הלבנה
k
w
2
{\displaystyle kw_{2}}
K
L
R
{\displaystyle K_{LR}}
סבב 1
k
1
{\displaystyle k_{1}}
K
A
L
{\displaystyle K_{AL}}
סבב 2
k
2
{\displaystyle k_{2}}
K
A
R
{\displaystyle K_{AR}}
סבב 3
k
3
{\displaystyle k_{3}}
K
L
L
⋘ ⋘ -->
15
{\displaystyle K_{LL}\lll 15}
סבב 4
k
4
{\displaystyle k_{4}}
K
L
R
⋘ ⋘ -->
15
{\displaystyle K_{LR}\lll 15}
סבב 5
k
5
{\displaystyle k_{5}}
K
A
L
⋘ ⋘ -->
15
{\displaystyle K_{AL}\lll 15}
סבב 6
k
6
{\displaystyle k_{6}}
K
A
R
⋘ ⋘ -->
15
{\displaystyle K_{AR}\lll 15}
F
L
{\displaystyle FL}
k
l
1
{\displaystyle kl_{1}}
K
A
L
⋘ ⋘ -->
30
{\displaystyle K_{AL}\lll 30}
F
L
− − -->
1
{\displaystyle FL^{-1}}
k
l
2
{\displaystyle kl_{2}}
K
A
R
⋘ ⋘ -->
30
{\displaystyle K_{AR}\lll 30}
סבב 7
k
7
{\displaystyle k_{7}}
K
L
L
⋘ ⋘ -->
45
{\displaystyle K_{LL}\lll 45}
סבב 8
k
8
{\displaystyle k_{8}}
K
L
R
⋘ ⋘ -->
45
{\displaystyle K_{LR}\lll 45}
סבב 9
k
9
{\displaystyle k_{9}}
K
A
L
⋘ ⋘ -->
45
{\displaystyle K_{AL}\lll 45}
סבב 10
k
10
{\displaystyle k_{10}}
K
L
R
⋘ ⋘ -->
60
{\displaystyle K_{LR}\lll 60}
סבב 11
k
11
{\displaystyle k_{11}}
K
A
L
⋘ ⋘ -->
60
{\displaystyle K_{AL}\lll 60}
סבב 12
k
12
{\displaystyle k_{12}}
K
A
R
⋘ ⋘ -->
60
{\displaystyle K_{AR}\lll 60}
F
L
{\displaystyle FL}
k
l
3
{\displaystyle kl_{3}}
K
L
L
⋘ ⋘ -->
77
{\displaystyle K_{LL}\lll 77}
F
L
− − -->
1
{\displaystyle FL^{-1}}
k
l
4
{\displaystyle kl_{4}}
K
L
R
⋘ ⋘ -->
77
{\displaystyle K_{LR}\lll 77}
סבב 13
k
13
{\displaystyle k_{13}}
K
L
L
⋘ ⋘ -->
94
{\displaystyle K_{LL}\lll 94}
סבב 14
k
14
{\displaystyle k_{14}}
K
L
R
⋘ ⋘ -->
94
{\displaystyle K_{LR}\lll 94}
סבב 15
k
15
{\displaystyle k_{15}}
K
A
L
⋘ ⋘ -->
94
{\displaystyle K_{AL}\lll 94}
סבב 16
k
16
{\displaystyle k_{16}}
K
A
R
⋘ ⋘ -->
94
{\displaystyle K_{AR}\lll 94}
סבב 17
k
17
{\displaystyle k_{17}}
K
L
L
⋘ ⋘ -->
111
{\displaystyle K_{LL}\lll 111}
סבב 18
k
18
{\displaystyle k_{18}}
K
L
R
⋘ ⋘ -->
111
{\displaystyle K_{LR}\lll 111}
הלבנה
k
w
3
{\displaystyle kw_{3}}
K
A
L
⋘ ⋘ -->
111
{\displaystyle K_{AL}\lll 111}
הלבנה
k
w
4
{\displaystyle kw_{4}}
K
A
R
⋘ ⋘ -->
111
{\displaystyle K_{AR}\lll 111}
הביטוי
x
⋘ ⋘ -->
y
{\displaystyle x\lll y}
פירושו כאן הזזה מעגלית של
x
{\displaystyle x}
במספר סיביות המצוין על ידי
y
{\displaystyle y}
בגבולות מילה באורך 64 סיביות. לדוגמה אם המשתנה באורך 8 סיביות (בית), והוא מכיל את הערך 169 או 'A9' (בבסיס בינארי "10101001") לאחר הזה מעגלית לשמאל שלוש סיביות יתקבל 53 או '35' ("110101").
היות שכל מפתח כאמור הוא תוצאה של הזזה מעגלית של אחד המשתנים האמורים, אפשר להכין את מפתחות הסבבים תוך כדי ריצה במקום לאחסן את כל הטבלה בזיכרון ובכך לחסוך מקום.
פונקציות עזר
תיאור הפונקציה F
להלן תיאור הפונקציות המרכיבות את הצופן מהגדול לקטן. הפונקציה
F
{\displaystyle F}
המופיעה בתרשים משמאל מוגדרת כדלהלן:
F
(
X
,
k
)
⟼ ⟼ -->
Y
=
P
(
S
(
X
⊕ ⊕ -->
k
)
{\displaystyle {\boldsymbol {F(X,k)\longmapsto Y=P(S(X\oplus k)}}}
הפונקציה מקבלת שני פרמטרים, ערך
X
{\displaystyle X}
וקטע מתאים מהמפתח המורחב
k
{\displaystyle k}
באורך 64 סיביות כל אחד ומחזירה את
Y
{\displaystyle Y}
גם הוא באורך 64 סיביות תוך שימוש בפונקציות
S
{\displaystyle S}
ו-
P
{\displaystyle P}
המייצגות החלפה ותמורה בהתאמה בנוסף לחיבור עם
k
{\displaystyle k}
.
הפונקציה FL
הפונקציות הליניאריות של קמליה
הפונקציה הליניארית
F
L
{\displaystyle FL}
מקבלת שני פרמטרים;
X
{\displaystyle X}
באורך 64 סיביות המחולק לצד ימין וצד שמאל
X
L
{\displaystyle X_{L}}
ו-
X
R
{\displaystyle X_{R}}
בהתאמה ואת
k
l
{\displaystyle kl}
המחולק גם הוא לשני חצאים
k
l
L
,
k
l
R
{\displaystyle kl_{L},kl_{R}}
ומחזירה את
Y
{\displaystyle Y}
באורך 64 סיביות כדלהלן:
F
L
(
X
L
‖ ‖ -->
X
R
,
k
l
L
‖ ‖ -->
k
l
R
)
⟼ ⟼ -->
Y
L
‖ ‖ -->
Y
R
{\displaystyle FL(X_{L}\ \|\ X_{R},kl_{L}\ \|\ kl_{R})\longmapsto Y_{L}\ \|\ Y_{R}}
כאשר
Y
R
=
(
(
X
L
∧ ∧ -->
k
l
L
)
⋘ ⋘ -->
1
)
⊕ ⊕ -->
X
R
{\displaystyle Y_{R}=((X_{L}\land kl_{L})\lll 1)\oplus X_{R}}
,
Y
L
=
(
Y
R
∨ ∨ -->
k
l
R
)
⊕ ⊕ -->
X
L
{\displaystyle Y_{L}=(Y_{R}\lor kl_{R})\oplus X_{L}}
.
הסימן
∧ ∧ -->
{\displaystyle \land }
מייצג את האופרטור הלוגי AND והסימן
∨ ∨ -->
{\displaystyle \lor }
מייצג את האופרטור הלוגי OR .
הפונקציה הליניארית ההופכית
הפונקציה ההופכית מוגדרת כך:
F
L
− − -->
1
(
Y
L
‖ ‖ -->
Y
R
,
k
l
L
‖ ‖ -->
k
l
R
)
⟼ ⟼ -->
X
L
‖ ‖ -->
X
R
{\displaystyle FL^{-1}(Y_{L}\ \|\ Y_{R},kl_{L}\ \|\ kl_{R})\longmapsto X_{L}\ \|\ X_{R}}
כאשר
X
L
=
(
Y
R
∨ ∨ -->
k
l
R
)
⊕ ⊕ -->
Y
L
{\displaystyle X_{L}=(Y_{R}\lor kl_{R})\oplus Y_{L}}
,
X
R
=
(
(
X
L
∧ ∧ -->
k
l
L
)
⋘ ⋘ -->
1
)
⊕ ⊕ -->
Y
R
{\displaystyle X_{R}=((X_{L}\land kl_{L})\lll 1)\oplus Y_{R}}
.
התרשים משמאל מתאר את שתי הפונקציות הליניאריות.
הפונקציה S
פונקציית ההחלפה מקבלת קלט
l
{\displaystyle l}
באורך 8 בתים ונעזרת בארבע טבלאות החלפה
s
1
,
s
2
,
s
3
{\displaystyle s_{1},s_{2},s_{3}}
ו-
s
4
{\displaystyle s_{4}}
להלן כדי להחליף את ערכי הבתים בבתים שבטבלה לפי אינדקסים - בכל טבלה בסך הכול 256 ערכים אפשריים. כדלהלן:
l
1
=
s
1
(
l
1
)
,
l
2
=
s
2
(
l
2
)
,
l
3
=
s
3
(
l
3
)
,
l
4
=
s
4
(
l
4
)
{\displaystyle l_{1}=s_{1}(l_{1}),l_{2}=s_{2}(l_{2}),l_{3}=s_{3}(l_{3}),l_{4}=s_{4}(l_{4})}
l
5
=
s
2
(
l
5
)
,
l
6
=
s
3
(
l
6
)
,
l
7
=
s
4
(
l
7
)
,
l
8
=
s
1
(
l
8
)
{\displaystyle l_{5}=s_{2}(l_{5}),l_{6}=s_{3}(l_{6}),l_{7}=s_{4}(l_{7}),l_{8}=s_{1}(l_{8})}
לדוגמה אם ערכו של הבית
l
1
=
12
{\displaystyle l_{1}=12}
, התוצאה לפי הטבלה הראשונה היא
l
1
=
s
1
(
12
)
=
234
{\displaystyle l_{1}=s_{1}(12)=234}
.
תיבות ההחלפה
תיבות ההחלפה של קמליה (s-box) הן ערכי שקילות אפינית של פונקציות הופכיות מעל השדה
G
F
(
2
8
)
{\displaystyle GF(2^{8})}
. בהצגה אלגברית:
s
1
(
x
)
⟼ ⟼ -->
h
(
g
(
f
(
0xc5
⊕ ⊕ -->
x
)
)
)
⊕ ⊕ -->
0x6a
{\displaystyle s_{1}(x)\longmapsto \mathbf {h} (\mathbf {g} (\mathbf {f} ({\text{0xc5}}\oplus x)))\oplus {\text{0x6a}}}
s
2
(
x
)
⟼ ⟼ -->
s
1
(
x
)
⋘ ⋘ -->
1
{\displaystyle s_{2}(x)\longmapsto s_{1}(x)\lll 1}
s
3
(
x
)
⟼ ⟼ -->
s
1
(
x
)
⋙ ⋙ -->
1
{\displaystyle s_{3}(x)\longmapsto s_{1}(x)\ggg 1}
s
4
(
x
)
⟼ ⟼ -->
s
1
(
x
⋘ ⋘ -->
1
)
{\displaystyle s_{4}(x)\longmapsto s_{1}(x\lll 1)}
הפונקציה
f
{\displaystyle \mathbf {f} }
היא צירוף ליניארי של סיביות הקלט לפי הנוסחה:
b
1
=
a
6
⊕ ⊕ -->
a
2
,
b
2
=
a
7
⊕ ⊕ -->
a
1
,
b
3
=
a
8
⊕ ⊕ -->
a
5
⊕ ⊕ -->
a
3
,
b
4
=
a
8
⊕ ⊕ -->
a
3
{\displaystyle b_{1}=a_{6}\oplus a_{2},b_{2}=a_{7}\oplus a_{1},b_{3}=a_{8}\oplus a_{5}\oplus a_{3},b_{4}=a_{8}\oplus a_{3}}
,
b
5
=
a
7
⊕ ⊕ -->
a
4
,
b
6
=
a
5
⊕ ⊕ -->
a
2
,
b
7
=
a
8
⊕ ⊕ -->
a
1
,
b
8
=
a
6
⊕ ⊕ -->
a
4
{\displaystyle b_{5}=a_{7}\oplus a_{4},b_{6}=a_{5}\oplus a_{2},b_{7}=a_{8}\oplus a_{1},b_{8}=a_{6}\oplus a_{4}}
.
הפונקציה
g
{\displaystyle \mathbf {g} }
מוגדרת כך:
(
b
8
+
b
7
α α -->
+
b
6
α α -->
2
+
b
5
α α -->
3
)
+
(
b
4
+
b
3
α α -->
+
b
2
α α -->
2
+
b
1
α α -->
3
)
β β -->
{\displaystyle (b_{8}+b_{7}\alpha +b_{6}\alpha ^{2}+b_{5}\alpha ^{3})+(b_{4}+b_{3}\alpha +b_{2}\alpha ^{2}+b_{1}\alpha ^{3})\beta }
=
1
/
(
(
a
8
+
a
7
α α -->
+
a
6
α α -->
2
+
a
5
α α -->
3
)
+
(
a
1
+
a
3
α α -->
+
a
2
α α -->
2
+
a
1
α α -->
3
)
β β -->
)
{\displaystyle =1/((a_{8}+a_{7}\alpha +a_{6}\alpha ^{2}+a_{5}\alpha ^{3})+(a_{1}+a_{3}\alpha +a_{2}\alpha ^{2}+a_{1}\alpha ^{3})\beta )}
כאשר
β β -->
{\displaystyle \beta }
מקיים
β β -->
8
+
β β -->
6
+
β β -->
5
+
β β -->
3
+
1
=
0
{\displaystyle \beta ^{8}+\beta ^{6}+\beta ^{5}+\beta ^{3}+1=0}
וכן
α α -->
=
β β -->
238
=
β β -->
6
+
β β -->
5
+
β β -->
3
+
β β -->
2
{\displaystyle \alpha =\beta ^{238}=\beta ^{6}+\beta ^{5}+\beta ^{3}+\beta ^{2}}
הוא אלמנט בשדה
G
F
(
2
4
)
{\displaystyle GF(2^{4})}
המקיים
α α -->
4
+
α α -->
+
1
=
0
{\displaystyle \alpha ^{4}+\alpha +1=0}
.
הפונקציה
h
{\displaystyle \mathbf {h} }
מוגדרת בסיביות עבור הקלט
a
=
a
1
a
2
a
3
a
4
a
5
a
6
a
7
a
8
{\displaystyle a=a_{1}a_{2}a_{3}a_{4}a_{5}a_{6}a_{7}a_{8}}
כך:
b
1
=
a
5
⊕ ⊕ -->
a
6
⊕ ⊕ -->
a
2
,
b
2
=
a
6
⊕ ⊕ -->
a
2
,
b
3
=
a
7
⊕ ⊕ -->
a
4
,
b
4
=
a
8
⊕ ⊕ -->
a
2
{\displaystyle b_{1}=a_{5}\oplus a_{6}\oplus a_{2},b_{2}=a_{6}\oplus a_{2},b_{3}=a_{7}\oplus a_{4},b_{4}=a_{8}\oplus a_{2}}
b
5
=
a
7
⊕ ⊕ -->
a
3
,
b
6
=
a
8
⊕ ⊕ -->
a
1
,
b
7
=
a
5
⊕ ⊕ -->
a
1
,
b
8
=
a
6
⊕ ⊕ -->
a
3
{\displaystyle b_{5}=a_{7}\oplus a_{3},b_{6}=a_{8}\oplus a_{1},b_{7}=a_{5}\oplus a_{1},b_{8}=a_{6}\oplus a_{3}}
אפשר לראות שערכי התיבות
s
2
,
s
3
{\displaystyle s_{2},s_{3}}
ו-
s
4
{\displaystyle s_{4}}
למעשה נגזרות מהתיבה הראשונה. לכן אם הזיכרון מוגבל כמו בכרטיס חכם , אפשר לאחסן בזיכרון רק את הטבלה הראשונה ולחשב את ההחלפה במקום על ידי הנוסחאות המתוארות. למשל אם
x
=
20
{\displaystyle x=20}
החלפה של
x
{\displaystyle x}
לפי טבלה 3 היא:
s
1
(
20
)
⋙ ⋙ -->
1
=
69
⋙ ⋙ -->
1
=
162
{\displaystyle \textstyle s_{1}(20)\ggg 1=69\ggg 1=162}
.
להלן ערכי תיבות ההחלפה:
s
1
{\displaystyle \mathbf {s_{1}} }
112 , 130 , 44 , 236 , 179 , 39 , 192 , 229 , 228 , 133 , 87 , 53 , 234 , 12 , 174 , 65 ,
35 , 239 , 107 , 147 , 69 , 25 , 165 , 33 , 237 , 14 , 79 , 78 , 29 , 101 , 146 , 189 ,
134 , 184 , 175 , 143 , 124 , 235 , 31 , 206 , 62 , 48 , 220 , 95 , 94 , 197 , 11 , 26 ,
166 , 225 , 57 , 202 , 213 , 71 , 93 , 61 , 217 , 1 , 90 , 214 , 81 , 86 , 108 , 77 ,
139 , 13 , 154 , 102 , 251 , 204 , 176 , 45 , 116 , 18 , 43 , 32 , 240 , 177 , 132 , 153 ,
223 , 76 , 203 , 194 , 52 , 126 , 118 , 5 , 109 , 183 , 169 , 49 , 209 , 23 , 4 , 215 ,
20 , 88 , 58 , 97 , 222 , 27 , 17 , 28 , 50 , 15 , 156 , 22 , 83 , 24 , 242 , 34 ,
254 , 68 , 207 , 178 , 195 , 181 , 122 , 145 , 36 , 8 , 232 , 168 , 96 , 252 , 105 , 80 ,
170 , 208 , 160 , 125 , 161 , 137 , 98 , 151 , 84 , 91 , 30 , 149 , 224 , 255 , 100 , 210 ,
16 , 196 , 0 , 72 , 163 , 247 , 117 , 219 , 138 , 3 , 230 , 218 , 9 , 63 , 221 , 148 ,
135 , 92 , 131 , 2 , 205 , 74 , 144 , 51 , 115 , 103 , 246 , 243 , 157 , 127 , 191 , 226 ,
82 , 155 , 216 , 38 , 200 , 55 , 198 , 59 , 129 , 150 , 111 , 75 , 19 , 190 , 99 , 46 ,
233 , 121 , 167 , 140 , 159 , 110 , 188 , 142 , 41 , 245 , 249 , 182 , 47 , 253 , 180 , 89 ,
120 , 152 , 6 , 106 , 231 , 70 , 113 , 186 , 212 , 37 , 171 , 66 , 136 , 162 , 141 , 250 ,
114 , 7 , 185 , 85 , 248 , 238 , 172 , 10 , 54 , 73 , 42 , 104 , 60 , 56 , 241 , 164 ,
64 , 40 , 211 , 123 , 187 , 201 , 67 , 193 , 21 , 227 , 173 , 244 , 119 , 199 , 128 , 158
s
2
{\displaystyle \mathbf {s_{2}} }
224 , 5 , 88 , 217 , 103 , 78 , 129 , 203 , 201 , 11 , 174 , 106 , 213 , 24 , 93 , 130 ,
70 , 223 , 214 , 39 , 138 , 50 , 75 , 66 , 219 , 28 , 158 , 156 , 58 , 202 , 37 , 123 ,
13 , 113 , 95 , 31 , 248 , 215 , 62 , 157 , 124 , 96 , 185 , 190 , 188 , 139 , 22 , 52 ,
77 , 195 , 114 , 149 , 171 , 142 , 186 , 122 , 179 , 2 , 180 , 173 , 162 , 172 , 216 , 154 ,
23 , 26 , 53 , 204 , 247 , 153 , 97 , 90 , 232 , 36 , 86 , 64 , 225 , 99 , 9 , 51 ,
191 , 152 , 151 , 133 , 104 , 252 , 236 , 10 , 218 , 111 , 83 , 98 , 163 , 46 , 8 , 175 ,
40 , 176 , 116 , 194 , 189 , 54 , 34 , 56 , 100 , 30 , 57 , 44 , 166 , 48 , 229 , 68 ,
253 , 136 , 159 , 101 , 135 , 107 , 244 , 35 , 72 , 16 , 209 , 81 , 192 , 249 , 210 , 160 ,
85 , 161 , 65 , 250 , 67 , 19 , 196 , 47 , 168 , 182 , 60 , 43 , 193 , 255 , 200 , 165 ,
32 , 137 , 0 , 144 , 71 , 239 , 234 , 183 , 21 , 6 , 205 , 181 , 18 , 126 , 187 , 41 ,
15 , 184 , 7 , 4 , 155 , 148 , 33 , 102 , 230 , 206 , 237 , 231 , 59 , 254 , 127 , 197 ,
164 , 55 , 177 , 76 , 145 , 110 , 141 , 118 , 3 , 45 , 222 , 150 , 38 , 125 , 198 , 92 ,
211 , 242 , 79 , 25 , 63 , 220 , 121 , 29 , 82 , 235 , 243 , 109 , 94 , 251 , 105 , 178 ,
240 , 49 , 12 , 212 , 207 , 140 , 226 , 117 , 169 , 74 , 87 , 132 , 17 , 69 , 27 , 245 ,
228 , 14 , 115 , 170 , 241 , 221 , 89 , 20 , 108 , 146 , 84 , 208 , 120 , 112 , 227 , 73 ,
128 , 80 , 167 , 246 , 119 , 147 , 134 , 131 , 42 , 199 , 91 , 233 , 238 , 143 , 1 , 61
s
3
{\displaystyle \mathbf {s_{3}} }
56 , 65 , 22 , 118 , 217 , 147 , 96 , 242 , 114 , 194 , 171 , 154 , 117 , 6 , 87 , 160 ,
145 , 247 , 181 , 201 , 162 , 140 , 210 , 144 , 246 , 7 , 167 , 39 , 142 , 178 , 73 , 222 ,
67 , 92 , 215 , 199 , 62 , 245 , 143 , 103 , 31 , 24 , 110 , 175 , 47 , 226 , 133 , 13 ,
83 , 240 , 156 , 101 , 234 , 163 , 174 , 158 , 236 , 128 , 45 , 107 , 168 , 43 , 54 , 166 ,
197 , 134 , 77 , 51 , 253 , 102 , 88 , 150 , 58 , 9 , 149 , 16 , 120 , 216 , 66 , 204 ,
239 , 38 , 229 , 97 , 26 , 63 , 59 , 130 , 182 , 219 , 212 , 152 , 232 , 139 , 2 , 235 ,
10 , 44 , 29 , 176 , 111 , 141 , 136 , 14 , 25 , 135 , 78 , 11 , 169 , 12 , 121 , 17 ,
127 , 34 , 231 , 89 , 225 , 218 , 61 , 200 , 18 , 4 , 116 , 84 , 48 , 126 , 180 , 40 ,
85 , 104 , 80 , 190 , 208 , 196 , 49 , 203 , 42 , 173 , 15 , 202 , 112 , 255 , 50 , 105 ,
8 , 98 , 0 , 36 , 209 , 251 , 186 , 237 , 69 , 129 , 115 , 109 , 132 , 159 , 238 , 74 ,
195 , 46 , 193 , 1 , 230 , 37 , 72 , 153 , 185 , 179 , 123 , 249 , 206 , 191 , 223 , 113 ,
41 , 205 , 108 , 19 , 100 , 155 , 99 , 157 , 192 , 75 , 183 , 165 , 137 , 95 , 177 , 23 ,
244 , 188 , 211 , 70 , 207 , 55 , 94 , 71 , 148 , 250 , 252 , 91 , 151 , 254 , 90 , 172 ,
60 , 76 , 3 , 53 , 243 , 35 , 184 , 93 , 106 , 146 , 213 , 33 , 68 , 81 , 198 , 125 ,
57 , 131 , 220 , 170 , 124 , 119 , 86 , 5 , 27 , 164 , 21 , 52 , 30 , 28 , 248 , 82 ,
32 , 20 , 233 , 189 , 221 , 228 , 161 , 224 , 138 , 241 , 214 , 122 , 187 , 227 , 64 , 79
s
4
{\displaystyle \mathbf {s_{4}} }
112 , 44 , 179 , 192 , 228 , 87 , 234 , 174 , 35 , 107 , 69 , 165 , 237 , 79 , 29 , 146 ,
134 , 175 , 124 , 31 , 62 , 220 , 94 , 11 , 166 , 57 , 213 , 93 , 217 , 90 , 81 , 108 ,
139 , 154 , 251 , 176 , 116 , 43 , 240 , 132 , 223 , 203 , 52 , 118 , 109 , 169 , 209 , 4 ,
20 , 58 , 222 , 17 , 50 , 156 , 83 , 242 , 254 , 207 , 195 , 122 , 36 , 232 , 96 , 105 ,
170 , 160 , 161 , 98 , 84 , 30 , 224 , 100 , 16 , 0 , 163 , 117 , 138 , 230 , 9 , 221 ,
135 , 131 , 205 , 144 , 115 , 246 , 157 , 191 , 82 , 216 , 200 , 198 , 129 , 111 , 19 , 99 ,
233 , 167 , 159 , 188 , 41 , 249 , 47 , 180 , 120 , 6 , 231 , 113 , 212 , 171 , 136 , 141 ,
114 , 185 , 248 , 172 , 54 , 42 , 60 , 241 , 64 , 211 , 187 , 67 , 21 , 173 , 119 , 128 ,
130 , 236 , 39 , 229 , 133 , 53 , 12 , 65 , 239 , 147 , 25 , 33 , 14 , 78 , 101 , 189 ,
184 , 143 , 235 , 206 , 48 , 95 , 197 , 26 , 225 , 202 , 71 , 61 , 1 , 214 , 86 , 77 ,
13 , 102 , 204 , 45 , 18 , 32 , 177 , 153 , 76 , 194 , 126 , 5 , 183 , 49 , 23 , 215 ,
88 , 97 , 27 , 28 , 15 , 22 , 24 , 34 , 68 , 178 , 181 , 145 , 8 , 168 , 252 , 80 ,
208 , 125 , 137 , 151 , 91 , 149 , 255 , 210 , 196 , 72 , 247 , 219 , 3 , 218 , 63 , 148 ,
92 , 2 , 74 , 51 , 103 , 243 , 127 , 226 , 155 , 38 , 55 , 59 , 150 , 75 , 190 , 46 ,
121 , 140 , 110 , 142 , 245 , 182 , 253 , 89 , 152 , 106 , 70 , 186 , 37 , 66 , 162 , 250 ,
7 , 85 , 238 , 10 , 73 , 104 , 56 , 164 , 40 , 123 , 201 , 193 , 227 , 244 , 199 , 158
הפונקציה P
הפונקציה
P
{\displaystyle P}
מקבלת מערך של שמונה בתים
z
1
,
.
.
.
,
z
8
{\displaystyle z_{1},...,z_{8}}
ומחזירה את התמורה שלהם לפי:
z
1
=
z
1
⊕ ⊕ -->
z
3
⊕ ⊕ -->
z
4
⊕ ⊕ -->
z
6
⊕ ⊕ -->
z
7
⊕ ⊕ -->
z
8
{\displaystyle z_{1}=z_{1}\oplus z_{3}\oplus z_{4}\oplus z_{6}\oplus z_{7}\oplus z_{8}}
z
2
=
z
1
⊕ ⊕ -->
z
2
⊕ ⊕ -->
z
4
⊕ ⊕ -->
z
5
⊕ ⊕ -->
z
7
⊕ ⊕ -->
z
8
{\displaystyle z_{2}=z_{1}\oplus z_{2}\oplus z_{4}\oplus z_{5}\oplus z_{7}\oplus z_{8}}
z
3
=
z
1
⊕ ⊕ -->
z
2
⊕ ⊕ -->
z
3
⊕ ⊕ -->
z
5
⊕ ⊕ -->
z
6
⊕ ⊕ -->
z
8
{\displaystyle z_{3}=z_{1}\oplus z_{2}\oplus z_{3}\oplus z_{5}\oplus z_{6}\oplus z_{8}}
z
4
=
z
2
⊕ ⊕ -->
z
3
⊕ ⊕ -->
z
4
⊕ ⊕ -->
z
5
⊕ ⊕ -->
z
6
⊕ ⊕ -->
z
7
{\displaystyle z_{4}=z_{2}\oplus z_{3}\oplus z_{4}\oplus z_{5}\oplus z_{6}\oplus z_{7}}
z
5
=
z
1
⊕ ⊕ -->
z
2
⊕ ⊕ -->
z
6
⊕ ⊕ -->
z
7
⊕ ⊕ -->
z
8
{\displaystyle z_{5}=z_{1}\oplus z_{2}\oplus z_{6}\oplus z_{7}\oplus z_{8}}
z
6
=
z
2
⊕ ⊕ -->
z
3
⊕ ⊕ -->
z
5
⊕ ⊕ -->
z
7
⊕ ⊕ -->
z
8
{\displaystyle z_{6}=z_{2}\oplus z_{3}\oplus z_{5}\oplus z_{7}\oplus z_{8}}
z
7
=
z
3
⊕ ⊕ -->
z
4
⊕ ⊕ -->
z
5
⊕ ⊕ -->
z
6
⊕ ⊕ -->
z
8
{\displaystyle z_{7}=z_{3}\oplus z_{4}\oplus z_{5}\oplus z_{6}\oplus z_{8}}
z
8
=
z
1
⊕ ⊕ -->
z
4
⊕ ⊕ -->
z
5
⊕ ⊕ -->
z
6
⊕ ⊕ -->
z
7
{\displaystyle z_{8}=z_{1}\oplus z_{4}\oplus z_{5}\oplus z_{6}\oplus z_{7}}
דרך אחרת להציג זאת היא על ידי כפל מטריצות :
(
z
8
z
7
⋮ ⋮ -->
z
1
)
⟼ ⟼ -->
(
z
8
z
7
⋮ ⋮ -->
z
1
)
=
P
(
z
8
z
7
⋮ ⋮ -->
z
1
)
{\displaystyle {\begin{pmatrix}z_{8}\\z_{7}\\\vdots \\z_{1}\end{pmatrix}}\longmapsto {\begin{pmatrix}z_{8}\\z_{7}\\\vdots \\z_{1}\end{pmatrix}}=P{\begin{pmatrix}z_{8}\\z_{7}\\\vdots \\z_{1}\end{pmatrix}}}
כאשר
P
=
(
0
1
1
1
1
0
0
1
1
0
1
1
1
1
0
0
1
1
0
1
0
1
1
0
1
1
1
0
0
0
1
1
0
1
1
1
1
1
1
0
1
0
1
1
0
1
1
1
1
1
0
1
1
0
1
1
1
1
1
0
1
1
0
1
)
{\displaystyle P={\begin{pmatrix}0&1&1&1&1&0&0&1\\1&0&1&1&1&1&0&0\\1&1&0&1&0&1&1&0\\1&1&1&0&0&0&1&1\\0&1&1&1&1&1&1&0\\1&0&1&1&0&1&1&1\\1&1&0&1&1&0&1&1\\1&1&1&0&1&1&0&1\\\end{pmatrix}}}
קוד לדוגמה
להלן קוד שלם בשפת ++C של הצפנת קמליה לפי RFC 3713 :
const unsigned char SIGMA [ 48 ] = {
0xa0 , 0x9e , 0x66 , 0x7f , 0x3b , 0xcc , 0x90 , 0x8b , 0xb6 , 0x7a , 0xe8 , 0x58 , 0x4c , 0xaa , 0x73 , 0xb2 ,
0xc6 , 0xef , 0x37 , 0x2f , 0xe9 , 0x4f , 0x82 , 0xbe , 0x54 , 0xff , 0x53 , 0xa5 , 0xf1 , 0xd3 , 0x6f , 0x1c ,
0x10 , 0xe5 , 0x27 , 0xfa , 0xde , 0x68 , 0x2d , 0x1d , 0xb0 , 0x56 , 0x88 , 0xc2 , 0xb3 , 0xe6 , 0xc1 , 0xfd
};
const int KSFT1 [ 26 ] = {
0 , 64 , 0 , 64 , 15 , 79 , 15 , 79 , 30 , 94 , 45 , 109 , 45 , 124 , 60 , 124 , 77 , 13 , 94 , 30 , 94 , 30 , 111 , 47 , 111 , 47
};
const int KIDX1 [ 26 ] = {
0 , 0 , 4 , 4 , 0 , 0 , 4 , 4 , 4 , 4 , 0 , 0 , 4 , 0 , 4 , 4 , 0 , 0 , 0 , 0 , 4 , 4 , 0 , 0 , 4 , 4
};
const int KSFT2 [ 34 ] = {
0 , 64 , 0 , 64 , 15 , 79 , 15 , 79 , 30 , 94 , 30 , 94 , 45 , 109 , 45 , 109 , 60 , 124 , 60 , 124 , 60 , 124 , 77 , 13 , 77 , 13 ,
94 , 30 , 94 , 30 , 111 , 47 , 111 , 47
};
const int KIDX2 [ 34 ] = {
0 , 0 , 12 , 12 , 8 , 8 , 4 , 4 , 8 , 8 , 12 , 12 , 0 , 0 , 4 , 4 , 0 , 0 , 8 , 8 , 12 , 12 , 0 , 0 , 4 , 4 , 8 , 8 , 4 , 4 , 0 , 0 , 12 , 12
};
const unsigned char SBOX [ 256 ] = {
112 , 130 , 44 , 236 , 179 , 39 , 192 , 229 , 228 , 133 , 87 , 53 , 234 , 12 , 174 , 65 , 35 , 239 , 107 , 147 ,
69 , 25 , 165 , 33 , 237 , 14 , 79 , 78 , 29 , 101 , 146 , 189 , 134 , 184 , 175 , 143 , 124 , 235 , 31 , 206 ,
62 , 48 , 220 , 95 , 94 , 197 , 11 , 26 , 166 , 225 , 57 , 202 , 213 , 71 , 93 , 61 , 217 , 1 , 90 , 214 ,
81 , 86 , 108 , 77 , 139 , 13 , 154 , 102 , 251 , 204 , 176 , 45 , 116 , 18 , 43 , 32 , 240 , 177 , 132 , 153 ,
223 , 76 , 203 , 194 , 52 , 126 , 118 , 5 , 109 , 183 , 169 , 49 , 209 , 23 , 4 , 215 , 20 , 88 , 58 , 97 ,
222 , 27 , 17 , 28 , 50 , 15 , 156 , 22 , 83 , 24 , 242 , 34 , 254 , 68 , 207 , 178 , 195 , 181 , 122 , 145 ,
36 , 8 , 232 , 168 , 96 , 252 , 105 , 80 , 170 , 208 , 160 , 125 , 161 , 137 , 98 , 151 , 84 , 91 , 30 , 149 ,
224 , 255 , 100 , 210 , 16 , 196 , 0 , 72 , 163 , 247 , 117 , 219 , 138 , 3 , 230 , 218 , 9 , 63 , 221 , 148 ,
135 , 92 , 131 , 2 , 205 , 74 , 144 , 51 , 115 , 103 , 246 , 243 , 157 , 127 , 191 , 226 , 82 , 155 , 216 , 38 ,
200 , 55 , 198 , 59 , 129 , 150 , 111 , 75 , 19 , 190 , 99 , 46 , 233 , 121 , 167 , 140 , 159 , 110 , 188 , 142 ,
41 , 245 , 249 , 182 , 47 , 253 , 180 , 89 , 120 , 152 , 6 , 106 , 231 , 70 , 113 , 186 , 212 , 37 , 171 , 66 ,
136 , 162 , 141 , 250 , 114 , 7 , 185 , 85 , 248 , 238 , 172 , 10 , 54 , 73 , 42 , 104 , 60 , 56 , 241 , 164 ,
64 , 40 , 211 , 123 , 187 , 201 , 67 , 193 , 21 , 227 , 173 , 244 , 119 , 199 , 128 , 158
};
#define SBOX1(n) SBOX[(n)]
#define SBOX2(n) (unsigned char )((SBOX[(n)] >> 7 ^ SBOX[(n)] << 1) & 0xff)
#define SBOX3(n) (unsigned char )((SBOX[(n)] >> 1 ^ SBOX[(n)] << 7) & 0xff)
#define SBOX4(n) SBOX[((n) << 1 ^ (n) >> 7) & 0xff]
void Camellia_Ekeygen ( const int n , const unsigned char * k , unsigned char * e )
{
unsigned char t [ 64 ] = { 0 };
Word u [ 20 ];
if ( n == 128 ){
for ( int i = 0 ; i < 16 ; i ++ ) t [ i ] = k [ i ];
}
else if ( n == 192 ){
for ( int i = 0 ; i < 24 ; i ++ ) t [ i ] = k [ i ];
for ( int i = 24 ; i < 32 ; i ++ ) t [ i ] = k [ i -8 ] ^ 0xff ;
}
else if ( n == 256 ){
for ( int i = 0 ; i < 32 ; i ++ ) t [ i ] = k [ i ];
}
XorBlock ( t + 0 , t + 16 , t + 32 );
Camellia_Feistel ( t + 32 , SIGMA + 0 , t + 40 );
Camellia_Feistel ( t + 40 , SIGMA + 8 , t + 32 );
XorBlock ( t + 32 , t + 0 , t + 32 );
Camellia_Feistel ( t + 32 , SIGMA + 16 , t + 40 );
Camellia_Feistel ( t + 40 , SIGMA + 24 , t + 32 );
ByteWord ( t + 0 , u + 0 );
ByteWord ( t + 32 , u + 4 );
if ( n == 128 ){
for ( int i = 0 ; i < 26 ; i += 2 ){
RotBlock ( u + KIDX1 [ i + 0 ], KSFT1 [ i + 0 ], u + 16 );
RotBlock ( u + KIDX1 [ i + 1 ], KSFT1 [ i + 1 ], u + 18 );
WordByte ( u + 16 , e + i * 8 );
}
} else {
XorBlock ( t + 32 , t + 16 , t + 48 );
Camellia_Feistel ( t + 48 , SIGMA + 32 , t + 56 );
Camellia_Feistel ( t + 56 , SIGMA + 40 , t + 48 );
ByteWord ( t + 16 , u + 8 );
ByteWord ( t + 48 , u + 12 );
for ( int i = 0 ; i < 34 ; i += 2 ){
RotBlock ( u + KIDX2 [ i + 0 ], KSFT2 [ i + 0 ], u + 16 );
RotBlock ( u + KIDX2 [ i + 1 ], KSFT2 [ i + 1 ], u + 18 );
WordByte ( u + 16 , e + ( i << 3 ) );
}
}
}
void Camellia_Encrypt ( const int n , const unsigned char * p , const unsigned char * e , unsigned char * c )
{
XorBlock ( p , e + 0 , c );
for ( int i = 0 ; i < 3 ; i ++ ){
Camellia_Feistel ( c + 0 , e + 16 + ( i << 4 ), c + 8 );
Camellia_Feistel ( c + 8 , e + 24 + ( i << 4 ), c + 0 );
}
Camellia_FLlayer ( c , e + 64 , e + 72 );
for ( int i = 0 ; i < 3 ; i ++ ){
Camellia_Feistel ( c + 0 , e + 80 + ( i << 4 ), c + 8 );
Camellia_Feistel ( c + 8 , e + 88 + ( i << 4 ), c );
}
Camellia_FLlayer ( c , e + 128 , e + 136 );
for ( int i = 0 ; i < 3 ; i ++ ){
Camellia_Feistel ( c + 0 , e + 144 + ( i << 4 ), c + 8 );
Camellia_Feistel ( c + 8 , e + 152 + ( i << 4 ), c );
}
if ( n == 128 ){
SwapHalf ( c );
XorBlock ( c , e + 192 , c );
} else {
Camellia_FLlayer ( c , e + 192 , e + 200 );
for ( int i = 0 ; i < 3 ; i ++ ){
Camellia_Feistel ( c + 0 , e + 208 + ( i << 4 ), c + 8 );
Camellia_Feistel ( c + 8 , e + 216 + ( i << 4 ), c );
}
SwapHalf ( c );
XorBlock ( c , e + 256 , c );
}
}
void Camellia_Decrypt ( const int n , const unsigned char * c , const unsigned char * e , unsigned char * p )
{
if ( n == 128 ){
XorBlock ( c , e + 192 , p );
} else {
XorBlock ( c , e + 256 , p );
for ( int i = 2 ; i >= 0 ; i -- ){
Camellia_Feistel ( p + 0 , e + 216 + ( i << 4 ), p + 8 );
Camellia_Feistel ( p + 8 , e + 208 + ( i << 4 ), p );
}
Camellia_FLlayer ( p , e + 200 , e + 192 );
}
for ( int i = 2 ; i >= 0 ; i -- ){
Camellia_Feistel ( p + 0 , e + 152 + ( i << 4 ), p + 8 );
Camellia_Feistel ( p + 8 , e + 144 + ( i << 4 ), p );
}
Camellia_FLlayer ( p , e + 136 , e + 128 );
for ( int i = 2 ; i >= 0 ; i -- ){
Camellia_Feistel ( p + 0 , e + 88 + ( i << 4 ), p + 8 );
Camellia_Feistel ( p + 8 , e + 80 + ( i << 4 ), p );
}
Camellia_FLlayer ( p , e + 72 , e + 64 );
for ( int i = 2 ; i >= 0 ; i -- ){
Camellia_Feistel ( p + 0 , e + 24 + ( i << 4 ), p + 8 );
Camellia_Feistel ( p + 8 , e + 16 + ( i << 4 ), p );
}
SwapHalf ( p );
XorBlock ( p , e + 0 , p );
}
void Camellia_Feistel ( const unsigned char * x , const unsigned char * k , unsigned char * y )
{
unsigned char t [ 8 ] = {
SBOX1 ( x [ 0 ] ^ k [ 0 ]), SBOX2 ( x [ 1 ] ^ k [ 1 ]), SBOX3 ( x [ 2 ] ^ k [ 2 ]), SBOX4 ( x [ 3 ] ^ k [ 3 ]),
SBOX2 ( x [ 4 ] ^ k [ 4 ]), SBOX3 ( x [ 5 ] ^ k [ 5 ]), SBOX4 ( x [ 6 ] ^ k [ 6 ]), SBOX1 ( x [ 7 ] ^ k [ 7 ])
};
y [ 0 ] ^= t [ 0 ] ^ t [ 2 ] ^ t [ 3 ] ^ t [ 5 ] ^ t [ 6 ] ^ t [ 7 ];
y [ 1 ] ^= t [ 0 ] ^ t [ 1 ] ^ t [ 3 ] ^ t [ 4 ] ^ t [ 6 ] ^ t [ 7 ];
y [ 2 ] ^= t [ 0 ] ^ t [ 1 ] ^ t [ 2 ] ^ t [ 4 ] ^ t [ 5 ] ^ t [ 7 ];
y [ 3 ] ^= t [ 1 ] ^ t [ 2 ] ^ t [ 3 ] ^ t [ 4 ] ^ t [ 5 ] ^ t [ 6 ];
y [ 4 ] ^= t [ 0 ] ^ t [ 1 ] ^ t [ 5 ] ^ t [ 6 ] ^ t [ 7 ];
y [ 5 ] ^= t [ 1 ] ^ t [ 2 ] ^ t [ 4 ] ^ t [ 6 ] ^ t [ 7 ];
y [ 6 ] ^= t [ 2 ] ^ t [ 3 ] ^ t [ 4 ] ^ t [ 5 ] ^ t [ 7 ];
y [ 7 ] ^= t [ 0 ] ^ t [ 3 ] ^ t [ 4 ] ^ t [ 5 ] ^ t [ 6 ];
}
void Camellia_FLlayer ( unsigned char * x , const unsigned char * kl , const unsigned char * kr )
{
unsigned int t [ 4 ], u [ 4 ], v [ 4 ];
ByteWord ( x , t );
ByteWord ( kl , u );
ByteWord ( kr , v );
t [ 1 ] ^= ( t [ 0 ] & u [ 0 ]) << 1 ^ ( t [ 0 ] & u [ 0 ]) >> 31 ;
t [ 0 ] ^= t [ 1 ] | u [ 1 ];
t [ 2 ] ^= t [ 3 ] | v [ 1 ];
t [ 3 ] ^= ( t [ 2 ] & v [ 0 ]) << 1 ^ ( t [ 2 ] & v [ 0 ]) >> 31 ;
WordByte ( t , x );
}
void ByteWord ( const unsigned char * x , unsigned int * y )
{
for ( int i = 0 ; i < 4 ; i ++ ){
y [ i ] = (( unsigned int ) x [( i << 2 )] << 24 ) +
(( unsigned int ) x [( i << 2 ) + 1 ] << 16 ) +
(( unsigned int ) x [( i << 2 ) + 2 ] << 8 ) +
(( unsigned int ) x [( i << 2 ) + 3 ]);
}
}
void WordByte ( const unsigned int * x , unsigned char * y )
{
for ( int i = 0 ; i < 4 ; i ++ ){
y [( i << 2 )] = ( unsigned char )( x [ i ] >> 24 & 0xff );
y [( i << 2 ) + 1 ] = ( unsigned char )( x [ i ] >> 16 & 0xff );
y [( i << 2 ) + 2 ] = ( unsigned char )( x [ i ] >> 8 & 0xff );
y [( i << 2 ) + 3 ] = ( unsigned char )( x [ i ] & 0xff );
}
}
void RotBlock ( const unsigned int * x , const int n , unsigned int * y )
{
int r ;
if ( r = ( n & 31 )){
y [ 0 ] = x [(( n >> 5 ) + 0 ) & 3 ] << r ^ x [(( n >> 5 ) + 1 ) & 3 ] >> ( 32 - r );
y [ 1 ] = x [(( n >> 5 ) + 1 ) & 3 ] << r ^ x [(( n >> 5 ) + 2 ) & 3 ] >> ( 32 - r );
}
else {
y [ 0 ] = x [(( n >> 5 )) & 3 ];
y [ 1 ] = x [(( n >> 5 ) + 1 ) & 3 ];
}
}
void SwapHalf ( unsigned char * x )
{
unsigned char t ;
for ( int i = 0 ; i < 8 ; i ++ ){
t = x [ i ];
x [ i ] = x [ 8 + i ];
x [ 8 + i ] = t ;
}
}
void XorBlock ( const unsigned char * x , const unsigned char * y , unsigned char * z )
{
for ( int i = 0 ; i < 16 ; i ++ ) z [ i ] = x [ i ] ^ y [ i ];
}
ראו גם
הערות שוליים
^ Specification of Cammelia - a 128-bit Block Cipher
^ Yeom, Y., S. Park, and I. Kim (2002). "On the security of Camellia against the square attack." Fast Software Encryption, FSE 2002, Lecture Notes in Computer Science, vol. 2365, eds. J. Daemen and V. Rijmen. Springer-Verlag, Berlin, 89–99.
^ Shirai, T. (2002). "Differential, linear, boomerang and rectangle cryptanalysis of reduced-round Camellia." Proceedings of the Third NESSIE Workshop, NESSIE, November 2002.
^ Hatano, Y., H. Sekine, and T. Kaneko (2002). "Higher order differential attack of Camellia (II)." Selected Areas in Cryptography, SAC 2002. Lecture Notes in Computer Science, eds. H. Heys and K. Nyberg. Springer-Verlag, Berlin, 39–56.
בעיות מתמטיות ואלגוריתמים