Now a days, deployment of distributed systems sets high requirements for procedures and tools for the complex testing of these systemsvirtualization and cloud technologies make another level of system complexity. As a possible solution, it is necessary to determine a formal list of control objectiveschecklists. The automated generation of checklists involves analysing system models (with the analysis covering paths in a model). But complex distributed systems are usually a set of coexisting topologies which interact and depend on each other and it is necessary to use several models in order to cover different aspects. This work introduces a formal four layered model for test generation missions on the basis of the componentbased approach and the concept of layered networks. The interlayer mapping determines how the topological properties on different layers affect each other and, as a consequence, represents technologies (virtualization, clustering, etc.) used to build distributed systems.

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.

No abstract

Deployment of distributed systems sets high requirements for procedures for the security testing of these systems. This work introduces: (1) a list of typical threats based on standards and actual practices; (2) an extended six-layered model for test generation mission on the basis of technical specifications and end-user requirements. Based on the list of typical threats and the multilayer model, we describe a formal approach to the automated design and generation of security mechanisms checklists for complex distributed systems.

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.