文献
J-GLOBAL ID:201902286972567151   整理番号:19A0929668

オブジェクト指向言語の情報流解析における 機密度のパラメータ化

Secrecy Parameterization in Information Flow Analysis for Object-oriented Programs.
著者 (3件):
資料名:
巻: 36  号:ページ: 48-65(J-STAGE)  発行年: 2019年 
JST資料番号: Y0628A  ISSN: 0289-6540  資料種別: 逐次刊行物 (A)
記事区分: 原著論文  発行国: 日本 (JPN)  言語: 日本語 (JA)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
本論文では,Banerjeeらのオブジェクト指向言語に情報流解析のための機密度に関するパラメトリック多相を導入する.情報流解析は機密情報の流出可能性の検出に有用である.しかし,型検査に基づく情報流解析ではプログラム中に型として機密度を指定する必要があるため,コレクションフレームワークのような任意の機密度のデータを扱うクラスを定義できない.そこで,機密度をパラメータに取るクラス定義と機密度パラメータを含む機密度の構造を提案する.機密度パラメータにどんな機密度が割り当てられても,型付け可能なプログラムは機密情報を流出させないことを保証できる型付け規則を構築し,非干渉性に対して健全であることを示す.(著者抄録)
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

分類 (3件):
分類
JSTが定めた文献の分類名称とコードです
汎用プログラミング言語  ,  言語プロセッサ  ,  データ保護 
タイトルに関連する用語 (4件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る