文献

J-GLOBAL ID：201302259581080121   整理番号：13A0800803

3値分析による情報フローポリシーの強化

Enforcing Information Flow Policies by a Three-Valued Analysis

著者 (3件)： DESHARNAIS Josee (Univ. Laval, CAN) ,  KANYABWERO Erwanne P. (Univ. Laval, CAN) ,  TAWBI Nadia (Univ. Laval, CAN)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7531  ページ： 114-129  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： 3値 ,  分析 ,  情報フロー ,  強化