ERI algoritmi to‘g‘riligining isboti. Buning uchun tenglikning o‘rinli ekanligi ko‘rsatiladi. Haqiqatan ham, ushbu
+ ifodadan
==
= topiladi.
U holda:
[ +]G = [ + [ == tenglik o‘rinli.
Ikkinchi tomondan esa:
=[+[=
=[+[-==[+
==[+=.
Shunday qilib talab qilingan isbot ko‘rsatildi.
Algoritmning tuzilishiga ko‘ra, har bir hisoblash murakkablik turlari bo‘yicha ochiq va mahfiy kalitlar generatsiya qilinib, mahfiy kalitlar bilan imzoni hisoblash amalga oshiriladi, ochiq kalitlar bilan esa imzo tekshiriladi. Bunday tuzilish algoritmning o‘ziga xosligi bo‘lib, bardoshlilikni tubdan oshiradi.
Do'stlaringiz bilan baham: |