In this paper we consider the problem of formalizing the process of computer networks protocol analysis, represented as time-probability graphs. As formal representation facilities is proposed to use the semantic-numerical specification structures device. It is shown that the using of the developed proposals creates prerequisites to a significant decrease of computational complexity of the computer networks protocol analysis procedure.
computer networks protocols, time-probability graphs, semantic-numerical specification
"Formalnoe predstavlenye veroiatnostno-vremennыkh hrafov analyza protokolov kompiuternыkh setei s pomoshchiu semantyko-chyslovoi spetsyfykatsyy" ,
Information Processing Systems,