束構造のセキュリティモデルに基づくプログラムの情報フロー解析

國信, 茂太; 高田, 喜朗; 関, 浩之 他

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2000, 100(472), 25-32

アクセス数:754件（2026-02-16 12:19 集計）

固定URL: https://hdl.handle.net/11094/26697

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
itr100_472_25 pdf なし 805 KB 85 2014.02.03  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
束構造のセキュリティモデルに基づくプログラムの情報フロー解析
An Information Flow Analysis of Programs based on a Lattice Model
タバ　コウゾウ　ノ　セキュリティ　モデル　ニ　モトヅク　プログラム　ノ　ジョウホウ　フロー　カイセキ
著者
著者名
國信, 茂太 ; クニノブ, シゲタ ; Kuninobu, Shigeta
NRID
1000060294279 1000060294279
著者名
高田, 喜朗 ; タカタ, ヨシアキ ; Takata, Yoshiaki
NRID
1000080196948 1000080196948
著者名
関, 浩之 ; セキ, ヒロユキ ; Seki, Hiroyuki
NRID
1000020168438 1000020168438
著者名
井上, 克郎 ; イノウエ, カツロウ ; Inoue, Katsuro
キーワード等
情報フロー解析
セキュリティクラス
健全性
information flow analysis
security class
soundness
抄録
プログラムの実行によって, 機密度の高い情報が, 不特定多数のユーザにアクセスされるような記憶域に書き出されないことを保証するためには, プログラムにある機密度の情報が入力されたとき, どのような機密度の情報が出力されるか解析できればよい. 従来の研究において, 機密度(セキュリティクラス)を束でモデル化し, それに基づいてプログラムの情報フローを静的に解析する方法が提案されているが, 解析対象となるプログラムが単純で, 特に再帰手続きを考慮していなかった. そこで, 本稿では, 一般に再帰を含む手続き型プログラムの情報フローを静的に解析するアルゴリズムを提案する. また, 提案するアルゴリズムの健全性を抽象解釈を用いて証明する.
In order to guarantee that a given program never leaks secrecy information to insecure storage, we should conduct a program analysis which provides the security class of each output of the program when the security class of each input is given. Several program analyses based on a lattice model of security classes were proposed;however, the programs they can analyze are relatively simple and specifically do not cantain a recursive call. In this paper, we propose an algorithm which can analyze programs containing recursive calls. Soundness of the algorithm is proved using abstract interpretation.
出版者
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻(号)
100(472)
ページ
25-32
刊行年月
2000-11-21
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/26697
PISSN
09135685
NCID
AN10013287
アクセス権
open access
権利情報
Copyright © 2000 IEICE
本文データはCiNiiから複製したものである
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article