Volume 7 - Issue 2
Design Technique for Secure Embedded Devices: Application for Creation of Integrated Cyber-Physical Security System
- Vasily Desnitsky
Laboratory of Computer Security Problems St. Petersburg Institute for Informatics and Automation (SPIIRAS) 39, 14 Liniya, St. Petersburg, Russia
desnitsky@comsec.spb.ru
- Dmitry Levshun
Laboratory of Computer Security Problems St. Petersburg Institute for Informatics and Automation (SPIIRAS) 39, 14 Liniya, St. Petersburg, Russia
levshun@comsec.spb.ru
- Andrey Chechulin
Laboratory of Computer Security Problems St. Petersburg Institute for Informatics and Automation (SPIIRAS) 39, 14 Liniya, St. Petersburg, Russia
chechulin@comsec.spb.ru
- Igor Kotenko
Laboratory of Computer Security Problems St. Petersburg Institute for Informatics and Automation (SPIIRAS) 39, 14 Liniya, St. Petersburg, Russia
kotenko@comsec.spb.ru
Keywords: design of secure cyber-physical systems, embedded security, cyber-physical security, security components
Abstract
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 channels and sensors as well as various external
influences cause such devices are subject to specific attacking actions. As a result the design
of such systems is a challenging task often requiring expert based solutions. The main contribution
of the paper is a design technique for secure embedded devices on the basis of combinations of security
components, optimization approach and developed software tools for decision making support.
The correctness of the technique is confirmed by its use in the development of the integrated cyberphysical
security system.