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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalsprachedeutsch
TitelInformation Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices
Herausgeber (Verlag)Springer Berlin - Heidelberg
Seiten316-323
ISBN (Print)978-3-642-12367-2
DOIs
PublikationsstatusVeröffentlicht - 2010
VeranstaltungWorkshop in Information Security Theory and Practices - Passau, Deutschland
Dauer: 12 Apr 201014 Apr 2010

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer Berlin / Heidelberg

Konferenz

KonferenzWorkshop in Information Security Theory and Practices
LandDeutschland
OrtPassau
Zeitraum12/04/1014/04/10

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren