Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений

Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений

Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений Веб-сервис представляет собой программную систему, обеспечивающую взаимодействие между поставщиком услуги и ее пользователями. При разработке веб-сервисов важно учитывать его безопасность, одним аспектов которой являет...

Полное описание

Библиографическая информация
Опубликовано в: :	Современная наука: актуальные проблемы теории и практики. Серия : Естественные и технические науки № 8. С. 143-150
Главный автор:	Широкова, Екатерина Владимировна
Другие авторы:	Евтушенко, Нина Владимировна
Формат:	Статья в журнале
Язык:	Russian
Предметы:	веб-сервисы безопасность веб-сервиса конечные автоматы параллельная композиция автоматов автоматные уравнения система автоматных уравнений статьи в журналах
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001134006

Похожие документы

Конечно-автоматные алгоритмы проверки безопасного функционирования веб-сервисов диссертация на соискание ученой степени кандидата технических наук : 2.3.1
по: Широкова, Екатерина Владимировна
Публикация: (2023)

Тестирование робастности веб-сервисов на основе композиций конечных автоматов
по: Широкова, Екатерина Владимировна

Решение автоматных уравнений для временных автоматов относительно параллельной композиции
по: Кондратьева, Ольга Викторовна

К построению параллельной композиции расширенных автоматов
по: Широкова, Екатерина Владимировна

Оценка популярности композиций веб-сервисов на основе базовых шаблонов взаимодействия компонент
по: Кондратьева, Ольга Викторовна

Тестирование робастности веб-сервисов
по: Широкова, Екатерина Владимировна

Оптимизация компонентов автоматных сетей
по: Широкова, Екатерина Владимировна

Applying a model based testing approach for testing the communication protocol between the cash register software and the Loymax service
по: Forostyanova, Maria S.

Towards checking web-services security: using automata equations and inequalities
по: Shabaldina, Natalia V.

Оценка робастности как параметра качества композиции веб-сервисов
по: Широкова, Екатерина Владимировна

Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
по: Твардовский, Александр Сергеевич

Недетерминированные автоматы: анализ и синтез [учебное пособие]
по: Евтушенко, Нина Владимировна
Публикация: (2009)

Параллельная композиция конечных автоматов с таймаутами
по: Кондратьева, Ольга Викторовна

Недетерминированные автоматы: анализ и синтез [учебное пособие]
по: Евтушенко, Нина Владимировна
Публикация: (2006)

Сведение решения системы параллельных автоматных неравенств к решению одного неравенства
по: Широкова, Екатерина Владимировна

Experiments on parallel composition of timed finite state machines
по: Sotnikov A. P.

Метод нахождения прогрессивного решения системы автоматных уравнений
по: Жарикова, С. В.

Лекции по теории конечных автоматов учебное пособие
по: Агибалов, Геннадий Петрович 1939-2020
Публикация: (1984)

Синтез тестов для контроля систем логического управления методами теории экспериментов с автоматами диссертация на соискание ученой степени доктора технических наук : 05.13.01
по: Евтушенко, Нина Владимировна
Публикация: (1990)

О возможностях автоматного описания параллельной композиции временных автоматов
по: Твардовский, Александр Сергеевич

Разработка сервиса для локализации веб-приложений
по: Гайнутдинов, Марат Фаридович

Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
по: Громов, Максим Леонидович
Публикация: (2009)

Алгебраические методы анализа автоматных систем
по: Козловский, В. А.

Конечные автоматы (поведение и синтез)
по: Трахтенброт, Борис Авраамович
Публикация: (1970)

Исследование отношений квазиэквивалентности, квазиредукции и квазимоделирования между автоматами
по: Ветрова, Мария Викторовна

Оптимизация многокомпонентных дискретных систем на основе решения автоматных уравнений диссертация на соискание ученой степени кандидата технических наук : 05.13.01
по: Тихомирова, Светлана Владимировна
Публикация: (2008)

Теория автоматов учебник для вузов по направлению подготовки бакалавров "Информатика и вычислительная техника" и по специальности "Вычислительные машины, комплексы, системы и сети" направления подготовки дипломированных специалистов "Информатика и вычислительная техника"
по: Карпов, Юрий Глебович
Публикация: (2003)

Исследование живых и безопасных решений параллельных уравнений и неравенств на множестве полуавтоматов и автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
по: Буфалов, Сергей Анатольевич
Публикация: (2002)

Разработка UX/UI дизайна для веб-сервиса MyTopPet
по: Михайлушкин, Иван Юрьевич

Проверка разрешимости уравнений относительно конкатенации для полуавтоматов с таймаутами
по: Широкова, Екатерина Владимировна

О решении уравнений для полуавтоматов с таймаутами относительно операции конкатенации
по: Широкова, Екатерина Владимировна

Optimizing components of finite state machines composition based on don’t care input sequences in hardware implementation
по: Shirokova, Ekaterina V.

Derivation of the cascade parallel composition of timed finite state machines using BALM-II
по: Gromov, Maxim L.

Решение параллельных уравнений для ω-языков
по: Бушков, Виктор Георгиевич

Разработка веб-сервиса профориентации абитуриентов (на примере программы по международным отношениям ТГУ)
по: Годенов, Иван Сергеевич

Оптимизация элементов цифровых схем посредством решения систем автоматных уравнений
по: Жарикова, С. В.

Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
по: Прокопенко, Светлана Анатольевна
Публикация: (2000)

Веб-дизайн руководство разработчика
по: Берд, Джейсон
Публикация: (2012)

Недетерминированные автоматы: анализ и синтез учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ]
по: Евтушенко, Нина Владимировна
Публикация: (2013)

Разработка веб-приложения "Доска объявлений"
по: Поддубная, Юлия Павловна