文献

J-GLOBAL ID：201802221200169648   整理番号：18A0875196

PHPプログラムの汚れ型脆弱性の静的検出法【JST・京大機械翻訳】

Static detection method for tainted-style vulnerabilities of PHP application

著者 (3件)： Ma Rongkuan (解放軍信息工程大学,鄭州,450001) ,  Wei Qiang (解放軍信息工程大学,鄭州,450001) ,  Wu Zehui (解放軍信息工程大学,鄭州,450001)
資料名： Jisuanji Gongcheng yu Yingyong  (Jisuanji Gongcheng yu Yingyong)
巻： 54  号： 1  ページ： 64-69  発行年： 2018年 
JST資料番号： C2533A  ISSN： 1002-8331  CODEN： JGYYAT  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： PHP言語によって開発されたWebアプリケーションによって作り出される点型脆弱性のために,静的コード分析検出の方法を提案した。制御フローグラフを生成するためのアルゴリズム,PHPの内蔵関数に基づいてPHPプログラムを解析し,抽象的解析ツリーを生成し,制御フローグラフを生成し,内部の特性,入口ポイント,および敏感なポイントをモデリングし,データフローを正確に分析して,解析の精度を改善し,変数バックトラックに基づく経路エルゴードアルゴリズムを実現した。この方法の原型システムを実現し、2つの広く使われているPHPアプリケーションに対してテストを行い、6つの未公開漏れと11の公開漏れを発見し、このシステムが強い脆弱性検出能力を有することを証明した。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： モデリング ,  *検出法 ,  アルゴリズム ,  言語 ,  バックトラッキング ,  応用プログラム
準シソーラス用語： 検出能 ,  データフロー ,  内蔵 ,  制御フロー ,  Webアプリケーション ,  *脆弱性 , 【Automatic Indexing@JST】

著者キーワード (5件)： abstract parse tree ,  Control Flow Graph(CFG) ,  tainted-style vulnerability ,  path traversal ,  taint analysis

分類 (3件)： 計算機システム開発  (JD02010R) ,  計算機網  (JC03000K) ,  応用プログラミング言語  (JD03052Y)

タイトルに関連する用語 (4件)： PHP ,  汚れ ,  脆弱性 ,  検出法