WEKO3
アイテム
オブジェクト指向データベースプログラムにおける型検査のアクセス制御への応用
https://ipsj.ixsq.nii.ac.jp/records/127729
https://ipsj.ixsq.nii.ac.jp/records/127729ca3f7acc-8265-4926-8d9d-9487ba57ae92
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001334120.pdf (167.4 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1995-03-15 | |||||
| タイトル | ||||||
| タイトル | オブジェクト指向データベースプログラムにおける型検査のアクセス制御への応用 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | An Application of Type-Checking to Access Control in Object-Oriented Database Programs | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 奈良先端科学技術大学院大学 情報科学研究科 | ||||||
| 著者所属 | ||||||
| 奈良先端科学技術大学院大学 情報科学研究科 | ||||||
| 著者所属 | ||||||
| 奈良先端科学技術大学院大学 情報科学研究科 | ||||||
| 著者所属 | ||||||
| 奈良先端科学技術大学院大学 情報科学研究科 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Nara Institute of Science and Technology | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Nara Institute of Science and Technology | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Nara Institute of Science and Technology | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Nara Institute of Science and Technology | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | アクセス制御法はデータベースのセキュリティ保全のために必須の技術である.オブジェクト指向データベース(OODB)では,一定のアクセス操作列をメソッドとしてカプセル化可能であるので,OODBのアクセス制御を行なう際には,組み込み演算の他にメソッド単位のアクセス権をも考慮する必要がある.本稿ではHullらの提案したOODBの操作モデルを用いて,OODBにおけるアクセス制御の形式化を試みる.Hullらのモデルは,メソッドの引数が一つ(モナディック)である手続き型モデルであり,データベースの更新は属性への代入文として簡潔に表現することができる.また,従来の研究では,ユーザプログラムの正当性(アクセス権違反を行なわないこと)はプログラムの実行時にチェックすることを前提としていたが,本稿では,与えられたユーザプログラムの正当性を静的に(コンパイル時に)解析する方法について考察する. | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第50回, 号 ソフトウェア, p. 173-174, 発行日 1995-03-15 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
