权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

データベースにおけるセキュリティ検査のためのプログラム解析技術

数据库安全检查的程序分析技术

基本信息

批准号：
10780192
负责人：
田島敬史
金额：
$ 1.09万
依托单位：
Kobe University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1998
资助国家：
日本
起止时间：
1998 至 1999
项目状态：
已结题

项目摘要

データベースにおけるセキュリティのための技術として,各データに関してセキュリティレベルの異なる複数のバージョンを用意し,ユーザがあるデータを要求した場合,そのユーザに許される範囲で最も情報量の多いバージョンを返すというアクセス制御の枠組を考える.この枠組をさらに依存関係のあるデータにも拡張する.データ間の依存関係とは,このデータを使う場合には必ずこのデータも必要になるという関係である.ここでは,依存関係は個々のバージョン間に定義されるものとする.すなわち,あるデータのあるバージョンは,別のデータの特定のバージョンに依存し,同じデータの異なるバージョンでは依存するデータはバージョンの違いに留まらず全く異なり得るとする.ただし,バージョン間には互換性に関する半順序が存在し,あるデータのあるバージョンを使用するために,そのデータが依存する別のデータのあるバージョンが必要となる時,それを互換性のある別のバージョンで置き換えることができるとする.このような状況の例としては,プログラムモジュール群において,各モジュールには複数のバージョンが存在するような場合があげられる.このような状況において,あるユーザがあるデータを要求した場合に,そのデータとそのデータが直接,関節に依存する全てのデータに関して,適切なバージョンを決定し,セキュリティ上問題のない結果をユーザに返す枠組を設計した.このようなバージョンの組合せを計算するアルゴリズムを与え,このアルゴリズムが正しい結果,すなわち,バージョン間の依存関係を互換性が許す範囲で保存し,かつそのユーザに許される範囲の情報しか与えない結果を返すことを証明した.

In this connection, we need to know if there is a problem with the technical information system, and that you need to know that the number of copies is not the same as the intention, and that you are required to meet the requirements, and that the most sensitive information is available in the range of information. The group is not dependent on each other. This is not a good idea. I don't know if it's necessary to make sure that it is necessary to do so. It depends on the two parties to define the definition of the financial system. Please do not know if you are dependent on something specific or specific. You may need to know that you are fully dependent. In the event that there is a system in which there is a system of mutual communication between two systems, there is a system that requires the use of an interoperable system. This is not the case. I don't know. I don't know. The information is required to be closed, the data is not required, the data is direct, the data is dependent on the whole system, the decision is made, and the results of the problem on the file are determined. This is an important part of the calculation. The results are correct, the results are correct, the results are saved, the data are saved, and the results are returned.