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 we1 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. © IFIP International Federation for Information Processing 2010.
CITATION STYLE
Loinig, J., Steger, C., Weiss, R., & Haselsteiner, E. (2010). Identification and verification of security relevant functions in embedded systems based on source code annotations and assertions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6033 LNCS, pp. 316–323). https://doi.org/10.1007/978-3-642-12368-9_25
Mendeley helps you to discover research relevant for your work.