Expert Knowledge Based Design and Verification of Secure Systems with Embedded Devices - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2014

Expert Knowledge Based Design and Verification of Secure Systems with Embedded Devices

Résumé

The sweeping growth of the amount of embedded devices together with their extensive spread pose extensively new design challenges for protection of embedded systems against a wide set of security threats. The embedded device specificity implies combined protection mechanisms require effective resource consumption of their software/hardware modules. At that the design complexity of modern embedded devices, characterized by the proper security level and acceptable resource consumption, is determined by a 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.
Fichier principal
Vignette du fichier
978-3-319-10975-6_15_Chapter.pdf (429.48 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01403995 , version 1 (28-11-2016)

Licence

Identifiants

Citer

Vasily Desnitsky, Igor Kotenko. Expert Knowledge Based Design and Verification of Secure Systems with Embedded Devices. International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.194-210, ⟨10.1007/978-3-319-10975-6_15⟩. ⟨hal-01403995⟩
86 Consultations
104 Téléchargements

Altmetric

Partager

More