不確定な情報"covert channel"の直観主義論理による解釈と分析

• 森住 哲也

• 木下 宏揚

• 辻井 重男

書誌事項

タイトル別名

• フカクテイナ ジョウホウ covert channel ノ チョッカン シュギ ロンリ ニ ヨル カイシャク ト ブンセキ
• Interpretation and analysis by intuitionistic logic for incomplete information, "covert channels"
• 情報セキュリティ
• ジョウホウ セキュリティ

収録刊行物

• 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 107 (140), 65-70, 2007-07-19

  東京 : 電子情報通信学会

キーワード

• セキュリティモデル
• アクセス制御
• Covert Channel
• 直観主義論理
• 演繹推論
• データベース
• 現象学
• security model
• access control
• intuitionistic logic
• deduction inference
• database
• Phenomenology

詳細情報

• CRID: 1520572357368542208
• NII論文ID: 110006379813
• NII論文ID: 110006381969
• NII書誌ID: AA1123312X
• ISSN: 09135685
• NDL書誌ID: 8846221
• NDL書誌ID: 8843512
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I8846221
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I8843512
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
• データソース種別:
  • NDL
  • CiNii Articles