Регистрация / Вход
Прислать материал

Проведение научных исследований молодыми учеными. Пассивное тестирование элементов телекоммуникационных систем с возможностью обнаружения несанкционированного доступа к системе.

Стадии проекта
Предложение принято
Конкурс завершен
Выполнение этапа проекта
Продолжительность работ
2006, 8 мес.
Бюджетные средства
0,4 млн
Внебюджетные средства
0 млн

Информация отсутствует

Этапы проекта

1
28.02.2006 - 31.05.2006
Исследуются новые отношения между недетерминированными автоматами, методы синтеза тестов относительно данных отношений. Однако построение высококачественных тестов наталкивается на серьезную проблему, связанную со сложностью реальных телекоммуникационных систем. Проводятся исследования по расширению инвариантов для конечных и расширенных автоматов. Выделяются инварианты для реальных протоколов, в частности, для протокола DHCP.
Развернуть
2
01.06.2006 - 02.10.2006
В процессе выполнения НИР получены следующие результаты:
1) Исследованы новые отношения между недетерминированными автоматами, которые позволяют развивать и совершенствовать методы синтеза тестов для недетерминированных автоматов. В том числе, развитие таких методов способствует расширению понятия инвариантов, на основе которых осуществляется пассивное тестирование. В частности, отношение неразделимости позволяет строить новые уникальные идентификаторы на основе последовательностей, разделяющих два разделимых состояния недетерминированного автомата; такие уникальные идентификаторы можно использовать при удаленном пассивном тестировании.
2) Расширено понятие инвариантов для конечных и расширенных автоматов, которые в последние годы широко используются при описании поведения телекоммуникационных протоколов. Использование уникальных идентификаторов в инвариантах позволило расширить традиционное понятие инварианта, а также предложить подходы к оценке полноты проверки протокольной реализации при пассивном тестировании.
3) В процессе выполнения НИР выделены инварианты для реальных протоколов, в частности, для пассивного тестирования студенческих реализаций протоколов в учебном курсе «Интернет-программирование». Для этих протоколов разработаны способы представления соответствующих инвариантов для проверки управляющей части протокольной реализации, намечен также подход к пассивному тестированию процесса передачи данных. Разработанные инварианты добавляются к существующей базе тестов протоколов прикладного уровня. Автоматизирован процесс пассивного тестирования клиентских реализаций протоколов прикладного уровня.
4) Предложен подход к построению инвариантов для проверки наличия осцилляций при работе взаимодействующих компонент. В этом случае кроме разрешенных инвариантов рассматриваются запрещенные инварианты, представление которых иногда может оказаться более компактным.
5) Предложен подход к разработке семейства запрещенных инвариантов, позволяюших обнаружить несанкционированный доступ к системе.
6) Для оценки эффективности предлагаемых методов разрабатывается информационная система «Автоматы», предоставляющая возможность генерации, хранения, тестирования (активного и пассивного) автоматов и их композиций.
Развернуть

Программа

Программа "Исследования и разработки по приоритетным направлениям развития науки и техники" на 2002-2006 годы

Программное мероприятие

1.9 Проведение молодыми учеными научных исследований по приоритетным направлениям науки, высоких технологий и образования
Тема
Разработка методологии и создание средств обнаружения для лабораторного in vitro тестирования биологической активности наноматериалов.
Продолжительность работ
2008 - 2009, 13 мес.
Бюджетные средства
30 млн
Количество заявок
3
Тема
Кодирование и передача динамически меняющихся изображений.
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
14 млн
Количество заявок
7
Тема
Разработка и апробация технологии печати контрольных измерительных материалов единого государственного экзамена в пунктах проведения экзаменов
Продолжительность работ
2013, 1 мес.
Бюджетные средства
14,8 млн
Количество заявок
1
Тема
Технология защиты информации от несанкционированного доступа в компьютерных сетях нового поколения.
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
22 млн
Количество заявок
12
Тема
Разработка беспроводных сверхширокополосных мультиканальных систем связи и интеллектуальных сенсорных сетей.
Продолжительность работ
2009 - 2010, 14 мес.
Бюджетные средства
13 млн
Количество заявок
4