Geodesic
The use of expert knowledge for development of secure systems with embedded devices
Informacionnye tehnologii i vyčislitelnye sistemy, no. 4 (2014), pp. 58-73.

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{ITVS_2014_4_a6,
     author = {V. A. Desnitsky and I. V. Kotenko},
     title = {The use of expert knowledge for development of secure systems with embedded devices},
     journal = {Informacionnye tehnologii i vy\v{c}islitelnye sistemy},
     pages = {58--73},
     publisher = {mathdoc},
     number = {4},
     year = {2014},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ITVS_2014_4_a6/}
}
TY  - JOUR
AU  - V. A. Desnitsky
AU  - I. V. Kotenko
TI  - The use of expert knowledge for development of secure systems with embedded devices
JO  - Informacionnye tehnologii i vyčislitelnye sistemy
PY  - 2014
SP  - 58
EP  - 73
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ITVS_2014_4_a6/
LA  - ru
ID  - ITVS_2014_4_a6
ER  - 
%0 Journal Article
%A V. A. Desnitsky
%A I. V. Kotenko
%T The use of expert knowledge for development of secure systems with embedded devices
%J Informacionnye tehnologii i vyčislitelnye sistemy
%D 2014
%P 58-73
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ITVS_2014_4_a6/
%G ru
%F ITVS_2014_4_a6
V. A. Desnitsky; I. V. Kotenko. The use of expert knowledge for development of secure systems with embedded devices. Informacionnye tehnologii i vyčislitelnye sistemy, no. 4 (2014), pp. 58-73. http://geodesic.mathdoc.fr/item/ITVS_2014_4_a6/