|
|
|
|
| LEADER |
02119naa a2200301 c 4500 |
| 001 |
koha001146838 |
| 005 |
20241217172308.0 |
| 007 |
cr | |
| 008 |
241029s2023 ru fs 100 0 rus d |
| 035 |
|
|
|a koha001146838
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Широкова, Екатерина Владимировна
|
| 245 |
1 |
0 |
|a О решении уравнений для полуавтоматов с таймаутами относительно операции конкатенации
|c Е. В. Широкова
|
| 246 |
1 |
1 |
|a On solving equations for automata with timeouts over concatenation operator
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 5 назв.
|
| 520 |
3 |
|
|a Equations for automata over the concatenation can be used to check the vulnerability of web services with respect to a number of attacks. The solution to the equation describes the malicious web service inputs and can be used to clean such inputs. Since for a number of web services it is necessary to take into account time aspects, in this paper we discuss the problem of solving equations for automata with timeouts over concatenation and propose an approach for solving such equations using appropriate automaton abstractions.
|
| 653 |
|
|
|a полуавтоматы с таймаутами
|
| 653 |
|
|
|a веб-сервисы
|
| 653 |
|
|
|a конкатенация
|
| 653 |
|
|
|a экспериментальные исследования
|
| 655 |
|
4 |
|a статьи в сборниках
|
| 773 |
0 |
|
|t Перспективы развития фундаментальных наук. Т. 7 : сборник научных трудов XX Международной конференции студентов, аспирантов и молодых ученых, 25-28 апреля 2023 г.
|d Томск, 2023
|g Т. 7 : IT-технологии и электроника. С. 163-165
|z 9785438711438
|z 9785438711360
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001146838
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 1146838
|d 1146838
|
