Реализация сетевых протоколов как независимых процессов

Орлова М.М., Шандиба Д.В.

В статье рассматривается подход к реализации сетевых протоколов как независимых процессов. Использование предлагаемого метода позволяет реализовывать логику каждого сетевого протокола в стеке полностью независимо от других протоколов, что значительно облегчает применение формальных методов для решения задачи синтеза протоколов. В результате исследования сформулирована и опробована методика формального описания обобщенных моделей поведения сетевых протоколов, а также внешних механизмов их взаимодействия.

Загрузить (pdf)