ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 学術雑誌論文

束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法

http://hdl.handle.net/10173/672
http://hdl.handle.net/10173/672
51627b43-a8bb-4193-bb5a-f4d9d71eba25
名前 / ファイル ライセンス アクション
IEICE_J85-D1_10_961.pdf 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
著者 國信, 茂太

× 國信, 茂太

國信, 茂太

Search repository
高田, 喜朗

× 高田, 喜朗

高田, 喜朗

Search repository
関, 浩之

× 関, 浩之

関, 浩之

Search repository
井上, 克郎

× 井上, 克郎

井上, 克郎

Search repository
抄録
内容記述タイプ 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/
戻る
0
views
See details
Views

Versions

Ver.1 2023-05-15 13:44:07.494827
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3