Сортировать по:
Выпуск | Название | |
Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
"... The paper presents conformance test suite for new Internet Protocol Security Suite IPsec v2 ..." | ||
Том 26, № 1 (2014) | Автоматизация тестирования соответствия для телекоммуникационных протоколов | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин | ||
"... This article summarizes the experience gained while developing test suites for conformance testing ..." | ||
Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
"... , there are no accepted public conformance test suite for those protocols. Implementers do have their own 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 ..." | ||
Том 33, № 5 (2021) | Формальный язык первичных спецификаций криптографических протоколов | Аннотация PDF (Rus) похожие документы |
Сергей Евгеньевич ПРОКОПЬЕВ | ||
"... Use of the formal methods in the development of the protocol implementations improves the quality ..." | ||
Том 35, № 6 (2023) | Извлечение опорных тестовых наборов из спецификаций криптопротоколов на предметно-ориентированном языке | Аннотация PDF (Rus) похожие документы |
Сергей Евгеньевич ПРОКОПЬЕВ | ||
"... The paper describes a tool for testing the security of cryptographic protocol implementations ..." | ||
Том 20 (2011) | Тестирование протоколов электронной почты Интернета с использованием моделей | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, А. Н. Тугаенко | ||
"... functional and test specifications for SMTP and POP3 protocols. The developed test suite includes separate ..." | ||
Том 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 ..." | ||
Том 30, № 6 (2018) | Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, В. З. Шнитман | ||
"... Protocol (EAP) implementations. Conformance testing is the basic tool to ensure interoperability between ..." | ||
Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин, А. К. Петренко | ||
"... for software and hardware systems, including telecommunication protocols, basic and standard interfaces ..." | ||
Том 26, № 6 (2014) | Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей | Аннотация PDF (Rus) похожие документы |
Стефан Мааг | ||
"... communicating systems. Model-based testing allows to automatize the testing process by generating test suites ..." | ||
Том 30, № 4 (2018) | Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa | Аннотация похожие документы |
И. А. Писарев, Л. К. Бабенко | ||
"... of the cryptographic protocol at the registration stage, which is used in the electronic voting system based on blind ..." | ||
Том 33, № 5 (2021) | Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа | Аннотация PDF (Rus) похожие документы |
Евгений Максимович ВИНАРСКИЙ, Алексей Васильевич ДЕМАКОВ | ||
"... Cryptographic protocols are used to establish a secure connection between “honest” agents who ..." | ||
Том 32, № 4 (2020) | Протокол сертификации целостности облачных вычислений | Аннотация PDF (Rus) похожие документы |
Евгений Сергеевич ШИШКИН, Евгений Сергеевич КИСЛИЦЫН | ||
"... not necessarily trust. We present a multi-party interactive protocol that solves this problem under specified ..." | ||
Том 27, № 3 (2015) | Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей | Аннотация PDF (Rus) похожие документы |
Александр Камкин, Михаил Петроченков | ||
"... В работе представлен метод построения тестовых оракулов для подсистем памяти многоядерных ..." | ||
Том 21 (2011) | Оценка Производительности Протокола Реализации Snapshot Isolation | Аннотация PDF (Rus) похожие документы |
Д. Н. Василик | ||
"... a simple SI implementation protocol for distributed DBMS and implemented it in the Apache HBase. This work ..." | ||
Том 34, № 5 (2022) | Метод восстановления протокольных автоматов по бинарному коду | Аннотация PDF (Rus) похожие документы |
Иван Владимирович ШАРКОВ | ||
"... protocols. Data formats restoring and implemented protocol automaton are the previous task issues. Unlike ..." | ||
Том 33, № 4 (2021) | Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов | Аннотация PDF (Rus) похожие документы |
Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН | ||
"... using closed protocols. In the course of the research, it was found out that for fuzzing network ..." | ||
Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
В. С. Буренков, А. С. Камкин | ||
"... This paper introduces a method for scalable verification of cache coherence protocols described ..." | ||
Том 29, № 4 (2017) | Методика параметризованной верификации протоколов когерентности памяти | Аннотация похожие документы |
В. С. Буренков | ||
"... This paper introduces a technique for scalable functional verification of cache coherence protocols ..." | ||
Том 30, № 2 (2018) | Обзор расширяемого протокола аутентификации и его методов | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, В. З. Шнитман | ||
"... is the Extensible Authentication Protocol (EAP), specified by the IETF in RFC 3748, which provides an effective ..." | ||
Том 27, № 3 (2015) | О реализации формального метода верификации масштабируемых систем с когерентной памятью | Аннотация PDF (Rus) похожие документы |
Владимир Буренков | ||
"... This article analyzes existing methods of verification of cache coherence protocols of scalable ..." | ||
Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) похожие документы |
А. И. Аветисян, А. И. Гетьман | ||
"... of such objects as files, network packets of different levels and different kinds of protocols (stateful ..." | ||
Том 31, № 3 (2019) | C# парсер для извлечения структуры криптографических протоколов из исходного кода | Аннотация похожие документы |
Илья Александрович Писарев, Людмила Климентьевна Бабенко | ||
"... Cryptographic protocols are the core of any secure system. With the help of them, data ..." | ||
Том 30, № 3 (2018) | Нотация криптографической стековой машины версии один | Аннотация похожие документы |
С. Е. Прокопьев | ||
"... A worthy cryptographic protocol specification has to be human-readable (declarative and concise ..." | ||
Том 31, № 4 (2019) | Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций | Аннотация похожие документы |
Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
"... with guaranteed fault coverage for TFSMs. A method is proposed for deriving a complete test suite for a complete ..." | ||
Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
"... was first used in 2000 in the development of the test suite for IPv6 implementation. It was the first ..." | ||
Том 33, № 3 (2021) | Метод анализа производительности критичных по времени приложений с помощью DB-Nets | Аннотация похожие документы |
Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ | ||
"... communication protocols such as the Financial Information eXchange (FIX) Protocol. One of the main challenges ..." | ||
Том 31, № 3 (2019) | Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы | Аннотация похожие документы |
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков | ||
"... . Coherence protocols are used to maintain memory consistency. An implementation of memory subsystem in HDL ..." | ||
Том 28, № 6 (2016) | Подходы к представлению результатов анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов | ||
"... incidents. The timing diagram is also used in analysis of tunneling protocols because it allows the analyst ..." | ||
1 - 30 из 140 результатов | 1 2 3 4 5 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)