A tree automata-based efficient access control method for XML databases

基于树自动机的XML数据库高效访问控制方法

• 批准号: 19700026
• 负责人: TAKATA Yoshiaki
• 金额: $ 2.2万
• 依托单位: Kochi University of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2007
• 资助国家: 日本
• 起止时间: 2007 至 2008
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19700026/
• 关键词: XMLデータベース; アクセス制御; 木オートマトン; 静的解析

XMLデータベースのためのアクセス制御の効率化を目標に,木オートマトン理論に基づく静的解析法の研究を行った.本研究の基本アイデアは,アクセス制御ポリシーおよび問い合わせをそれぞれ木オートマトンでモデル化し,問い合わせがアクセス制御ポリシーに違反するかどうか判定する問題を木オートマトンの言語の包含性判定に帰着して解くことである.AND意味論とOR意味論という二つの意味論を定義し,AND意味論では多項式時間で解析可能であるのに対しOR意味論では決定性指数時間完全であることなどを明らかにした.

The XML system is based on the accuracy of the system, and the theory is based on the analytical method. The purpose of this study is to improve the quality of the system, which is the basis of this study. To solve the problem, to determine the meaning of the problem, to determine the nature of the problem, to solve the problem, to solve the problem, to determine the meaning of the problem, to solve the problem, to determine the meaning of the problem, to determine the nature of the problem, to determine the nature of the problem, to solve the problem, to determine the meaning of the problem. And means to discuss the meaning of OR. AND means that it is possible to analyze the OR in terms of multinomial time, which means that the index of determination is completely sensitive in time.

项目成果

Comparison of the Expressive Power of Language-based Access Control Models

基于语言的访问控制模型的表达能力比较

• 发表时间: 2009
• 期刊: IEICE Transactions on Information and Systems Vol.E92-D
• 作者: 丹生智也;田村直之;番原睦則;Yoshiaki Takata and Hiroyuki Seki
• 通讯作者: Yoshiaki Takata and Hiroyuki Seki

モデル検査によるHBACプログラムの情報流解析

使用模型检查的 HBAC 程序信息流分析

• 发表时间: 2007
• 作者: 蒲野茂幸;佐々木晃;森本祥一;阿萬裕久;高田喜朗;佐々木晃,市川寛,田沼英樹;森本祥一;阿萬裕久;高田喜朗
• 通讯作者: 高田喜朗

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

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

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