Конечно-автоматные алгоритмы проверки безопасного функционирования веб-сервисов диссертация на соискание ученой степени кандидата технических наук : 2.3.1

Конечно-автоматные алгоритмы проверки безопасного функционирования веб-сервисов диссертация на соискание ученой степени кандидата технических наук : 2.3.1

Библиографическая информация
Главный автор:	Широкова, Екатерина Владимировна
Соавтор:	Томский государственный университет
Другие авторы:	Евтушенко, Нина Владимировна (Thesis advisor)
Формат:	Электронная книга
Язык:	Russian
Публикация:	Томск [б. и.] 2023
Предметы:	Системный анализ, управление и обработка информации, статистика диссертации веб-сервисы веб-сервисы, безопасность веб-сервисы, робастность конечные автоматы конечные автоматы, композиция серверные приложения, выбор реализаций автоматные уравнения параллельные автоматы временные, композиция параллельная автоматы расширенные, композиция параллельная веб-сервисы, проверка уязвимости кибератаки на веб-сервисы популярные полуавтоматные уравнения
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001149325

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

Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений
по: Широкова, Екатерина Владимировна

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

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.

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

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

Checking robustness of web services based on the parallel composition of partial timed finite state machines
по: Shirokova, Ekaterina V.

Using models of finite transition systems for checking Web-service security

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

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

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

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

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

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

Описание web-атак с помощью полуавтоматов
по: Сотников, Александр Павлович

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

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

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

Исследование возможности управления веб-браузерами на основе фрэймворка BeEF и облачного сервиса Google Drive
по: Колегов, Денис Николаевич

Исследование скрытых каналов по времени на основе заголовков кэширования протокола HTTP в Web API
по: Колегов, Денис Николаевич

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

Semantic Web for the working ontologist effective modeling in RDFS and OWL
по: Allemang, Dean
Публикация: (2012)

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

Социальные взаимодействия и сетевое обучение 2.0
по: Патаракин, Евгений Дмитриевич
Публикация: (2000)

Социальные сервисы ВЕБ 2.0 как средство мотивации при обучении иностранному языку
по: Ефимова, Ольга Васильевна

Google Analytics для профессионалов
по: Клифтон, Брайан
Публикация: (2017)

Библия С#: практическое руководство/
по: Фленов, М. Е. Михаил
Публикация: (2024)

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

Лабораторный практикум по основам анализа защищенности веб-приложений учебное пособие : [для студентов вузов, обучающихся по специальностям в области информационной безопасности и по специальности 10.05.01 «Компьютерная безопасность», преподавателей и специалистов в области защиты информации]
по: Колегов, Денис Николаевич
Публикация: (2014)

К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов

Locating a faulty component of an EFSM composition
по: Prokopenko, Svetlana A.

DB2: решения по интеграции DB2 программное обеспечение для управления информацией : пер. с англ.
по: Катлип, Роб
Публикация: (2005)

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

Книга веб-программиста секреты профессиональной разработки веб-сайтов : [как внедрить на сайт анимацию, как планировать процесс веб-разработки, как корректно использовать "резиновую" верстку, как оптимизировать код]
Публикация: (2013)

Безопасность веб-приложений разведка, защита, нападение
по: Хоффман, Эндрю
Публикация: (2024)

Веб-дизайн книга идей веб-разработчика
по: Макнейл, Патрик
Публикация: (2014)