A Formal Approach to Distributed System Security Test Generation

Khlevnoy, Vladimir A.; Shchurov, Andrey A.

doi:10.14445/22312803/ijctt-v16p130

Cited by 3 publications

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Unfortunately, the basic model does not take into account the environment impact. The problem can be solved by two additional layers [20] (see Fig. 4):…”

Section: Layers Definitionmentioning

confidence: 99%

A Multilayer Model of Computer Networks

Shchurov¹

2015

IJCTT

View full text Add to dashboard Cite

The fundamental concept of applying the system methodology to network analysis declares that network architecture should take into account services and applications which this network provides and supports. This work introduces a formal model of computer networks on the basis of the hierarchical multilayer networks. In turn, individual layers are represented as multiplex networks. The concept of layered networks provides conditions of top-down consistency of the model. Next, we determined the necessary set of layers for network architecture representation with regard to applying the system methodology to network analysis.

show abstract

“…Unfortunately, the basic model does not take into account the environment impact. The problem can be solved by two additional layers [20] (see Fig. 4):…”

Section: Layers Definitionmentioning

confidence: 99%

A Multilayer Model of Computer Networks

Shchurov¹

2015

IJCTT

View full text Add to dashboard Cite

show abstract

A presentation format of architecture description based on the concept of multilayer networks

Shchurov

Mařík

2015

2015 ITU Kaleidoscope: Trust in the Information Society (K-2015)

View full text Add to dashboard Cite

A Trusted Model of Complex Computer Networks

Shchurov

Mařík

2016

JICTS

View full text Add to dashboard Cite

Formal methods based on abstract models are becoming more and more important in the domain of complex computer networks. On the other hand, processes of design documentation transformation into the formal models are still bound to the skills and ingenuity of individual engineers. Moreover, the human factor involved in data transformation represents a major bottleneck due to the tendency of computer networks to be more and more complex. To address this problem, this work introduces a formal model based on the concept of multilayer networks for applying a system methodology to network analysis and an appropriate presentation format of architecture descriptions as a possible part of detailed design documentation that could allow automated generation of trusted formal multilayer models based on this documentation.

show abstract

A Formal Approach to Distributed System Security Test Generation

Cited by 3 publications

References 13 publications

A Multilayer Model of Computer Networks

A Multilayer Model of Computer Networks

A presentation format of architecture description based on the concept of multilayer networks

A Trusted Model of Complex Computer Networks

Contact Info

Product

Resources

About