An increasing number of Internet of Things (IoT) applications are based on a federated environment.Examples include the creation of federations of NATO countries and non-NATO entities participating in missions (Federated Mission Networking) or the interaction of civilian services and the military when providing Humanitarian Assistance And Disaster Relief.Federations are often formed on an ad hoc basis, with the primary goal of combining forces in a federated mission environment at any time, on short notice, and with optimization of the resources involved.One of the leading security challenges in a federated environment of separate IoT administrative domains is effective identity and access management, which is the basis for establishing a relationship of trust and secure communication between IoT devices belonging to different partners.When carrying out missions involving the military and ensuring security, meeting requirements for immediate interoperability is important.In the paper, an attempt has been made to develop a system architecture framework for secure and reliable data streams distribution in a multi-organizational federation environment, where data authentication is based on IoT device identity (fingerprint).Moreover, a hardware-software IoT gateway has been proposed for the verification process and the integration of Hyperledger Fabric's distributed ledger technology, the Apache Kafka message broker, and data-processing microservices implemented using the Kafka Streams API library.The performance tests conducted confirm the suitability of the developed system framework for processing and distributing audiovideo data in a federation IoT environment.Also, a high-level security and reliability assessment was conducted in the paper.

The federated nature of many crucial Internet of Things (IoT) applications introduces several challenges from a security perspective.To address critical challenges related to the authentication and secure communication of IoT devices operating in federated environments, we propose a new authentication and key exchange protocol based on a distributed ledger.Our protocol uses the unique configuration fingerprint of an IoT device and does not require secure storage in participating IoT devices.To validate the correctness of our design, we have performed formal modeling and verification of the security properties, using two different verification tools: Verifpal and the Tamarin prover.

Summary Currently, the networks of mobile sensor nodes, which are IoT components, are increasingly a source of data for building situational awareness. Such networks can be a source of data for critical infrastructure systems if, in addition to the timeliness (freshness) of the data, it will also be possible to ensure the reliability of these data. Such requirements are met by a secure domain of sensor nodes, in which all sensor nodes are authenticated, sensitive data is stored in protected resources of sensor nodes, and data exchange in the domain and outside the domain is cryptographically protected. This paper presents the concept of a safe domain of sensor nodes for IoT and describes the data structures necessary to ensure security in the domain and the way of protecting the resources of each node. Particular attention was paid to the procedure of preparing a sensor node for work in a secured domain of sensor nodes.

In this paper, the problem of determining the most effective server placement in the hypercube network structure was considered.The algorithm consisting of two stages: first stage for the server placement and the second for generating the appropriate communication structure was described.The correctness of the algorithm has been verified through simulation tests, prepared and implemented in Riverbed Modeler environment.The results of these tests for exemplary structures were presented.Some properties of the server placement in the 4-dimensional hypercube network with soft degradation were investigated. TThe method for optimal server placement in the hypercube networks