Диссертация иши мавзу: Криптотаҳлилнинг автоматлашган дастурий воситаларини ишлаб чиқиш

Криптографик алгоиртмларни криптоанализ қилувчи автоматлашган дастурий воситани ишлаб чиқиш

• Криптотаҳлил усуллари таҳлили шуни кўрсатдики, шифрлаш алгоритмларида асосий акслантириш чизиқсиз алмаштириш, яъни, S-blok акслантириши ҳисобланади. Шу сабабли, Borland Delphi дастурлаш муҳитида S-blok акслантириш жадвалини умумий криптографик талабларга текширувчи автоматлаштирилган дастурий таъминот яратилди

Симметрик шифрлаш алгоритми алмаштиришларини умумий криптографик талаблар бўйича баҳолаш

• Блокли симметрик шифрлаш алгоритмидаги бирор криптографик алмаштиришни баҳолаш жараёнида унга математик модел бўлган, берилган буль функция хоссаларини ўрганиш етарли ҳисобланади.

Баланслашганлик ва регулярлик хоссалари

• Шифрлаш алгоритмида фойдаланилган криптографик алмаштиришнинг муҳим факторларидан бири бу алмаштиришга мос буль компоненталарнинг “баланслашганлик”, алмаштиришнинг эса “регулярлик” хоссаларини бажариши ҳисобланади. Ушбу шартлар бажарилиши қаралаётган блокли шифрлаш алгоритмига нисбатан статистик криптоҳужум турларини олдини олишга хизмат қилади. Шунинг учун, алгоритмнинг бирор криптографик алмаштиришини таҳлил қилишда ушбу алмаштиришга нисбатан баланслашганлик ва регулярлик хоссаларига текшириш зарурий шартлар сифатида қаралади .
• – буль функция баланслашган дейилади, агар унинг чинлик жадвалида “0” ва “1” лар сони тенг бўлса, яъни:
• – акслантириш регуляр дейилади, агар Y – функция чиқишида унинг барча (2m та) чиқувчи қийматлари 2n-m тадан такрорланса.

Уолш – Адамар алмаштириши

• Уолш-Адамар алмаштириши берилган буль функциянинг баланслашганлик, чизиқсизлик ва корреляцион иммунитетлик каби хоссаларини аниқлаш учун хизмат қилиб, бирор блокли симметрик шифрлаш алгоритмининг чизиқли, дифференциал, корреляцион ва бошқа криптотаҳлил усуллариг бардошлилигини баҳолашда муҳим бўлган воситалардан бири ҳисобланади .

Буль функцияларнинг чизиқсизлик характеристикалари

• Қаралаётган шифрлаш алгоритмини чизиқли криптотаҳлил усулига бардошлилигини баҳолашдаги муҳим параметрлардан бири, бу алгоритм акслантиришларининг “чизиқсизлиги” ҳисобланади. Бирор (x)={ f1(x), f2(x),...,fm(x)} акслантиришга нисбатан чизиқсизлик тушунчасини киритишдан аввал буль функция учун чизиқсизлик тушунчаларини бериш зарур.