| 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 | |
| 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
Cite this
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 contribution › Research › peer-review
}
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
ER -