|
|
|
|
| LEADER |
01793naa a2200289 c 4500 |
| 001 |
koha001129511 |
| 005 |
20240206112725.0 |
| 007 |
cr | |
| 008 |
240202s2023 ru fs 100 0 rus d |
| 035 |
|
|
|a koha001129511
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Ульященко, Маргарита Юрьевна
|
| 245 |
1 |
0 |
|a Моделирование работы протокола OAuth 2.0 на языке Promela с целью обнаружения возможных уязвимостей
|c М. Ю. Ульященко, Н. В. Шабалдина
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 4 назв.
|
| 653 |
|
|
|a OAuth 2.0, протокол авторизации
|
| 653 |
|
|
|a Promela, язык программирования
|
| 653 |
|
|
|a криптографические протоколы
|
| 653 |
|
|
|a верификация криптографических протоколов
|
| 655 |
|
4 |
|a статьи в сборниках
|
| 700 |
1 |
|
|a Шабалдина, Наталия Владимировна
|
| 773 |
0 |
|
|t Материалы X-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-29 мая 2023 г.
|d Томск, 2023
|g С. 69-74
|k Труды Томского государственного университета ; т. 308 : Серия физико-математическая
|z 9785907722224
|w koha001015253
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001129511
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 1129511
|d 1129511
|
