Towards checking web-services security: using automata equations and inequalities

Shabaldina, Natalia V.; Yevtushenko, Nina V.; Yu, F.

Towards checking web-services security: using automata equations and inequalities

Shabaldina, Natalia V., Yevtushenko, Nina V., Yu, F.

Дата публикации: 2018

Дата публикации в реестре: 2020-03-03T18:23:25Z

Ключевые слова:
веб-сервисы, автоматные уравнения

Тип: статьи в сборниках

Источник: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 90

Towards checking web-services security: using automata equations and inequalities

Связанные документы (рекомендация CORE)

Новости проекта

Новости

Партнеры

Индексация