講演名 | 1994/3/18 後向き推論システムを用いた Covert Channel の検証 森住 哲也, 鈴木 久夫, 臼田 啓介, 辻井 重男, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | データベースの安全性の実現をアクセス制御によって行なう方法がある。これは、もしcovert channelが存在しなければ、情報リークと改ざんがないことがいえる。今回、黒板モデルを原型とした安全性検証システムを拡張することにより、アクセス行列におけるcovert channelを検証して、アクセス行列が安全であることの保証、安全でないアクセスの行列のcovert channelのパスを示した。 |
抄録(英) | There is a method using access control for database system security.This is secure if there is no covert chnnel.In this paper, we propose a system which verify covert channels in an access matrix based on The Blackboard Architecture. |
キーワード(和) | 情報セキュリティ / アクセス行列 / 隠れチャネル / 検証 / 探索 |
キーワード(英) | Cryptography / Access Matrix / Covert Channel / Verification / search |
資料番号 | ISEC93-99 |
発行日 |
研究会情報 | |
研究会 | ISEC |
---|---|
開催期間 | 1994/3/18(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Information Security (ISEC) |
---|---|
本文の言語 | JPN |
タイトル(和) | 後向き推論システムを用いた Covert Channel の検証 |
サブタイトル(和) | |
タイトル(英) | Verification of Unsecure Paths in Access Matrixes with AI Approach |
サブタイトル(和) | |
キーワード(1)(和/英) | 情報セキュリティ / Cryptography |
キーワード(2)(和/英) | アクセス行列 / Access Matrix |
キーワード(3)(和/英) | 隠れチャネル / Covert Channel |
キーワード(4)(和/英) | 検証 / Verification |
キーワード(5)(和/英) | 探索 / search |
第 1 著者 氏名(和/英) | 森住 哲也 / Tetsuya Morizumi |
第 1 著者 所属(和/英) | 東洋通信機 Toyo Communication Equipment Co.,Ltd. |
第 2 著者 氏名(和/英) | 鈴木 久夫 / Hisao Suzuki |
第 2 著者 所属(和/英) | 東京工業大学工学部 Faculty of Engineering,Tokyo Institute of Technology |
第 3 著者 氏名(和/英) | 臼田 啓介 / Keisuke Usuda |
第 3 著者 所属(和/英) | 北陸先端科学技術大学院大学情報科学研究科 School of Information Science,Japan Advanced Institute of Science and Technology,Hokuriku |
第 4 著者 氏名(和/英) | 辻井 重男 / Shigeo Tsujii |
第 4 著者 所属(和/英) | 東京工業大学工学部 Faculty of Engineering,Tokyo Institute of Technology |
発表年月日 | 1994/3/18 |
資料番号 | ISEC93-99 |
巻番号(vol) | vol.93 |
号番号(no) | 525 |
ページ範囲 | pp.- |
ページ数 | 9 |
発行日 |