Implementation of network protocols as independent processes

Orlova M.M., Shandyba D.V.

The article reviews the approach to network protocols implementation as independent processes. Usage of the proposed method allows implementation of each network protocol in the stack completely independently from other protocols, that significantly simplifies the task of formal methods application for protocols synthesis. As a result of the research there was proposed and practically tried out a methodology of formal specification of generalized models of network protocols behavior, as well as of external mechanism of their interaction.


Full text (pdf)