Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and AssertionsReportar como inadecuado




Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 Institute for Technical Informatics 2 NXP Semiconductors Austria GmbH

Abstract : 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.





Autor: Johannes Loinig - Christian Steger - Reinhold Weiss - Ernst Haselsteiner -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados