Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Annals of Computer Science and Information Systems

2 2022

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Formal verification of security properties of the Lightweight Authentication and Key Exchange Protocol for Federated IoT devices

Jarosz Michał, Wrona Konra, Zieliński Zbigniew

Annals of Computer Science and Information Systems

2022

Vol. 30

617--625

The federated nature of many high-impact IoT applications introduces several challenges from a security perspective. To address critical challenges related to the authentication and secure communication of Internet of Things devices operating in federated environments, we have developed a Lightweight Authentication and Key Exchange Protocol for Federated IoT (LAKEPFI). LAKEPFI provides a flexible authentication and cryptographic key exchange protocol based on Hyperledger Fabric, leverages the unique configuration fingerprint of an IoT device, and does not require secure storage space in participating IoT devices. Constructing a complex security protocol is an error-prone process. Therefore, it is essential to verify its security properties using various techniques. In this article, we discuss the formal modeling and verification of the security properties of LAKEPFI using verification tools such as Verifpal and Tamarin prover.

A comprehensive framework for designing behavior of UAV swarms

Cybulski Piotr, Zieliński Zbigniew

Annals of Computer Science and Information Systems

2022

Vol. 32

173--180

This paper aims to present a method of designing the behavior of robotic swarms, emphasizing swarms of unmanned aerial vehicles using bigraphs. The method's primary goal is to define a set of actions to be performed in subsequent moments by the members of a swarm that lead to the completion of the given task. In addition to formal definitions, an example use case is also included to demonstrate how utilizing our method allows overcoming typical difficulties related to swarm robotics engineering. The example covers verifying non-functional requirements and scaling a task both horizontally and vertically.