APPLIED ASPECTS OF COMPUTING SCIENCE

The use of expert knowledge for development of secure systems with embedded devices

V. A. Desnitsky, I. V. Kotenko

St. Petersburg Institute for Informatics and Automation of RAS

Abstract: The rapid increase of the quantity of embedded devices along with their huge circulation determine design challenges for their protection systems against a wide set of security threats. Due to the specificity of embedded devices the implementation of combined protection mechanisms needs effective resource consumption of their software/hardware modules. Design complexity of secure embedded devices is determined by low structuring and formalization of security knowledge. The paper proposes an approach to elicit security knowledge for subsequent use in automated design and verification tools for secure systems with embedded devices.

Keywords: embedded security, design and verification of embedded devices, expert knowledge, security components.