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