文献

J-GLOBAL ID：200902266716360530   整理番号：08A0941646

分岐命令の分岐成立・不成立の回数に着目した情報フロー追跡

Information Flow Tracking based on Numbers of Taken and Untaken Branches

著者 (2件)： 古庄尚貴 (電通大) ,  阿部公輝 (電通大)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 108  号： 181(DC2008 19-21)  ページ： 17-22  発行年： 2008年07月29日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 個人情報や企業の機密情報のような重要な情報の漏洩を防止するため,プログラム実行時に発生する情報フローをプロセッサが追跡・制御する手法がある。しかし,分岐命令を含む情報フローの追跡は難しく,安全性を維持しながら利便性の高い追跡手法はこれまで知られていない。本論文では分岐命令の成立・不成立の回数に着目した情報フロー追跡について提案する。提案手法により,true negativeを維持し,false positiveを減少させることができることを例を用いて示す。(著者抄録)

シソーラス用語： *命令語 ,  情報処理 ,  追跡 ,  *コンピュータセキュリティ ,  検出 ,  診断 ,  アクセス制御 ,  安全性
準シソーラス用語： トゥルーネガティブ ,  フォールスポジティブ ,  フロー追跡 ,  情報フロー ,  *分岐命令

分類 (2件)： 制御方式  (JC02030K) ,  データ保護  (JD01020V)

引用文献 (10件)：

• LOSCOCCO, P. Integrating flexiblesupport for security policies into the Linux operating system. Proc. FREENIX track : USENIX Annual Tech. Conf., 2001. 2001, 29-42
• DOROTHY, E. D. A lattice model of secure information flow. Communications of the ACM. 1976, 19, 5, 236-243
• MYERS, A. C. JFlow : Practical mostly-static information flow control. Proc. 26th ACM Symposium on Principles of Programming Languages, 1999. 1999, 228-241
• XU, W. Taint-enhanced policy enforcement : A practical approach to defeat a wide range of attacks. Proc. 15th Conf. USENIX Security Symposium, 2006. 2006, 15, 121-136
• NEWSOME, J. Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. 2004

タイトルに関連する用語 (5件)： 分岐命令 ,  分岐 ,  着目 ,  情報フロー ,  追跡