О решении уравнений для полуавтоматов с таймаутами относительно операции конкатенации
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 t...
| Опубликовано в: : | Перспективы развития фундаментальных наук. Т. 7 : сборник научных трудов XX Международной конференции студентов, аспирантов и молодых ученых, 25-28 апреля 2023 г. Т. 7 : IT-технологии и электроника. С. 163-165 |
|---|---|
| Главный автор: | Широкова, Екатерина Владимировна |
| Формат: | Статья в сборнике |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001146838 |
Похожие документы
-
Проверка разрешимости уравнений относительно конкатенации для полуавтоматов с таймаутами
по: Широкова, Екатерина Владимировна -
Оценка робастности как параметра качества композиции веб-сервисов
по: Широкова, Екатерина Владимировна -
К минимизации автоматов с таймаутами
по: Твардовский, Александр Сергеевич -
Минимизация автоматов с таймаутами и временными ограничениями
по: Твардовский, Александр Сергеевич -
Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов
по: Лапутенко, Андрей Владимирович
