Vasily Alekseevich Desnitsky

• Senior Researcher at Russian Academy of Sciences

Nowadays self-organizing wireless sensor networks for solving the problems of arranging operational processes in smart city systems are becoming rapidly developed and widespread. Such networks are used to collect and aggregate data from physical sensors of devices as well as for its processing and transmission over the network in conditions of time...

The paper proposes an approach to detection of anomalous data from sensors in cyber-physical systems on an example of a water supply supply system. The approach is based on methods of machine learning and modeling of technical systems. The primary data for machine learning was obtained on the developed software/hardware prototype of the water suppl...

С точки зрения информационной безопасности встроенные устройства представляют собой элементы сложных киберфизических систем, работающих в потенциально враждебном окружении. Поэтому разработка таких устройств является сложной задачей, часто требующей экспертных решений. Сложность задачи разработки защищенных встроенных устройств обуславливается разл...

As elements of complex information systems, embedded devices define informational and physical connections between the level of software control of the system on the one hand, and its technical environment and users on the other. Operating in a potentially volatile and untrusted cyber-physical environment, using insufficiently secure communication...

The approach to identifying expert knowledge in the field of the information security of integrated devices for their further use by the developers of integrated devices, including as the input data of integrated devices in the design and verification of integrated devices is offered.

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 checkin...

The paper encompasses a design conception for combined embedded device security to be applied within the development process of protection mechanisms for systems and services of complex security on rail transport. A model and technique proposed are intended for configuring embedded device security components developed taking into consideration expe...

Исследование посвящено изучению вопросов проектирования и анализа комбинированных механизмов защиты сложных коммуникационных систем со встроенными и мобильными устройствами. В работе вводится понятие конфигурации устройства, которая представляет собой комбинацию компонентов защиты, развертываемых для поддержки безопасности устройства, а также предо...