A formal model for an analysis of an information flow in interconnection networks is presented. It is based on timed process algebra which can express also network properties. The information flow is based on a concept of deducibility on composition. Robustness of systems against network timing attacks is defined. A variety of different security properties which reflect different security requirements are defined and investigated.
In this paper, the analysis of the properties of modified Network double Ring (NdR) topologies has been presented. The special type of these structures, namely optimal and ideal graph, has been defined. The basic parameters (diameter and average path length) were calculated and described by formulas which make possible evaluate these parameters for any NdR graph without experiments, next the comparison of the analyzing structures has been carry out.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.