A tree automata-based efficient access control method for XML databases
A tree automata-based efficient access control method for XML databases
基于树自动机的XML数据库高效访问控制方法
批准号：
19700026
负责人：
TAKATA Yoshiaki
金额：
$2.2万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2007
资助国家：
日本
项目状态：
已结题
起止时间：
2007 至 2008
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
XMLデータベースのためのアクセス制御の効率化を目標に,木オートマトン理論に基づく静的解析法の研究を行った.本研究の基本アイデアは,アクセス制御ポリシーおよび問い合わせをそれぞれ木オートマトンでモデル化し,問い合わせがアクセス制御ポリシーに違反するかどうか判定する問題を木オートマトンの言語の包含性判定に帰着して解くことである.AND意味論とOR意味論という二つの意味論を定義し,AND意味論では多項式時間で解析可能であるのに対しOR意味論では決定性指数時間完全であることなどを明らかにした.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Comparison of the Expressive Power of Language-based Access Control Models
基于语言的访问控制模型的表达能力比较
基于语言的访问控制模型的表达能力比较
DOI：
--
发表时间：
2009
期刊：
IEICE Transactions on Information and Systems Vol.E92-D
影响因子：
--
作者：
[丹生智也, 田村直之, 番原睦則, Yoshiaki Takata and Hiroyuki Seki]
通讯作者：
Yoshiaki Takata and Hiroyuki Seki
情報流仕様からの言語組み込みアクセス制御文の自動挿入
根据信息流规范自动插入语言内置访问控制语句
根据信息流规范自动插入语言内置访问控制语句
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
[蒲野茂幸, 佐々木晃, 森本祥一, 阿萬裕久, 高田喜朗]
通讯作者：
高田喜朗
モデル検査によるHBACプログラムの情報流解析
使用模型检查的 HBAC 程序信息流分析
使用模型检查的 HBAC 程序信息流分析
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
[蒲野茂幸, 佐々木晃, 森本祥一, 阿萬裕久, 高田喜朗, 佐々木晃,市川寛,田沼英樹, 森本祥一, 阿萬裕久, 高田喜朗]
通讯作者：
高田喜朗
Formal models for verifying multi-threaded recursive programs
-
批准号：21700045
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.33万
-
财政年份：2009
-
负责人：TAKATA Yoshiaki
-
依托单位：
海外基金
