A technique for verification of network information flows in information and telecommunication systems with embedded devices

Василий Алексеевич Десницкий

doi:10.15622/sp.30.15

Abstract

The paper comprises a technique of information flow verification for information and telecommunication systems with embedded devices. The goal of the technique is to evaluate the security level of the constructed system and check the compliance between real information flows and the set policies. The conducted verification is based on model checking with the use of SPIN tool. Implementation of such verification is fulfilled at initial design stages and provides earlier detection of contradictions in the used security policy and inconsistencies between the network topology and requirements of the information system.

Highlights

Desnitsky V.A. A technique for verification of network information flows in information and telecommunication systems with embedded devices
Hardware resource constraints on embedded devices lead to complexity of application
A verification technique for checking network information flows represents an important result of the work

Summary

Introduction

ДЕСНИЦКИЙ МЕТОДИКА ВЕРИФИКАЦИИ СЕТЕВЫХ ИНФОРМАЦИОННЫХ ПОТОКОВ В ИНФОРМАЦИОННОТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМАХ СО ВСТРОЕННЫМИ УСТРОЙСТВАМИ Методика верификации сетевых информационных потоков в информационно-телекоммуникационных системах со встроенными устройствами. В работе представлена методика верификации сетевых информационных потоков информационно-телекоммуникационных систем со встроенными устройствами. Верификация информационных потоков проводится на начальных этапах проектирования и обеспечивает более раннее обнаружение противоречий в используемой политике безопасности и несоответствий топологии сети требованиям информационно-телекоммуникационной системы.

Results

Conclusion