文献

J-GLOBAL ID：202002269282126619   整理番号：20A0848623

情報流解析における制約付き機密度パラメータ

Bounded Secrecy Parameters in Information Flow Analysis.

著者 (2件)： 桑原寛明 (南山大学情報センター) ,  國枝義敏 (立命館大学情報理工学部)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 36  号： 4  ページ： 4_39-4_45(J-STAGE)  発行年： 2019年 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本論文では,情報流解析における制約付き機密度パラメータを提案する.機密度パラメータを用いることで,各データの具体的な機密度を指定することなくクラスや関数を定義することができる.しかし,機密度パラメータに対して具体的な機密度をどのように割り当てても非干渉性を満たすことが要求される.制約付き機密度パラメータはこの強い制約を緩和する.本論文では,手続き型言語を対象として制約付き機密度パラメータに対応した情報流解析のための型システムを定義し,簡単な適用例を示す.(著者抄録)

シソーラス用語： *ソフトウェア設計 ,  *ソフトウェア開発 ,  評価試験 ,  情報処理 ,  *プログラム解析 ,  性質 ,  パラメタリゼーション ,  要求仕様 ,  制約条件 ,  *仕様記述
準シソーラス用語： *コンピュータソフトウェア ,  機密性 ,  *型システム ,  情報フロー

分類 (3件)： 計算機システム開発  (JD02010R) ,  言語プロセッサ  (JD03040F) ,  計算理論  (JB02000A)

タイトルに関連する用語 (3件)： 解析 ,  制約 ,  密度パラメータ