Alimov davron g’ulom o’G’li mantiqiy tenglamalar tizimini yechish asosida aes kriptogirafik algoritimini murakkabligini o’rganish

MIRZO ULUG’BEK NOMIDAGI O‘ZBEKISTON MILLIY UNIVERSITETI

MUNDARIJA

Kirish

1 – b o b. Mantiqiy tenglamalar tizimini yechish usuli

1.1.Mantiqiy tenglamalarni yechish usullari

1.2.XL va Mutent XL usullari

2 – b o b. AES kriptagirafiyani analitik tahlili

2.1. AES algoritim haqida

2.2.AES algoritimdagi aslantirishlarning matematik modeli

2.3. AES kriptoalgaritimni murakkabligini baholash

3 bob. AES algoritimidagi akslantirishlarni mantiqiy baholash dasturi

Matematika va matematik mantiq tarixi va uning asoslari. Tarixiy ma’lumotlar. Mantiq – muhokama yuritishning qonun-qoidalari, usullari va formalari (shakllari) haqidagi fan bo‘lib, uning asoschisi qadimgi yunon mutafakkiri Aristotel (miloddan avvalgi 384-322 y.) hisoblanadi. U birinchi bo‘lib deduksiya nazariyasini, ya’ni mantiqiy xulosa chiqarish nazariyasini yaratib, mantiqiy xulosa chiqarishning formal xarakterga ega ekanligini ko‘rsatdi.

• Matematik mantiq fanining rivojlanishiga rus olimi P.S.Poreskiyning ham katta xizmati bor. U Bul, Jevons va Shryoderlar yutuqlarini umumlashtirib, «Mantiqiy tenglamalarni yechish usullari va matematik mantiqning teskari usuli haqida» (1884) nomli kitobida mantiq algebrasi apparati rivojini ancha ilgari surdi. Amerikalik olim A. Bleyk P. S. Poreskiy metodini E. Shryoder metodidan ustun qo‘ygan.
• Matematik mantiqni texnikaga qo‘llashni birinchi bo‘lib rus fizigi P.Erenfest (1910) va gidrotexnika qurilishlari bo‘yicha yetuk mutaxassis N.M.Gersevanovlar amalga oshirganlar.
• K.Shennon hisoblash mashinalarini yaratishning asosiy metodi sifatida mantiq algebrasini bilgan, u informatsiya va informatsiyani uzatishning matematik nazariyalarni yaratdi, elektron tarmoqlardagi “1” va “0” binar munosabatlar bilan matematik mantiqdagi ikkilik (1 va 0) qiymatlarining mos kelishini va qanday qilib “mantiq mashinasini” yaratishni ko‘rsatdi va hokazo.