文献

J-GLOBAL ID：201002258483278705   整理番号：10A0538292

ソースコード・アノテーションとアサーションに基づく埋込みシステム内のセキュリティ関連機能の同定と検証

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

著者 (4件)： LOINIG Johannes (Graz Univ. Technol., Graz, AUT) ,  STEGER Christian (Graz Univ. Technol., Graz, AUT) ,  WEISS Reinhold (Graz Univ. Technol., Graz, AUT) ,  HASELSTEINER Ernst (NXP Semiconductors Austria GmbH, Gratkorn, AUT)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6033  ページ： 316-323  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (7件)： ソースコード ,  アノテーション ,  アサーション ,  埋込みシステム ,  セキュリティ ,  同定 ,  検証