Асимметричный криптографический алгоритм на базе Конечно-Автоматной Модели


Оценка сложности построения тестирующей таблицы.


В Ошибка! Источник ссылки не найден. (см. стр. Ошибка! Закладка не определена.) показан процесс тестирования. В Ошибка! Источник ссылки не найден.(а) показана таблица переходов, которую следует проверить, во-первых, на информационную сохраняемость (то есть, является ли она КАМСИ) и, если таблица отвечает этим условиям, то, во-вторых, определить ее µ-порядок.

Ошибка! Источник ссылки не найден.(b) – это тестирующая таблица, которая состоит из двух половин

a) верхняя половина, которая состоит из N строк, и

b)      нижняя половина, количество строк в которой содержит число строк, не превышающее число сочетаний из N по 2, равное

;

c)      учитывая то, что для заполнения каждой строки нижней части таблицы требуется 4 операции, общее число операций при заполнении таблицы, равно

.

Например, для КАМСИ Ошибка! Источник ссылки не найден.(a) приведены параметры, характеризующие сложность определения ?-порядка, который в рассматриваемом случае равен 7.

a1

P,E

P=0

P=1

A

A,0

E,0

B

D,0

F,0

C

F,1

C,1

D

B,1

E,1

E

C,0

B,0

F

A,1

D,1

N=6

(a)

a1

P,E

P=0

P=1

A

AE

B

DF

C

CF

D

BE

E

BC

F

AD

AE

(AB)(AC)

(DE)(EF)

DF

(AB)(BD)

(AE)(DE)

CF

(AC)(CD)

(AF)(DF)

BE

(BD)(CD)

(BF)(CF)

BC

AD

AB

(AD)(AF)

(DE)(EF)

AC

DE

EF

BD

CD

(BC)(CE)

(BF)(EF)

AF

BF

CE

(b)

(c)

l=5

µ=l+2=7

Table 14




Начало  Назад  Вперед



Книжный магазин