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

• 森住 哲也

• 木下 宏揚

• 辻井 重男

Bibliographic Information

Other Title

• フカクテイナ ジョウホウ covert channer ノ チョッカン シュギ ロンリ ニ ヨル カイシャク ト ブンセキ
• Interpretation and analysis by intuitionistic logic for incomplete information, "Covert Channels"
• コンピュータセキュリティ
• コンピュータ セキュリティ

Journal

• 情報処理学会研究報告 = IPSJ SIG technical reports

  情報処理学会研究報告 = IPSJ SIG technical reports 2007 (71), 65-70, 2007-07

  東京 : 情報処理学会

Keywords

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

Details

• CRID: 1520009409515590016
• NII Article ID: 110006379934
• NII Book ID: AN10539294
• ISSN: 09196072
• NDL BIB ID: 8856635
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I8856635
• Text Lang: ja
• NDL Source Classification:
  • ZM13(科学技術--科学技術一般--データ処理・計算機)
• Data Source:
  • NDL
  • CiNii Articles