Адрес:

109004, г. Москва,
ул. А. Солженицына,
дом 25.

Схема проезда

Факс:

+7(495) 912-15-24

E-mail:

info-isp@ispras.ru

Отдел «Архитектуры вычислительных систем»

Публикации

За 2008 год

  1. А.В. Никешин, Н.В. Пакулин, В.З. Шнитман. Особенности тестирования сервисов безопасности сетевого уровня IPsec второй версии. // Научный сервис в сети Интернет: решение больших задач: Труды Всероссийской научной конференции (22-27 сентября 2008 г., г. Новороссийск). - М.: Изд-во МГУ, 2008. - 468 с. ISBN 978-5-211-05616-9.

За 2007 год

  1. К.В. Ребриков, В.З. Шнитман "Протоколы автоматического установления контекстов безопасности и управления ключами в Интернет", Препринт 19 ИСП РАН, М., 2007, 72 стр.
  2. Н.В. Пакулин "Применение формальных методов для тестирования реализаций сложных современных протоколов", Сборник трудов международного семинара "Go4IT - шаг к новым технологиям Интернета", ИСП РАН, М., 2007 г., с. 11-18.
  3. А.В. Хорошилов "О генерации последовательностей тестовых воздействий при тестировании телекоммуникационных протоколов на основе моделей", Сборник трудов международного семинара "Go4IT - шаг к новым технологиям Интернета", ИСП РАН, М., 2007 г., с. 19-25.
  4. В.В. Кулямин "Подходы к организации сложных тестовых наборов". Сборник трудов международного семинара "Go4IT - шаг к новым технологиям Интернета", ИСП РАН, М., 2007 г., с. 4-11.
  5. Н.В. Пакулин, А.В. Хорошилов " Разработка формальных моделей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов", Журнал "Программирование" № 5, 2007 г., ISSN 0132-3474, с. 1-29.
  6. Д.В. Зацепин, В.З. Шнитман. Особенности применения технологии UniTESK для тестирования мобильности в интернет-протоколе. // Труды Института системного программирования РАН.Т.13, Ч.1, М: ИСП РАН 2007, стр.143-170.

За 2006 год

  1. Н.В. Пакулин, В.З. Шнитман. Валидация транспортной подсистемы распределённого приложения. // Научный сервис в сети Интернет. Труды Всероссийской научной конференции. М.: Изд-во МГУ, 2006. C. 75-79.
  2. N. Pakulin. Conformance Testing from Researcher's Point of View. // French Worldwide IPv6 Summit. November 14, 2006. Cannes, France.
  3. Н.В. Пакулин. Формализация стандартов и тестовых наборов протоколов Интернета. Автореферат диссертации на соискание учёной степени кандидата физико-математических наук. Москва, 2006.
  4. И.Б. Бурдонов, А.С. Косачев, В.Н. Пономаренко, В.З. Шнитман. Обзор подходов к верификации распределенных систем, Препринт 16. М.: ИСП РАН, 2006. 61 с.

За 2005 год

  1. Ключников Г.В., Пакулин Н.В., Шнитман В.З. "Автоматизированное тестирование сетевых сервисов Интернет-протокола". Труды Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ", Изд-во МГУ, 2005, стр.168-170.

За 2004 год

  1. Ключников Г.В., Косачев А.С., Пакулин Н.В., Петренко А.К., Никешин А.В., Мишин Д.С., Москалев Д.В., Шнитман В.З. Исследования IPv6 в ИСП РАН. Межд. Конф. "Интернет нового поколения - IPv6", Москва 2004, стр. 9- 14.
  2. Пакулин Н.В. Формальная спецификация протокола IPsec. Межд. Конф. "Интернет нового поколения - IPv6", Москва 2004, стр. 14-23.
  3. Г.В. Ключников, Д.С. Мишин, Д.В. Москалев, А.В. Никешин, В.З. Шнитман, Межпротокольный шлюз NAT-PT с функциями DNS-ALG и FTP-ALG для обеспечения взаимодействия между сетями IPv4 и IPv6, Труды Института системного программирования РАН.Т.8, Ч.1, М: ИСП РАН 2004, стр.167-198.

За 2003 год

  1. Г.В. Ключников, Д.С. Мишин, Д.В. Москалев, В.З. Шнитман "Использование методов трансляции протоколов и адресов для обеспечения совместимости IPv4 и IPv6" в сб. Трудов Всероссийской научной конференции "Научный сервис в сети Интернет" г. Новороссийск, 2003, стр. 316-318.
  2. А.С. Косачев, Н.В. Пакулин, А.К. Петренко, В.З. Шнитман "Формализация требований Интернет-стандартов для тестирования реализаций коммуникационных протоколов" в сб. Трудов Всероссийской научной конференции "Научный сервис в сети Интернет" г. Новороссийск, 2003, стр. 318-321.
  3. Г.В. Ключников, А.В. Никешин, Д.С. Мишин, Д.В. Москалев, В.З. Шнитман "Тестирование сетевых модулей и генератор сетевых пакетов" в сб. Тезисов международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2003, стр. 26-31.
  4. Г.В. Ключников, А.С. Косачев, Н.В. Пакулин, А.К. Петренко, В.З. Шнитман "Применение формальных методов для тестирования Mobile IPv6" в сб. тезисов международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2003, стр. 20-25.

За 2002 год

  1. Г.В. Ключников, Д.С. Мишин, Д.В. Москалев, В.З. Шнитман "Механизмы перехода с IPv4 на IPv6. Использование методов трансляции протоколов и адресов для обеспечения совместимости IPv4 и IPv6" в сб. тезисов докладов международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2002, стр. 23-28.
  2. И. Агамирзян, С.Г. Грошев, А.В. Хорошилов, Г.В. Ключников, А.С. Косачев, В.А. Омельченко, Н.В. Пакулин, А.К. Петренко, В.З. Шнитман, "Применение формальных методов для тестирования MSR IPv6", в сб. тезисов международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2002, стр. 29-33.
  3. Шнитман В.З. "Основные концепции и особенности семейства протоколов IPv6", в сб. тезисов международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2002, стр. 34-36.

За 2001 год

  1. Ломака А.А., Шнитман В.З. "Обеспечение совместимости протоколов IPv4 и IPv6: Бесконтекстный IP/ICMP транслятор для среды Linux". Сб. трудов ИСП РАН. М. 2001 г., 25 стр.
  2. Мишин Д.С., Москалев Д.В., Шнитман В.З. "Реализация межпротокольного шлюза IPv4/IPv6 в открытой операционной среде FreeBSD".

За 2000 год

  1. Шнитман В.З. "Проблемы организации взаимодействия сетей, построенных на базе протоколов IPv4 и IPv6". Сб. тезисов докладов Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ", г.Новороссийск, 2000г., стр. 16-17.