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

Abstract : 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.
Type de document :
Communication dans un congrès
Stephanie Teufel; Tjoa A Min; Ilsun You; Edgar Weippl. International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. Springer, Lecture Notes in Computer Science, LNCS-8708, pp.194-210, 2014, Availability, Reliability, and Security in Information Systems. 〈10.1007/978-3-319-10975-6_15〉
Liste complète des métadonnées

Littérature citée [35 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01403995
Contributeur : Hal Ifip <>
Soumis le : lundi 28 novembre 2016 - 11:25:24
Dernière modification le : mardi 29 novembre 2016 - 01:04:50

Fichier

978-3-319-10975-6_15_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Vasily Desnitsky, Igor Kotenko. Expert Knowledge Based Design and Verification of Secure Systems with Embedded Devices. Stephanie Teufel; Tjoa A Min; Ilsun You; Edgar Weippl. International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. Springer, Lecture Notes in Computer Science, LNCS-8708, pp.194-210, 2014, Availability, Reliability, and Security in Information Systems. 〈10.1007/978-3-319-10975-6_15〉. 〈hal-01403995〉

Partager

Métriques

Consultations de la notice

52

Téléchargements de fichiers

52