一階述語論理を用いた脆弱性診断ツール
スポンサーリンク
概要
- 論文の詳細を見る
脆弱性診断で一般的に使用されるセキュリティスキャナは,脆弱点の列挙を行うのみであるため,それらを組み合わせて利用した場合の脅威や,盗聴のような受動的な攻撃を受けた場合の脅威についての情報をツールから得ることはできない.そこで本稿では,攻撃をスクリプトとして表現し,一階述語論理上での自動推論に従って実行することで,上記場合も含めて,可能な限り攻撃者の振る舞いを模擬可能な脆弱性診断ツールを提案し,その有効性について述べる.
- 一般社団法人情報処理学会の論文
- 2002-12-20
著者
-
藤井 誠司
三菱電機株式会社 情報技術総合研究所
-
河内 清人
三菱電機株式会社情報技術総合研究所
-
藤井 誠司
三菱電機(株) 情報システム研究所
-
中野 初美
三菱電機株式会社情報技術総合研究所
-
大越 丈弘
三菱電機(株)情報技術総合研究所
-
河内 清人
三菱電機(株)情報技術総合研究所
-
北澤 繁樹
三菱電機(株) 情報技術総合研究所
-
中野 初美
三菱電機(株) 情報技術総合研究所
-
河木 理一
三菱電機(株)通信機製作所
-
北澤 繁樹
三菱電機株式会社情報技術総合研究所
関連論文
- AIDにおける異常フロー発信元特定方式(セッション4-A:ネットワークセキュリティ)
- 定点観測による不正アクセス分析システム(セッション3)
- 5E-6 Anomaly型不正アクセス分析システムの正常域データの変動への対応について(システム・ネットワークセキュリティ,一般セッション,セキュリティ)
- 5E-5 オフライン端末のセキュリティ検査方法(システム・ネットワークセキュリティ,一般セッション,セキュリティ)
- UNIXワークステーションによるネットワークを用いた高可用性システム
- Behavior Blocking方式に基づく組み込みデバイスの保護(セッション1:移動体通信)
- 不正侵入検出手法に関する一考察
- 5E-5 開発者により埋め込まれた不正コードの検出手法(セキュリティ(2),一般セッション,セキュリティ)
- L-042 暗号アルゴリズム識別手法の提案(L分野:ネットワーク・セキュリティ)
- D-19-7 PC持ち出し管理システムのファイル検査方法の提案(D-19.情報通信システムセキュリティ,一般セッション)
- 三菱セキュアWebアクセスMistyGuard
- セキュアWEBアクセスシステム
- セキュアWebアクセスシステムにおけるユーザ認証方式
- セキュアWWWアクセス制御システム
- 1Z-7 ネットワークの不正アクセス検知方式の検討
- B-7-61 サイバーテロ対策システムの開発 : ウイルス感染端末検知(B-7.情報ネットワーク,一般講演)
- 2G-5 サンプリングによるNetFlowの生成とデータの観測について(ネットワークセキュリティ,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- ネットワーク異常検知システムにおける攻撃種別判定法(セッション4-A:ネットワークセキュリティ)
- AIDにおける異常フロー発信元特定方式(セッション4-A:ネットワークセキュリティ)
- ネットワーク異常検知システムにおける攻撃種別判定法(セッション4-A:ネットワークセキュリティ)
- M-011 フィッシング対策としてのPKIの適用と課題(M分野:ユビキタス・マルチメディア・セキュリティ)
- 広域分散環境でのアプリケーション統合システムの試作と評価
- Outbreak型ワームを対象とした被害拡散防止システムの実現(セッション9-C : ネットワーク攻撃監視・防御(3))
- Outbreak型ワームを対象とした被害拡散防止システムの実現(セッション9-C : ネットワーク攻撃監視・防御(3))
- B-6-43 アタックトレラントシステムの開発 : (4)不正接続端末検知(B-6.ネットワークシステム, 通信2)
- 4T-5 暗号通信における監査機能の実現方式に関する考察
- キーリカバリシステムの試作と商用システムへの応用に関する検討
- キーリカバリシステムの試作
- 一階述語論理を用いた脆弱性診断ツール
- メンバの空間的配置に着目した大部屋的仮想オフィス環境
- 蓄積併用型ビデオコミュニケーションシステム
- 5E-7 集合知を用いたセキュリティシステムの提案(セキュリティ(2),一般セッション,セキュリティ)
- ワークフロー構築支援ツールの開発と今後の展開
- ワークフロー構築支援ツールの開発と今後の展望
- ワ-クフロ-管理システム構築支援ツ-ル"CoWorker" (クライアント・サ-バシステム)
- Webアプリケーションのパラメタ改ざん脆弱性検出精度向上手法
- Webアプリケーションのパラメタ改ざん脆弱性検出精度向上手法
- D-19-3 Webアプリケーションへの入出力データ検証方法の提案(D-19.情報通信システムセキュリティ,一般セッション)
- グループ内メンバのための認証書更新情報配付方式
- ハイブリッドセキュリティ診断技術 (特集 ソフトウェア開発環境)
- 協調ワークフロー管理システム「cooper」におけるオブジェクト指向データ管理方式
- 協調ワークフロー制御エンジンWolfにおけるワークフロー制御方式
- セキュリティ統合管理システム : 新しいセキュリティ脅威への対策 (特集 企業の安心・安全を支えるセキュリティ技術)
- D-19-5 Webアプリケーションの蓄積攻撃に対する防御方法の提案(D-19.情報通信システムセキュリティ,一般セッション)
- D-3-8 Webアプリケーション入出力解析システムの評価(D-3.ソフトウェアサイエンス,一般セッション)
- Androidアプリケーションにおける暗号処理検証技術の実装及び評価
- Androidアプリケーションにおける暗号処理検証技術の実装及び評価
- パッチ情報を用いたIDSシグニチャ検証手法の検討
- おとりを用いた標的型攻撃の検知手法について
- おとりを用いた標的型攻撃の検知手法について
- パッチ情報を用いたIDSシグニチャ検証手法の検討