Design Technique for Secure Embedded Devices: Application for

Creation of Integrated Cyber-Physical Security System

Vasily Desnitsky, Dmitry Levshun, Andrey Chechulin, and Igor Kotenko
+
 

Laboratory of Computer Security Problems

St. Petersburg Institute for Informatics and Automation (SPIIRAS)

39, 14 Liniya, St. Petersburg, Russia
{desnitsky, levshun, chechulin, kotenko}@comsec.spb.ru

 

 

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.

Keywords: design of secure cyber-physical systems, embedded security, cyber-physical security,

security components

 

+: Corresponding author: Igor Kotenko
Tel: +7-812-328-7181

 

Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA)
Vol. 7, No. 2, pp. 60-80, June 2016 [pdf]