Разработка методов анализа программных реализаций криптографических протоколов для обнаружения атак на основе формальной верификации и динамического анализа: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 2.3.6 Методы и системы защиты информации, информационная безопасность / Писарев Илья Александрович

Сохранено в:
Шифр документа: 2//250103(039),
Вид документа: Авторефераты диссертаций
Автор: Писарев, И. А.
Опубликовано: Таганрог , 2022
Физические характеристики: 24 с., включая обложку : ил., табл.
Язык: Русский
Предмет:
00000cam0a2200000 ia4500
001 BY-NLB-br0001805246
005 20240416152038.0
100 # # $a 20221125d2022 k y0rusy50 ca 
101 0 # $a rus 
102 # # $a RU 
105 # # $a a m 000yy 
109 # # $a ac  $a aa 
200 1 # $a Разработка методов анализа программных реализаций криптографических протоколов для обнаружения атак на основе формальной верификации и динамического анализа  $e автореферат диссертации на соискание ученой степени кандидата технических наук  $e специальность 2.3.6 Методы и системы защиты информации, информационная безопасность  $f Писарев Илья Александрович  $g [Южный федеральный университет] 
210 # # $a Таганрог  $d 2022 
215 # # $a 24 с., включая обложку  $c ил., табл. 
320 # # $a Библиография: с. 22—24 
606 0 # $3 BY-NLB-ar64467  $a АТАКИ (вычисл. техника)  $2 DVNLB 
606 0 # $3 BY-NLB-ar2303911  $a КРИПТОГРАФИЧЕСКИЕ ПРОТОКОЛЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar25743  $a ПРОГРАММНАЯ РЕАЛИЗАЦИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar5564587  $a ПРОГРАММНЫЕ КОДЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar4617607  $a АЛГОРИТМЫ ВЕРИФИКАЦИИ  $2 DVNLB 
606 0 # $3 BY-NLB-ar4286081  $a ДИНАМИЧЕСКИЙ АНАЛИЗ  $2 DVNLB 
606 0 # $3 BY-NLB-ar3663  $a ЗАЩИТА ИНФОРМАЦИИ  $2 DVNLB 
606 0 # $3 BY-NLB-ar63820  $a ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ  $2 DVNLB 
686 # # $a 50.37.23  $v 6  $2 rugasnti 
686 # # $a 81.93.29  $v 6  $2 rugasnti 
686 # # $a 81.96  $v 6  $2 rugasnti 
686 # # $a 2.3.6  $2 oksvnk 
700 # 1 $3 BY-SEK-ar14356189  $a Писарев  $b И. А.  $g Илья Александрович 
801 # 0 $a BY  $b BY-HM0000  $c 20221125  $g RCR