abstract: В работе предлагается итерационный процесс разработки протоколов информационного обмена, состоящий из трех этапов: визуального моделирования протокола, анализа математической модели протокола и практического анализа протокола в исследовательской среде информационного обмена. Рассматриваются разработанный анализатор протоколов «ЯНУС», реализующий метод расширенного SPI-исчисления, и сетевой программный комплекс «ИКАМ» для практического анализа.
keywords: протокол информационного обмена, моделирование протоколов, анализ протоколов, spi-исчисление