Fiche du document
8 septembre 2014
- handle: 10670/1.s4w0ro
- hal: hal-01403995
- doi: 10.1007/978-3-319-10975-6_15
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-10975-6_15
http://creativecommons.org/licenses/by/ , info:eu-repo/semantics/OpenAccess
Mots-clés
Embedded security embedded device design and verification security components expert knowledgeSujets proches
Coats of arms Devices Arms, Coats of Heraldic devicesCiter ce document
Vasily Desnitsky et al., « Expert Knowledge Based Design and Verification of Secure Systems with Embedded Devices », HAL-SHS : sciences de l'information, de la communication et des bibliothèques, ID : 10.1007/978-3-319-10975-6_15
Métriques
Partage / Export
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.