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

Johannes Loinig, Christian Steger, Reinhold Weiß, Ernst Haselsteiner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageGerman
Title of host publicationInformation Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices
PublisherSpringer Berlin - Heidelberg
Pages316-323
ISBN (Print)978-3-642-12367-2
DOIs
Publication statusPublished - 2010
EventWorkshop in Information Security Theory and Practices - Passau, Germany
Duration: 12 Apr 201014 Apr 2010

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg

Conference

ConferenceWorkshop in Information Security Theory and Practices
CountryGermany
CityPassau
Period12/04/1014/04/10

Fields of Expertise

  • Information, Communication & Computing

Cite this