ACE Encrypt - Безопасность

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

Компьютеры - ACE Encrypt - Безопасность

30 апреля 2011

Оглавление:
1. ACE Encrypt
2. Безопасность
3. Схема шифрования
4. Схема цифровой подписи
5. Замечания

Доказательство безопасности схемы шифрования и схемы цифровой подписи в ACE проводится с использованием обоснованных и естественных допущений. Четырьмя основными допущениями являются:

Допущение Диффи-Хеллмана
Сильное допущение RSA
Стойкость к коллизиям на второй прообраз в SHA-1
Псевдо-случайность режима сумматора/счетчика MARS

Основные обозначения и терминология

Приведем определения некоторых обозначений и терминов, используемых в данной статье.

Основные математические обозначения

$Z\,$ — множество целых чисел.
$F_2\,$ — множество одномерных полиномов с коэффициентами в конечном поле $F_2\,$ с числом элементов поля — 2.
$A rem n\,$ — такое целое число $r \in \left\{0,...,n-1\right\}$ , для которого $A\equiv r$ при целом $n>0\,$ и $A \in Z\,$ .
$A rem f\,$ — такой полином $r \in F_2$ с $deg<deg\,$ , такой что $A\equiv r$ при $A,f \in F_2,f \ne 0\,$ .

Основные строковые обозначения

$A^{\ast}\,$ — множество всевозможных строк.
$A^{n}\,$ — множество всевозможных строк длины n.
Для $x \in A^{\ast} L$ — длина строки $x\,$ . Обозначения для длины нулевой строки — $\lambda_A\,$ .
Для $x,y \in A^{\ast}$ $x||y\,$ — результат конкатенации строк $x\,$ и $y\,$ .

Биты, байты, слова

$b\stackrel{\mathrm{def}}{=}\left\{0,1\right\}$ — множество битов.
Рассмотрим множества вида $b, b^{n_1},^{n_2},...$ . Для такого множества A определим нулевой элемент:

$0_b\stackrel{\mathrm{def}}{=}0 \in b$ ;
$0_{A^n}\stackrel{\mathrm{def}}{=} \in A^n$ для $n>0\,$ .

Определим $B\stackrel{\mathrm{def}}{=}b^8$ как множество байтов, а $W\stackrel{\mathrm{def}}{=}b^{32}$ как множество слов.

Для $x \in A^{\ast}\,$ с $A \in \left\{b,B,W\right\}\,$ и $l>0\,$ определим оператор заполнения:

$pad_l \stackrel{\mathrm{def}}{=} \begin{cases} x, & L \ge l \\ x||0_{A^{l-L}}, & L<l \end{cases}$ .

Оператор преобразования

Оператор преобразования $I_{src}^{dst}: src \rightarrow dst$ выполняет преобразования между элементами $Z,F_2,b^{\ast},B^{\ast},W^{\ast}$ .

<<< Защита от несанкционированного копирования

Компьютерное аппаратное обеспечение
Вычислительные комплексы
Компьютерные данные
Компьютерные журналы
Классы компьютеров
Компьютеры

Программное обеспечение
Производители компьютеров
Профессии в ИТ
Системное администрирование
Компьютерный сленг
Списки компьютерных терминов

Человеко-компьютерное взаимодействие