Реферат: Модели IP протокола Internet protocol с учётом защиты информации

p₃ 0----------------+--------------0 p₄ p ₃ 0----------------+--------------0 p₄

t₅ t₅ A₅

p ₄ 0----------------+--------------0 p₅ p ₄ 0----------------+--------------0 p₅

t₆ t₆ A₆

p ₅ 0----------------+--------------0 p₆ p ₅ 0----------------+--------------0 p₆

t₇ t₇ A₇

p ₆ 0----------------+--------------0 p₇ p ₆ 0----------------+--------------0 p₇

t₈ t₈ A₈

p₇ 0----------------+--------------0 p₈ p ₇ 0----------------+--------------0 p₈

t₉ A₉ t₉

p ₈ 0----------------+- p₈ 0----------------+

а) б)

Рис.3.

где Qi - множество событий; хi,yi- число меток во входной и выходной позициях pi перехода tj соответственно;(_x1 ³1,p1) -

наличие не менее одной метки в позиции p₁ ; (x₁ -1,p₁ ) - извлечение одной метки из позиции p₁ ; (y₂ +1,p₂ ) - помещение одной метки в позицию p₂ .

Аналитическое представление,задается в виде формул алгебры СП. Формулами в этой алгебре являются: символические обозначения элементарных СП; результаты применения алгебры СП ее формулам. Сетевые представления формул приведены на рис.3,где:

а) множество элементарных СП для переходов t₁ -t₉ ; б) СП - соответствующая формулам A₁ - A_9...

На основе A₁ ,A₂ ,...,,_A9 не трудно получить аналитическое описание IP-протокола

(...((A₁ *A₂ )*A₃ )*,...,A₈ )*A₉ = A₁ *A₂ *A₃ *,...,*A₉ ,

где "*"- операция наложения [3].

Модель позолила компактно записать сложные структуры управления протокола и анализировать свойства протокола связанных с его реализацией.

Структурная модель, эквивалентная приведенным выше моделям этого же протокола, имеет следующий вид:

I(t₁ )переход-стокI(t₂ )={p₁ },I(t₃ )={p₂ }, I(t₄ )={p₃ },I(t₅ )={p₄ },I(t₆ )={p₅ };I(t₇ )={p₆ },I(t₈ )={p₇ },

I(t₉ )={p₈ };O(t₁ )={p₁ },O(t₂ )={p₂ },O(t₃ )={p₃ },O(t₄ )={p₄ },O(t₅ )={p₅ },O(t₆ )={p₆ } O(t₇ )={p₇ },O(t₈ )={p₈ },O(t₉ ) - переход-сток.

Алгебраическая модель .IP -протокола для этого:

- придадим позиции p_i 0 вес S_i =2^i-1 и вычисляем:

S₁ =1,S₂ =2,S₃ =4,S₄ =8,S₅ =16,S₆ =32,S₇ =64,S₈ =128,S₉ =256.

- находим вес Qj перехода t_j :

Q₁ =S₁ =1,Q₂ =S₂ -S₁ =1,Q₃ =S₃ -S₂ =2,Q₄ =S₄ -S₃ =4,