文献

J-GLOBAL ID：201902247878266474   整理番号：19A2159745

マルチスレッドプログラムの情報漏洩【JST・京大機械翻訳】

Information leakage of multi-threaded programs

著者 (3件)： Noroozi Ali A. (Department of Computer Science, University of Tabriz, Tabriz, Iran) ,  Karimpour Jaber (Department of Computer Science, University of Tabriz, Tabriz, Iran) ,  Isazadeh Ayaz (Department of Computer Science, University of Tabriz, Tabriz, Iran)
資料名： Computers and Electrical Engineering  (Computers and Electrical Engineering)
巻： 78  ページ： 400-419  発行年： 2019年 
JST資料番号： D0546B  ISSN： 0045-7906  CODEN： CPEEBQ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 定量的情報フローは,プログラムの情報漏洩を測定するための重要な技術である。それは匿名性プロトコルとタイミングチャネルの分析に広く使われている。関心のある1つの領域は,以前の研究で十分に研究されていないマルチスレッド化プログラムの情報漏洩を定量化することである。本論文では,共有メモリマルチスレッドプログラムの情報漏洩を正確に定量化するために,自動化トレースベースアプローチを提案した。このアプローチは,実行の中間状態におけるスケジューラと漏れの影響を考慮した。プログラムをMarkov過程によってモデル化した。次に,予測,有界時間,最大および最小漏れを含む情報漏洩の変種を測定した。この手法の妥当性を,確率モデルチェッカーであるPRISM上に構築されたツールPRISM-Leakに実装することにより実証した。最後に,二つの事例研究を用いて,最先端の漏れ定量化ツールに対するアプローチを解析し比較した。Copyright 2019 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 事例研究 ,  共有メモリ ,  チャネル ,  モデリング ,  確率モデル ,  Markov過程 ,  *マルチスレッド ,  中間状態 ,  自動化
準シソーラス用語： PRISM ,  有界 ,  スケジューラ ,  匿名性 ,  情報フロー ,  *情報漏洩 , 【Automatic Indexing@JST】

著者キーワード (6件)： 定量的情報フロー ,  情報漏洩 ,  マルチスレッドプログラム ,  Markov過程 ,  機密性 ,  プリズム漏れ

分類 (4件)： 人工知能  (JE08000Z) ,  電話・データ通信・交換一般  (ND11010T) ,  ディジタルフィルタ  (NC04022Z) ,  計算機網  (JC03000K)

タイトルに関連する用語 (2件)： マルチスレッド ,  情報漏洩