Automatic Analys is and Generation Methods for Language-based Access Control

基于语言的访问控制的自动分析和生成方法

• 批准号: 20500034
• 负责人: SEKI Hiroyuki
• 金额: $ 2.83万
• 依托单位: Nara Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2008
• 资助国家: 日本
• 起止时间: 2008 至 2010
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20500034/
• 关键词: アクセス制御; 情報流解析; セキュリティ; 実行履歴; スタック検査; 自動生成; 静的解析; 情報流解

We defined the automatic generation problem as the one to insert access check commands into a given recursive program so that the program satisfies a given security specification. First, the problem was shown to be co NP-hard. Next, we proposed an algorithm solving the automatic generation problem based on PDS model checking. We also showed that the proposed algorithm works efficiently for sample programs based on the experiments conducted on the automatic generation tool.

我们将自动生成问题定义为在给定的递归程序中插入访问检查命令以使程序满足给定的安全规范的问题。首先，该问题被证明是co NP-困难的。其次，提出了一种基于PDS模型检测的自动生成算法。我们还表明，所提出的算法有效地为样本程序的自动生成工具进行的实验的基础上。

项目成果

Synthesis and Verification of History-based Access Control

基于历史的访问控制的综合和验证

• 发表时间: 2009
• 作者: Soichiro Hidaka;Zhenjiang Hu;Kazuhiro Inaba;Hiroyuki Kato;Kazutaka Matsuda;Keisuke Nakano;青山幹雄;関浩之
• 通讯作者: 関浩之

情報流解析に基づくアクセス権検査文自動挿入法

基于信息流分析的访问权限测试文本自动插入

• 发表时间: 2009
• 作者: 高田喜朗;森田剛正;関浩之
• 通讯作者: 関浩之

情報流仕様からの言語組み込みアクセス制御文の自動挿入

根据信息流规范自动插入语言内置访问控制语句

• 发表时间: 2008
• 作者: 蒲野茂幸;佐々木晃;森本祥一;阿萬裕久;高田喜朗
• 通讯作者: 高田喜朗

アクセス制御 -言語ベースセキュリティをめざして-

访问控制-走向基于语言的安全-

• 发表时间: 2009
• 作者: Soichiro Hidaka;Zhenjiang Hu;Kazuhiro Inaba;Hiroyuki Kato;Kazutaka Matsuda;Keisuke Nakano;関浩之
• 通讯作者: 関浩之

情報流仕様に基づくアクセス権検査文自動挿入法

根据信息流规范自动插入访问权限检查文本

• 发表时间: 2010
• 作者: Yoshiaki Takata;Hiroyuki Seki;高田喜朗
• 通讯作者: 高田喜朗