文章基本信息

标题：情報流解析における制約付き機密度パラメータ
本地全文：下载
作者：桑原寛明 ; 國枝義敏
期刊名称：コンピュータソフトウェア
印刷版ISSN：0289-6540
出版年度：2019
卷号：36
期号：4
页码：39-45
DOI：10.11309/jssst.36.4_39
出版社：Japan Society for Software Science and Technology
摘要：本論文では，情報流解析における制約付き機密度パラメータを提案する．機密度パラメータを用いることで，各データの具体的な機密度を指定することなくクラスや関数を定義することができる．しかし，機密度パラメータに対して具体的な機密度をどのように割り当てても非干渉性を満たすことが要求される．制約付き機密度パラメータはこの強い制約を緩和する．本論文では，手続き型言語を対象として制約付き機密度パラメータに対応した情報流解析のための型システムを定義し，簡単な適用例を示す．.