Сортировать по:
| Выпуск | Название | |
| Том 30, № 3 (2018) | Нотация криптографической стековой машины версии один | Аннотация похожие документы |
| С. Е. Прокопьев | ||
| "... message definition notation named CMN.1, which is based on an abstraction named cryptographic stack ..." | ||
| Том 30, № 6 (2018) | Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, В. З. Шнитман | ||
| "... соответствия реализаций протокола EAP и его методов спецификациям Интернета. В основе проекта лежит ..." | ||
| Том 33, № 5 (2021) | Формальный язык первичных спецификаций криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... протоколов, нацеленный на более полное, по сравнению с существующими языками первичных спецификаций ..." | ||
| Том 33, № 5 (2021) | Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович ВИНАРСКИЙ, Алексей Васильевич ДЕМАКОВ | ||
| "... программные инструменты. Однако, адекватная спецификация криптографического протокола обычно представляется в ..." | ||
| Том 35, № 6 (2023) | Извлечение опорных тестовых наборов из спецификаций криптопротоколов на предметно-ориентированном языке | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... протоколов, работающего на основе спецификаций, написанных на декларативном интероперабельном встроенном ..." | ||
| Том 33, № 4 (2021) | Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов | Аннотация PDF (Rus) похожие документы |
| Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН | ||
| "... , функционирующих с использованием закрытых протоколов. В ходе проводимых исследований было выявлено, что для ..." | ||
| Том 27, № 2 (2015) | Тестирование реализаций клиента протокола TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... соответствия реализаций клиента протокола TLS спецификациям Интернета. В качестве базы для построения тестов мы ..." | ||
| Том 26, № 1 (2014) | Автоматизация тестирования соответствия для телекоммуникационных протоколов | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, В. З. Шнитман, А. В. Никешин | ||
| "... реализаций спецификациям протоколов Интернета. Во всех проектах, представленных в статье, использовалась ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... спецификациям протокола безопасности TLS. Для построения тестового набора использовалась технология ..." | ||
| Том 30, № 5 (2018) | Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| "... действий Лэмпорта, поскольку его нотация представляется наиболее близкой к общепринятой математической ..." | ||
| Том 33, № 3 (2021) | Метод анализа производительности критичных по времени приложений с помощью DB-Nets | Аннотация похожие документы |
| Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ | ||
| "... биржах, использующие такие протоколы передачи информации, как Financial Information eXchange (FIX ..." | ||
| Том 30, № 4 (2018) | Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa | Аннотация похожие документы |
| И. А. Писарев, Л. К. Бабенко | ||
| "... . Проведено описание протокола регистрации, показаны передаваемые между сторонами сообщения и объяснено их ..." | ||
| Том 30, № 2 (2018) | Обзор расширяемого протокола аутентификации и его методов | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, В. З. Шнитман | ||
| "... Данная статья представляет собой обзор расширяемого протокола аутентификации (Extensible ..." | ||
| Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко | ||
| "... разработке тестов для промышленных программных и аппаратных систем, включающих телекоммуникационные протоколы ..." | ||
| Том 20 (2011) | Тестирование протоколов электронной почты Интернета с использованием моделей | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, А. Н. Тугаенко | ||
| "... состоят из двух частей: независимого тестирования соответствия протоколов спецификациям и совместного ..." | ||
| Том 29, № 4 (2017) | Методика параметризованной верификации протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков | ||
| "... В статье представлена методика масштабируемой функциональной верификации протоколов когерентности ..." | ||
| Том 22 (2012) | Финальные модели спецификации | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... ) исследуемой системы требованиям, заданным в форме спецификации. Такое тестирование основано на семантике ..." | ||
| Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, А. И. Гетьман | ||
| "... восстановления сетевых сообщений и файлов, входящих и исходящих потоков бинарных данных. Помимо того, в работе ..." | ||
| Том 26, № 6 (2014) | Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей | Аннотация PDF (Rus) похожие документы |
| Стефан Мааг | ||
| "... последовательностей по формальному описанию спецификации и дальнейшего тестирования реальной системы. Несмотря на то ..." | ||
| Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... спецификациям нового протокола безопасности IPsec v2 [1-7]. Для построения тестового набора использовалась ..." | ||
| Том 31, № 3 (2019) | C# парсер для извлечения структуры криптографических протоколов из исходного кода | Аннотация похожие документы |
| Илья Александрович Писарев, Людмила Климентьевна Бабенко | ||
| "... Криптографические протоколы являются ядром любой защищенной системы. С их помощью передаются ..." | ||
| Том 29, № 4 (2017) | Контрактный метод спецификации реактивных требований | Аннотация похожие документы |
| А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль | ||
| "... подмножества LTL спецификаций в объектно-ориентированные программы с контрактами на языке Eiffel, которые ..." | ||
| Том 33, № 5 (2021) | Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой | Аннотация PDF (Rus) похожие документы |
| Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ | ||
| "... на языке EXPRESS, в статье предложены и описаны формальные правила продукции объектной нотации JSON ..." | ||
| Том 30, № 4 (2018) | Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем | Аннотация похожие документы |
| Х. С. Карраскель, А. Моралес, М. Е. Виллаполь | ||
| "... протоколов; однако он может использоваться для верификации других систем, анализ которых включает сравнение ..." | ||
| Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) похожие документы |
| С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
| "... В статье проводится анализ спецификаций индустриально значимого семейства объектно-ориентированных ..." | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
| П. А. Путро | ||
| "... спецификаций пред- и постусловий с моделью поведения машинного кода. В данной статье представлен подход к ..." | ||
| Том 28, № 3 (2016) | Генерация динамических ключей и подписей с зависимостью от времени | Аннотация похожие документы |
| А. С. Кирьянцев, И. А. Стефанова | ||
| "... подписей для сообщений с зависимостью от времени начала взаимодействия двух абонентов. В предлагаемом ..." | ||
| Том 27, № 3 (2015) | Бесшовная разработка программного обеспечения: применимость на примере | Аннотация PDF (Rus) похожие документы |
| Александр Наумчев | ||
| "... исследовании рассмотрен классический пример из литературы в области проектирования требований. Для спецификации ..." | ||
| Том 28, № 5 (2016) | Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
| А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов | ||
| "... Язык FlexT разработан для спецификации бинарных форматов данных. Язык является декларативным ..." | ||
| Том 18 (2010) | Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций | Аннотация PDF (Rus) похожие документы |
| М. М. Чупилко | ||
| "... краткий анализ возможностей построения тестовой системы на основе использования формальных спецификаций, а ..." | ||
| Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) похожие документы |
| Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... вопросам построения многоуровневых спецификаций, отвечающих потребностям методологии пошаговой детализации ..." | ||
| Том 33, № 6 (2021) | Модель и декларативный язык спецификации бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
| Александр Александрович ЕВГИН, Михаил Александрович СОЛОВЬЕВ, Вартан Андроникович ПАДАРЯН | ||
| "... обладает достаточной выразительностью для спецификации большинства распространенных форматов. Отличительной ..." | ||
| Том 28, № 2 (2016) | Применимость AutoProof: учебный пример верификации ПО | Аннотация похожие документы |
| Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин | ||
| Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
| "... UniTESK - технология тестирования, основанная на формальных моделях (или спецификациях) требований ..." | ||
| Том 33, № 6 (2021) | Возможности и ограничения инструментов верификации моделей программ | Аннотация похожие документы |
| Евгений Михайлович НОВИКОВ | ||
| Том 30, № 5 (2018) | Проверка функциональных свойств смарт-контрактов методом символьной верификации модели | Аннотация PDF (Rus) похожие документы |
| Е. С. Шишкин | ||
| Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
| "... статической верификации, которым для проведения анализа необходимо предоставить контрактные спецификации ..." | ||
| Том 32, № 4 (2020) | Протокол сертификации целостности облачных вычислений | Аннотация PDF (Rus) похожие документы |
| Евгений Сергеевич ШИШКИН, Евгений Сергеевич КИСЛИЦЫН | ||
| "... не обязательно доверяем. Предложен интерактивный многопользовательский протокол решающий эту задачу ..." | ||
| Том 28, № 4 (2016) | Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций | Аннотация похожие документы |
| А. С. Камкин, А. М. Коцыняк | ||
| "... : архитектурно независимого ядра генерации тестовых программ и спецификации подсистемы памяти MIPS64. Такое ..." | ||
| 1 - 39 из 181 результатов | 1 2 3 4 5 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
