1. Science
  2. Publications
  3. Information Processing Systems
  4. 2(109)'2013
  5. The formal representation of time-probability graphs of the computer networks protocol analysis using semantic-numerical specification

The formal representation of time-probability graphs of the computer networks protocol analysis using semantic-numerical specification

S.I. Shmatkov
Annotations languages:

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.
Keywords: computer networks protocols, time-probability graphs, semantic-numerical specification
Reference:
Shmatkov, S.Y. (2013), "Formalnoe predstavlenye veroiatnostno-vremennыkh hrafov analyza protokolov kompiuternыkh setei s pomoshchiu semantyko-chyslovoi spetsyfykatsyy" , Information Processing Systems, Vol. 2(109), pp. 239-241.