Аналіз можливості використання сучасних пакетів комп’ютерної алгебри під час синтезу криптопримітивів: Fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132
The paper deals with systems of computer algebra - software for symbolic calculations, which allows to conduct the entire cycle of development of a mathematical model. The paper presents the results of the analysis of systems of computer algebra with specialized purpose Magma, evaluation of the poss...
Gespeichert in:
| Datum: | 2021 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України
2021
|
| Schlagworte: | |
| Online Zugang: | https://www.fmmit.lviv.ua/index.php/fmmit/article/view/215 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Physico-mathematical modeling and informational technologies |
Institution
Physico-mathematical modeling and informational technologies| _version_ | 1867479592865890304 |
|---|---|
| author | Ponomar, Volodymyr Onoprienko, Viktor |
| author_facet | Ponomar, Volodymyr Onoprienko, Viktor |
| author_institution_txt_mv | [
{
"author": "Volodymyr Ponomar",
"institution": "Харківський національний університет імені В. Н. Каразіна, майдан Свободи, 6, 61000, Харків"
},
{
"author": "Viktor Onoprienko",
"institution": "АТ «Інститут інформаційних технологій», вул. Бакуліна, 12, 61000, Харків"
}
] |
| author_sort | Ponomar, Volodymyr |
| baseUrl_str | http://www.fmmit.lviv.ua/index.php/fmmit/oai |
| collection | OJS |
| datestamp_date | 2021-09-14T06:24:43Z |
| description | The paper deals with systems of computer algebra - software for symbolic calculations, which allows to conduct the entire cycle of development of a mathematical model. The paper presents the results of the analysis of systems of computer algebra with specialized purpose Magma, evaluation of the possibility of its use for modulation of processes in symmetric and asymmetric cryptographic systems, as well as recommendations for their further improvement. Magma functionality is also analyzed for evaluation of possibility to model and study promising candidates for the post-quantum standard of electronic signature algorithms, asymmetric encryption and key encapsulation, including algorithms based on cryptographic transformations in the lattice-based, the use of hash trees, mathematical codes that are undergoing research during the NIST PQC competition, as well as the draft standard "Vershina 1".
References
Davenport, J., Sire, I., Tournier, E. (1991). Computer algebra. M .: Mir.
Bosma, W., Cannon, J. (2006). Catherine Playoust, Allan Steel. Solving Problems with Magma. School of Mathematics and Statistics. University of Sydney. Australia.
Ducas, L., Kiltz, E. Tancrède Lepoint, Vadim Lyubashevsky, Peter Schwabe, Gregor Seiler and Damien Stehlé CRYSTALS-Dilithium: Algorithm Specifications and Supporting Documentation. DOI https://doi.org/10.46586/tches.v2018.i1.238-268
Gorbenko, I. D., Oleksiychuk, A. M., Kachko, O. G., Gorbenko, Yu. I., Yesina, M. V., Kandiy, S. O. (2020). Methods for calculating system parameters for electronic signature "Crystals-Dilithium" 128, 256, 384 and 512 bits of security levels. Radio engineering. - Kh .: Kharkiv National University of Radio Electronics, 202, 5-27. DOI https://doi.org/10.30837/rt.2021.1.204.02
|
| doi_str_mv | 10.15407/fmmit2021.33.128 |
| first_indexed | 2026-06-09T01:08:44Z |
| format | Article |
| fulltext | |
| id | oai:ojs2.www.fmmit.lviv.ua:article-215 |
| institution | Physico-mathematical modeling and informational technologies |
| keywords_txt_mv | keywords |
| language | Ukrainian |
| last_indexed | 2026-06-09T01:08:44Z |
| publishDate | 2021 |
| publisher | Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України |
| record_format | ojs |
| resource_txt_mv | |
| spelling | oai:ojs2.www.fmmit.lviv.ua:article-2152021-09-14T06:24:43Z Analysis of the possibility of using modern packages of computer algebra in the synthesis of crypto-primitives: Fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132 Аналіз можливості використання сучасних пакетів комп’ютерної алгебри під час синтезу криптопримітивів: Fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132 Ponomar, Volodymyr Onoprienko, Viktor системи комп’ютерної алгебри моделювання математичних процесів символьні мови програмування моделювання криптографічних перетворень systems of computer algebra modeling of mathematical processes symbolic programming languages modeling of cryptographic transformations The paper deals with systems of computer algebra - software for symbolic calculations, which allows to conduct the entire cycle of development of a mathematical model. The paper presents the results of the analysis of systems of computer algebra with specialized purpose Magma, evaluation of the possibility of its use for modulation of processes in symmetric and asymmetric cryptographic systems, as well as recommendations for their further improvement. Magma functionality is also analyzed for evaluation of possibility to model and study promising candidates for the post-quantum standard of electronic signature algorithms, asymmetric encryption and key encapsulation, including algorithms based on cryptographic transformations in the lattice-based, the use of hash trees, mathematical codes that are undergoing research during the NIST PQC competition, as well as the draft standard "Vershina 1". References Davenport, J., Sire, I., Tournier, E. (1991). Computer algebra. M .: Mir. Bosma, W., Cannon, J. (2006). Catherine Playoust, Allan Steel. Solving Problems with Magma. School of Mathematics and Statistics. University of Sydney. Australia. Ducas, L., Kiltz, E. Tancrède Lepoint, Vadim Lyubashevsky, Peter Schwabe, Gregor Seiler and Damien Stehlé CRYSTALS-Dilithium: Algorithm Specifications and Supporting Documentation. DOI https://doi.org/10.46586/tches.v2018.i1.238-268 Gorbenko, I. D., Oleksiychuk, A. M., Kachko, O. G., Gorbenko, Yu. I., Yesina, M. V., Kandiy, S. O. (2020). Methods for calculating system parameters for electronic signature "Crystals-Dilithium" 128, 256, 384 and 512 bits of security levels. Radio engineering. - Kh .: Kharkiv National University of Radio Electronics, 202, 5-27. DOI https://doi.org/10.30837/rt.2021.1.204.02 Дані дослідження присвячено системам комп'ютерної алгебри (СКА) – програмним засобам для символьних обчислень, що дозволяє провести весь цикл розробки математичної моделі. У роботі наведено результати дослідження аналізу СКА спеціалізованого призначення Magma, оцінка можливості її використання для модулювання процесів в симетричних та асиметричних криптографічних системах, а також рекомендації щодо їх подальшого вдосконалення. Також проводиться аналіз функціональних можливостей СКА Magma для моделювання та дослідження перспективних кандидатів на постквантовий стандарт алгоритмів електронного підпису, асиметричного шифрування та інкапсуляції ключів, в тому числі алгоритми, що засновані на криптографічних перетвореннях в решеті числового поля, використання геш-дерев, математичних кодів, що проходять дослідження в ході конкурсу NIST PQC, а також проект стандарту «Вершина 1». Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України 2021-09-05 Article Article application/pdf https://www.fmmit.lviv.ua/index.php/fmmit/article/view/215 10.15407/fmmit2021.33.128 PHYSICO-MATHEMATICAL MODELLING AND INFORMATIONAL TECHNOLOGIES; No. 33 (2021): Physico-mathematical modeling and informational technologies, 2021, Issue 33; 128-132 ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ; № 33 (2021): Фізико-математичне моделювання та інформаційні технології, 2021, Вип. 33; 128-132 2617-5258 1816-1545 10.15407/fmmit2021.33 uk https://www.fmmit.lviv.ua/index.php/fmmit/article/view/215/205 Авторське право (c) 2021 Volodymyr Ponomar, Viktor Onoprienko (Автор) |
| spellingShingle | системи комп’ютерної алгебри моделювання математичних процесів символьні мови програмування моделювання криптографічних перетворень Ponomar, Volodymyr Onoprienko, Viktor Аналіз можливості використання сучасних пакетів комп’ютерної алгебри під час синтезу криптопримітивів: Fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132 |
| title | Аналіз можливості використання сучасних пакетів комп’ютерної алгебри під час синтезу криптопримітивів: Fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132 |
| title_alt | Analysis of the possibility of using modern packages of computer algebra in the synthesis of crypto-primitives: Fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132 |
| title_full | Аналіз можливості використання сучасних пакетів комп’ютерної алгебри під час синтезу криптопримітивів: Fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132 |
| title_fullStr | Аналіз можливості використання сучасних пакетів комп’ютерної алгебри під час синтезу криптопримітивів: Fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132 |
| title_full_unstemmed | Аналіз можливості використання сучасних пакетів комп’ютерної алгебри під час синтезу криптопримітивів: Fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132 |
| title_short | Аналіз можливості використання сучасних пакетів комп’ютерної алгебри під час синтезу криптопримітивів: Fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132 |
| title_sort | аналіз можливості використання сучасних пакетів комп’ютерної алгебри під час синтезу криптопримітивів: fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132 |
| topic | системи комп’ютерної алгебри моделювання математичних процесів символьні мови програмування моделювання криптографічних перетворень |
| topic_facet | системи комп’ютерної алгебри моделювання математичних процесів символьні мови програмування моделювання криптографічних перетворень systems of computer algebra modeling of mathematical processes symbolic programming languages modeling of cryptographic transformations |
| url | https://www.fmmit.lviv.ua/index.php/fmmit/article/view/215 |
| work_keys_str_mv | AT ponomarvolodymyr analysisofthepossibilityofusingmodernpackagesofcomputeralgebrainthesynthesisofcryptoprimitivesfizmatmodelinftehnol202133128132 AT onoprienkoviktor analysisofthepossibilityofusingmodernpackagesofcomputeralgebrainthesynthesisofcryptoprimitivesfizmatmodelinftehnol202133128132 AT ponomarvolodymyr analízmožlivostívikoristannâsučasnihpaketívkompûternoíalgebripídčassintezukriptoprimítivívfizmatmodelinftehnol202133128132 AT onoprienkoviktor analízmožlivostívikoristannâsučasnihpaketívkompûternoíalgebripídčassintezukriptoprimítivívfizmatmodelinftehnol202133128132 |