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