Интернет магазин китайских планшетных компьютеров



Компьютеры - CBC-MAC - Основная конструкция семейства ОМАС

16 июня 2011


Оглавление:
1. CBC-MAC
2. Обозначения
3. Основная конструкция семейства ОМАС
4. Предложенная спецификация
5. Безопасность семейства OMAC
6. Аналоги



Семейство ОМАС определяется блочным шифром Е : KE × {0,1} → {0,1}, n-битной константой Cst, универсальной хэш-функцией H : {0,1} × X → {0,1}, и две уникальных константы Cst1, Cst2 ∈ X, где X является конечной областью функции H. H, Cst1 и Cst2 должны удовлетворять следующему условию: для H.


1. Для любого y ∈ {0,1}, число L ∈ {0,1} таково, что HL = y не более чем  \epsilon_1 \cdot 2^n для некоторого достаточно малого ε1.
2. Для любого y ∈ {0,1}, число L ∈ {0,1} таково, что HL = y не более чем  \epsilon_2 \cdot 2^n для некоторого достаточно малого ε2.
3. Для любого y ∈ {0,1}, число L ∈ {0,1} таково, что HL ⊕ HL = y не более чем  \epsilon_3 \cdot 2^n для некоторого достаточно малого ε3.
4. Для любого y ∈ {0,1}, число L ∈ {0,1} таково, что HL ⊕L = y не более чем  \epsilon_4 \cdot 2^n для некоторого достаточно малого ε4.
5. Для любого y ∈ {0,1}, число L ∈ {0,1} таково, что HL ⊕L = y не более чем  \epsilon_5 \cdot 2^n для некоторого достаточно малого ε5.
6. Для любого y ∈ {0,1}, число L ∈ {0,1} таково, что HL ⊕ HL ⊕ L = y не более чем  \epsilon_6 \cdot 2^n для некоторого достаточно малого ε6.

Далее приведём пседвдокод, который описывает семейство OMAC.

Algorithm OMAC − familyK
L ← EK;
Y ← 0;
Partition M into M ... M
for i ← 1 to m − 1 do
X ← M ⊕ Y;
Y ← EK;
X ← padn ⊕ Y;
if |M| = n then X ← X ⊕ HL;
else X ← X ⊕ HL;
T ← EK;
return T;

Алгоритм семейства ОМАС проиллюстрирован на Рис.3, где padn определяется в. Пространство ключей К семейства ОМАС: K = KE. Оно принимает значения ключа K ∈ KE и сообщение M ∈ {0, 1}*, и возвращает строку из области {0,1}.



Просмотров: 5662


<<< Умножение Карацубы
EToken >>>