講演名 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
発行日