文献

J-GLOBAL ID：201302222889423649   整理番号：13A0754539

セキュリティ検査のためのソフトウェアモデルおよび観点に関する正則推論のアルゴリズム的改善

Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing

著者 (3件)： GROZ Roland (Grenoble Inst. of Technol., FRA) ,  IRFAN Muhammad-Naeem (Grenoble Inst. of Technol., FRA) ,  ORIAT Catherine (Grenoble Inst. of Technol., FRA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7609  ページ： 444-457  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (7件)： セキュリティ ,  検査 ,  ソフトウェア ,  モデル ,  観点 ,  推論 ,  アルゴリズム