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

doi:10.1007/978-3-642-12368-9

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

Institut für Technische Informatik (4480)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	deutsch
Titel	Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices
Herausgeber (Verlag)	Springer Berlin - Heidelberg
Seiten	316-323
ISBN (Print)	978-3-642-12367-2
DOIs	https://doi.org/10.1007/978-3-642-12368-9
Publikationsstatus	Veröffentlicht - 2010
Veranstaltung	Workshop in Information Security Theory and Practices - Passau, Deutschland Dauer: 12 Apr. 2010 → 14 Apr. 2010

Publikationsreihe

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

Konferenz

Konferenz	Workshop in Information Security Theory and Practices
Land/Gebiet	Deutschland
Ort	Passau
Zeitraum	12/04/10 → 14/04/10

Fields of Expertise

Information, Communication & Computing

Zugriff auf Dokument

10.1007/978-3-642-12368-9

Andere Dateien und Links

http://www.springerlink.com/content/c151577613237m13/?p=afef4972a4d741f2b5e374c174a03123&pi=0

1 Abgeschlossen
1 Laufend

Hardware/Software-Codesign
Steger, C., Seifert, C., Stelzer, P., Feldbacher, M., Fiala, G. & Basic, F.
1/01/95 → …
Projekt: Arbeitsgebiet
HiPerSec -Security and Performance Evaluation for Future JavaCard Architectures
Loinig, J. & Steger, C.
1/05/08 → 30/06/10
Projekt: Foschungsprojekt

Dieses zitieren

Loinig, J., Steger, C., Weiß, R., & Haselsteiner, E. (2010). Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions. in Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices (S. 316-323). (Lecture Notes in Computer Science). Springer Berlin - Heidelberg. https://doi.org/10.1007/978-3-642-12368-9

Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions. / Loinig, Johannes; Steger, Christian ; Weiß, Reinhold et al.

Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices. Springer Berlin - Heidelberg, 2010. S. 316-323 (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Loinig, J, Steger, C , Weiß, R & Haselsteiner, E 2010, Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions. in Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices. Lecture Notes in Computer Science, Springer Berlin - Heidelberg, S. 316-323, Workshop in Information Security Theory and Practices, Passau, Deutschland, 12/04/10. https://doi.org/10.1007/978-3-642-12368-9

Loinig J, Steger C , Weiß R, Haselsteiner E. Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions. in Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices. Springer Berlin - Heidelberg. 2010. S. 316-323. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-12368-9

Loinig, Johannes ; Steger, Christian ; Weiß, Reinhold et al. / Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions. Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices. Springer Berlin - Heidelberg, 2010. S. 316-323 (Lecture Notes in Computer Science).

@inproceedings{2571366ec1174c71bc0d947d40a67f75,

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

author = "Johannes Loinig and Christian Steger and Reinhold Wei{\ss} and Ernst Haselsteiner",

year = "2010",

doi = "10.1007/978-3-642-12368-9",

language = "deutsch",

isbn = "978-3-642-12367-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin - Heidelberg",

pages = "316--323",

booktitle = "Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices",

note = "null ; Conference date: 12-04-2010 Through 14-04-2010",

}

TY - GEN

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

AU - Loinig, Johannes

AU - Steger, Christian

AU - Weiß, Reinhold

AU - Haselsteiner, Ernst

PY - 2010

Y1 - 2010

UR - http://www.springerlink.com/content/c151577613237m13/?p=afef4972a4d741f2b5e374c174a03123&pi=0

U2 - 10.1007/978-3-642-12368-9

DO - 10.1007/978-3-642-12368-9

M3 - Beitrag in einem Konferenzband

SN - 978-3-642-12367-2

T3 - Lecture Notes in Computer Science

SP - 316

EP - 323

BT - Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices

PB - Springer Berlin - Heidelberg

Y2 - 12 April 2010 through 14 April 2010

ER -

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

Publikationsreihe

Konferenz

Fields of Expertise

Zugriff auf Dokument

Andere Dateien und Links

Projekte

Hardware/Software-Codesign

HiPerSec -Security and Performance Evaluation for Future JavaCard Architectures

Dieses zitieren