WEKO3
アイテム
束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法
http://hdl.handle.net/10173/672
http://hdl.handle.net/10173/67251627b43-a8bb-4193-bb5a-f4d9d71eba25
名前 / ファイル | ライセンス | アクション |
---|---|---|
IEICE_J85-D1_10_961.pdf (394.8 kB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2011-06-23 | |||||
タイトル | ||||||
タイトル | 束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法 | |||||
言語 | ||||||
言語 | jpn | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 情報フロー解析 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | セキュリティクラス(SC) | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 不動点計算 | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | journal article | |||||
著者 |
國信, 茂太
× 國信, 茂太× 高田, 喜朗× 関, 浩之× 井上, 克郎 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 本論文では,一般に再帰を含むプログラムに対して情報フローを効率良く解析する手法を示す.この手法において,データの機密度を表すセキュリティレベルは任意の有限分配束によって与えることができる.本論文では,提案する情報フロー解析法の健全性を証明し,このアルゴリズムがプログラムの記述長の3乗のオーダで実行できることを示す.更に,引数内の情報を隠すことができるような関数を適切に導入できるように,合同関係を用いてアルゴリズムを拡張する.最後に,試作システムを用いて提案アルゴリズムを実行した結果を紹介する. | |||||
書誌情報 |
電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems 巻 J85-D1, 号 10, p. 961-973, 発行日 2002-10-01 |
|||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 0915-1915 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AA12099634 | |||||
権利 | ||||||
権利情報 | ©2002電子情報通信学会(IEICE) | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
出版者 | ||||||
出版者 | 電子情報通信学会 | |||||
関係URI | ||||||
識別子タイプ | URI | |||||
関連識別子 | http://search.ieice.org/ | |||||
関連名称 | http://search.ieice.org/ |