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

Institute of Technical Informatics (4480)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	German
Title of host publication	Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices
Publisher	Springer Berlin - Heidelberg
Pages	316-323
ISBN (Print)	978-3-642-12367-2
DOIs	https://doi.org/10.1007/978-3-642-12368-9
Publication status	Published - 2010
Event	Workshop in Information Security Theory and Practices - Passau, Germany Duration: 12 Apr 2010 → 14 Apr 2010

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg

Conference

Conference	Workshop in Information Security Theory and Practices
Country	Germany
City	Passau
Period	12/04/10 → 14/04/10

Fields of Expertise

Information, Communication & Computing

Access to Document

10.1007/978-3-642-12368-9

Cite this

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 (pp. 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; Haselsteiner, Ernst.

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

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

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, pp. 316-323, Workshop in Information Security Theory and Practices, Passau, Germany, 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. p. 316-323. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-12368-9

Loinig, Johannes ; Steger, Christian ; Weiß, Reinhold ; Haselsteiner, Ernst. / 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. pp. 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

Publication series

Conference

Fields of Expertise

Access to Document

Other files and links

Hardware/Software-Codesign

HiPerSec -Security and Performance Evaluation for Future JavaCard Architectures

Cite this

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

Publication series

Conference

Fields of Expertise

Access to Document

Other files and links

Projects

Hardware/Software-Codesign

HiPerSec -Security and Performance Evaluation for Future JavaCard Architectures

Cite this