Сортировать по:
| Выпуск | Название | |
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... with a technique for on-the-fly test construction provided by UniTESK tools. We tried the test suite against three ..." | ||
| Том 27, № 2 (2015) | Тестирование реализаций клиента протокола TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... . It discusses the formal model of TLS protocol, the structure of the test suite. JavaTesK tool, based on UniTESK ..." | ||
| Том 20 (2011) | Тестирование протоколов электронной почты Интернета с использованием моделей | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, А. Н. Тугаенко | ||
| "... -mail implementations. JavaTESK, an extension of Java programming language, was used to develop formal ..." | ||
| Том 30, № 6 (2018) | Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, В. З. Шнитман | ||
| "... implementations of a protocol. Using UniTESK technology allows automating the verification of network protocols ..." | ||
| Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... . The test suite was constructed by means of the UniTESK automated testing technology and its implementation ..." | ||
| Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко | ||
| "... The paper presents the basic principles of UniTESK technology intended for test construction based ..." | ||
| Том 26, № 1 (2014) | Автоматизация тестирования соответствия для телекоммуникационных протоколов | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, В. З. Шнитман, А. В. Никешин | ||
| "... This article summarizes the experience gained while developing test suites for conformance testing ..." | ||
| Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
| "... UniTESK (UNIfied TEsting and Specification toolKit) is a testing technology based on formal models ..." | ||
| Том 33, № 5 (2021) | Формальный язык первичных спецификаций криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... of automatic deriving of the high quality test suites from the specifications. The proposed language is based ..." | ||
| Том 30, № 3 (2018) | Нотация криптографической стековой машины версии один | Аннотация похожие документы |
| С. Е. Прокопьев | ||
| "... implementations and to the programs for the ProVerif protocol analyzer. The excerpts from the CMN.1-based TLS ..." | ||
| Том 35, № 6 (2023) | Извлечение опорных тестовых наборов из спецификаций криптопротоколов на предметно-ориентированном языке | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... implemented as EDSL (Embedded [in Haskell] DSL). The problem of forming high-quality reference test suites ..." | ||
| Том 26, № 6 (2014) | Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей | Аннотация PDF (Rus) похожие документы |
| Стефан Мааг | ||
| "... communicating systems. Model-based testing allows to automatize the testing process by generating test suites ..." | ||
| Том 26, № 6 (2014) | Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов | Аннотация PDF (Rus) похожие документы |
| М. С. Форостьянова | ||
| "... of the l-equivalent are included into a test suite. The proposed approach is illustrated by protocol TCP ..." | ||
| Том 35, № 2 (2023) | Программный комплекс SIO для работы со структурированными данными | Аннотация PDF (Rus) похожие документы |
| Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН | ||
| Том 18 (2010) | Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций | Аннотация PDF (Rus) похожие документы |
| М. М. Чупилко | ||
| "... the UniTESK technology. ..." | ||
| Том 30, № 4 (2018) | Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa | Аннотация похожие документы |
| И. А. Писарев, Л. К. Бабенко | ||
| "... безопасность. В работе рассматривается анализ безопасности криптографического протокола на этапе регистрации ..." | ||
| Том 33, № 5 (2021) | Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович ВИНАРСКИЙ, Алексей Васильевич ДЕМАКОВ | ||
| "... Криптографические протоколы используются для установления безопасного соединения между “честными ..." | ||
| Том 32, № 4 (2020) | Протокол сертификации целостности облачных вычислений | Аннотация PDF (Rus) похожие документы |
| Евгений Сергеевич ШИШКИН, Евгений Сергеевич КИСЛИЦЫН | ||
| "... не обязательно доверяем. Предложен интерактивный многопользовательский протокол решающий эту задачу ..." | ||
| Том 31, № 4 (2019) | Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций | Аннотация похожие документы |
| Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
| "... with guaranteed fault coverage for TFSMs. A method is proposed for deriving a complete test suite for a complete ..." | ||
| Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков, А. С. Камкин | ||
| "... В статье представлен метод масштабируемой верификации Promela-моделей протоколов обеспечения ..." | ||
| Том 29, № 4 (2017) | Методика параметризованной верификации протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков | ||
| "... В статье представлена методика масштабируемой функциональной верификации протоколов когерентности ..." | ||
| Том 21 (2011) | Оценка Производительности Протокола Реализации Snapshot Isolation | Аннотация PDF (Rus) похожие документы |
| Д. Н. Василик | ||
| Том 30, № 2 (2018) | Обзор расширяемого протокола аутентификации и его методов | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, В. З. Шнитман | ||
| "... Данная статья представляет собой обзор расширяемого протокола аутентификации (Extensible ..." | ||
| Том 35, № 5 (2023) | Исследование возможности идентификации веб-сайтов, посещаемых пользователем, на основе HTTP/2 трафика | Аннотация PDF (Rus) похожие документы |
| Александр Игоревич ГЕТЬМАН, Иван Александрович СТЕПАНОВ | ||
| "... it, a family of SSL/TLS protocols is used, which, however, do not fully hide either the visited site ..." | ||
| Том 34, № 5 (2022) | Метод восстановления протокольных автоматов по бинарному коду | Аннотация PDF (Rus) похожие документы |
| Иван Владимирович ШАРКОВ | ||
| "... Реверс-инжиниринг сетевых протоколов широко применяется в задачах анализа безопасности сетевых ..." | ||
| Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, А. И. Гетьман | ||
| Том 31, № 3 (2019) | C# парсер для извлечения структуры криптографических протоколов из исходного кода | Аннотация похожие документы |
| Илья Александрович Писарев, Людмила Климентьевна Бабенко | ||
| "... Криптографические протоколы являются ядром любой защищенной системы. С их помощью передаются ..." | ||
| Том 33, № 4 (2021) | Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов | Аннотация PDF (Rus) похожие документы |
| Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН | ||
| "... , функционирующих с использованием закрытых протоколов. В ходе проводимых исследований было выявлено, что для ..." | ||
| Том 33, № 3 (2021) | Классификация HTTP-запросов к серверу в задаче автоматического обхода современных веб-приложений | Аннотация похожие документы |
| Анна Вадимовна ЛАПКИНА, Андрей Александрович ПЕТУХОВ | ||
| "... выделения трасс запросов и их последующей классификации используется реализация протокола Chrome DevTools. ..." | ||
| Том 33, № 3 (2021) | Метод анализа производительности критичных по времени приложений с помощью DB-Nets | Аннотация похожие документы |
| Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ | ||
| "... биржах, использующие такие протоколы передачи информации, как Financial Information eXchange (FIX ..." | ||
| Том 31, № 3 (2019) | Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы | Аннотация похожие документы |
| Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков | ||
| "... Современные микропроцессорные системы обычно включают сложную иерархию кэш-памяти. Протоколы ..." | ||
| Том 28, № 6 (2016) | Подходы к представлению результатов анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
| А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов | ||
| "... диаграмма также применяется при анализе туннельных протоколов, поскольку позволяет аналитику определить ..." | ||
| Том 30, № 4 (2018) | Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем | Аннотация похожие документы |
| Х. С. Карраскель, А. Моралес, М. Е. Виллаполь | ||
| "... протоколов; однако он может использоваться для верификации других систем, анализ которых включает сравнение ..." | ||
| Том 33, № 1 (2021) | Последние тенденции в развитии подводной беспроводной сенсорной сети: систематический обзор литературы | Аннотация PDF (Rus) похожие документы |
| Аиша ТАРИК, Фарук АЗАМ, Мухаммад Васим АНВАР, Тайиба ЗАХУР, Абдул Вахаб МУЗАФФАР | ||
| "... усовершенствования методов, инструментов, протоколов и архитектуры UWSN. В связи с этим существует острая ..." | ||
| Том 33, № 4 (2021) | Об одном методе синхронизации состояния алгоритма обработки пакетов в сетевом процессорном устройстве | Аннотация похожие документы |
| Ярослав Константинович КУЗЬМИН, Дмитрий Юрьевич ВОЛКАНОВ, Юлия Александровна СКОБЦОВА | ||
| Том 36, № 3 (2024) | Метод подавления сигналов с помощью движущихся многотональных помех с учётом протокола | Аннотация похожие документы |
| Егине ГРИГОРЯН, Лиалиа КИРАКОСЯН, Севак САРГСЯН | ||
| "... более продвинутых систем, нацеленных на определенные протоколы взаимодействия. Анализируются ключевые ..." | ||
| Том 28, № 3 (2016) | Генерация динамических ключей и подписей с зависимостью от времени | Аннотация похожие документы |
| А. С. Кирьянцев, И. А. Стефанова | ||
| "... статье рассмотрены примеры работы протокола Диффи-Хеллмана и алгоритма хеширования MD5, используемые для ..." | ||
| Том 27, № 1 (2015) | Сервисные средства интернет для решения бизнес-задач | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин | ||
| Том 27, № 6 (2015) | Подходы к оптимизации движка JavaScript V8 | Аннотация PDF (Rus) похожие документы |
| Дмитрий Бочарников | ||
| "... to 10% on major benchmark suites. ..." | ||
| 1 - 39 из 88 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
