首页    期刊浏览 2024年11月25日 星期一
登录注册

文章基本信息

  • 标题:情報流解析におけるDeclassifierの配置手法
  • 本地全文:下载
  • 作者:桑原 寛明 ; 國枝 義敏
  • 期刊名称:コンピュータ ソフトウェア
  • 印刷版ISSN:0289-6540
  • 出版年度:2015
  • 卷号:32
  • 期号:1
  • 页码:1_136-1_146
  • DOI:10.11309/jssst.32.1_136
  • 出版社:Japan Society for Software Science and Technology
  • 摘要:

    本論文では,情報流解析における型エラーを修正するために必要な Declassifiersの配置箇所の候補を挙げる手法を提案する.Declassifiersの配置は不正な情報流を解消する有効な手段であるが,Declassifiersを手作業で適切に配置することはそれほど容易ではない.提案手法により,開発者は挙げられた候補に従ってDeclassifiersを記述するだけで不正な情報流を解消できる.本論文では,提案手法の挙げる候補が型エラーを解消することと,少なくとも1つの候補が挙げられることを示した上で,提案手法をプロトタイプツールに実装し,単純なプログラムに適用した例を挙げる.

国家哲学社会科学文献中心版权所有