講演抄録/キーワード |
講演名 |
2009-04-21 13:25
セキュアソフトウェア開発環境DFITSにおけるセキュリティに注目したデータフロー解析 ○中西福友・林 良太郎・春木洋美・藤松由里恵・橋本幹生(東芝) CPSY2009-4 DC2009-4 |
抄録 |
(和) |
我々は,セキュリティプロセッサの提供する保護・非保護メモリ機構を用いてメモリ上の情報の漏洩・改ざんを防ぐソフトウェアの開発環境DFITSを提案した.本稿では,ソースコード中の変数を保護・非保護いずれのメモリに割り付けるかをデータフローの静的解析により判断するDFITSシステムの設計および試作について報告する.また,実用プログラムに対して試作したシステムを適用し,有効性を確認する. |
(英) |
We proposed a development environment DFITS, which helps security programmers to create software against tampering in-memory data by using secure and insecure memory areas provided by security processors. In this report, we design and develop a prototype system which statically analyzes data-flows in source code and determines which kind of memory is to be allocated for each variable. We also evaluate effectiveness of the system by applying it to a real-world program. |
キーワード |
(和) |
セキュリティプロセッサ / 暗号プロトコル / データフロー / プログラミング / 型推論 / / / |
(英) |
security processor / cryptographic protocol / data flow / programming / type inference / / / |
文献情報 |
信学技報, vol. 109, no. 12, DC2009-4, pp. 19-24, 2009年4月. |
資料番号 |
DC2009-4 |
発行日 |
2009-04-14 (CPSY, DC) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
CPSY2009-4 DC2009-4 |