Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions

Résumé

Most modern embedded systems include an operating system. Not all functions in the operating systems have to fulfill the same security requirements. In this work we propose a mechanism to identify and maintain functions that have to meet strict security needs. This mechanism is based on annotations representing security constrains and assertions to check these security annotations during the verification phase of the system under development.
Fichier principal
Vignette du fichier
60330319.pdf (282.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01056075 , version 1 (14-08-2014)

Licence

Paternité

Identifiants

Citer

Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner. Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions. 4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP), Apr 2010, Passau, Germany. pp.316-323, ⟨10.1007/978-3-642-12368-9_25⟩. ⟨hal-01056075⟩
121 Consultations
119 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More