大学におけるインシデント対応の一事例
スポンサーリンク
概要
- 論文の詳細を見る
最近のインターネットの普及に伴い,情報セキュリティ・インシデントの発生件数も増加の一途をたどっている.そのようなインシデントを起こさないためには,セキュリティ・ポリシーの策定やそれに基づいた監査・運用体制を確立し,厳格に実行することが必要なのはもちろんであるが,一旦インシデントが起こった後の対応をどのように行うかも非常に重要である.本稿では,著者らの大学で実際に起こったインシデントとその対応の経緯について,一事例として紹介を行う.
- 一般社団法人情報処理学会の論文
- 2003-09-26
著者
-
田村 直之
神戸大学
-
田村 直之
神戸大学学術情報基盤センター
-
伴 好弘
神戸大学
-
鳩野 逸生
神戸大学学術情報基盤センター
-
伴 好弘
神戸大学 学術情報基盤センター
-
田村 直之
神戸大学工学部
-
田村 直之
神戸大 学術情報基盤セ
-
田村 直之
神戸大学工学部:神戸大学大学院自然科学研究科博士課程システム科学専攻
-
田村 直之
神戸大学工学部情報知能工学科
-
鳩野 逸生
神戸大学 総合情報処理センター
-
鳩野 逸生
神戸大学
関連論文
- LEGS:動物園におけるGPS携帯電話を活用した観察支援システム(学習場面における他者との関わり-理論,実践,システム開発)
- SATによるシステム検証(最近のSAT技術の発展)
- 制約最適化問題とSAT符号化(最近のSAT技術の発展)
- SATソルバーの基礎(最近のSAT技術の発展)
- 特集「最近のSAT技術の発展」にあたって(最近のSAT技術の発展)
- SATによるシステム検証
- 特集「最近のSAT技術の発展」にあたって
- 動物園におけるGPS携帯を活用した一般来園者への観察支援
- 座長からの報告
- CSCLシステムを利用した授業のデザイン実験(主題「社会と協働する科学教育研究」)
- 意識的な手指動作入力による身体的アバタの操作特性分析
- 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム
- T_EX/LAT_EXによる学会誌の編集
- 遺伝的アルゴリズムとラグランジュ緩和法を併用した動的部分空間探索によるジョブショップスケジューリング問題の解法
- 組合せ多目的最適化問題に対するメタ戦略型満足化トレードオフ法
- 遺伝的アルゴリズムによる多目的スケジューリング問題の一解法 : Family Elitist の概念を導入して
- 遺伝的アルゴリズムとラグランジュ緩和法を併用したビーム探索法によるスケジューリング問題の解法(遺伝的アルゴリズムとニューラルネットワーク)
- SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 線形論理と論理プログラミング(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- 神戸大LISPマシンPROLOGマシン(特集知られざる計算機)
- PrologからJavaへのトランスレータ処理系とその応用
- S1401-1-4 混流生産における需要変動に即応する生産・在庫管理モデルの検討(生産システムの新展開(基礎・理論))
- 3G3-I2 画像並置機能を実装したビデオクリップ自動作成システムによる授業実践 : 小学校6年生「結晶づくりにチャレンジしよう」における利用事例と評価(IT・メディア利用の科学教育システム(2),一般研究発表(口頭発表),日本科学教育学会 第30回年会論文集)
- Webカメラを用いたビデオクリップ自動作成システムの授業利用における効果に関する考察(新世紀型理数科系教育とICTの活用)
- 実験対象を撮影したビデオクリップが児童の情意面に与える効果 : 小学校5年生「結晶づくりにチャレンジしよう」におけるWebカメラの利用と評価(IT・メディア利用の科学教育システム(2))
- 2J-11 Webカメラを用いたビデオクリップ自動作成システムを利用した授業の実践 : 小学校5年生「結晶づくりにチャレンジしよう」における取り組み(教育工学・視聴覚教育・情報教育,一般研究,日本理科教育学会第55回全国大会)
- 児童の実験対象を撮影したビデオクリップによる観察が学習活動の情意的側面に与える効果
- ISMAR03報告 : 複合現実感研究の最新動向(複合現実感とインタラクション)
- 日英機械翻訳システムTWINTRANの言語知識と翻訳品質の評価
- Text-Wide Grammarに基づくテキスト解析
- A^*法に従うアジェンダ制御による構文解析
- TWINTRAIN : integration of syntax, semantics and context analysis
- 遅延評価機構によるAND-ORグラフ上での優先度計算
- Semantic Processing on Parse Trees Represented in a Chart
- 1P1-C4 動物園における観察経路の検討 : LEGSシステム使用と展示パネル使用の比較(インタラクティブ(1),インタラクティブセッション,次世代の科学力を育てる-社会とのグラウンディングを求めて-)
- 1B1-D4 携帯端末を用いたナビゲーションにおける観察活動を促進することを目的とした情報提示(インタラクション・デザイン・学習,自主企画課題,次世代の科学力を育てる)
- 1B1-B1 動物園におけるロケーションアウエアネスを活用した実践研究(動物園におけるロケーションアウエアネスを活用した実践研究,自主企画課題研究,転換期の科学教育:これからの科学的リテラシー)
- 野外活動におけるGPS携帯電話を用いた学習内容提示システム(ユビキタス学習環境/一般)
- 多様な資料構造に対応したデジタルアーカイブシステム : 神戸大学電子図書館アーカイブ検索システム
- 神戸大学におけるネットワークシステムの構築
- シーケンシャル実行型PrologマシンPEK : ハードウェア構成
- 会話におけるポインティングデバイスを用いた身体的アバタの操作特性分析
- 会話におけるポインティングデバイスを用いた身体的アバタの操作特性分析(テーマセッション,コミュニケーション・共生及び一般)
- 会話におけるポインティングデバイスを用いた身体的アバタの操作特性分析(テーマセッション,コミュニケーション・共生及び一般)
- Prolog Cafe: Java上で動作するProlog処理系(研究のツールボックス〔第4回〕)
- Grid計算環境における2つの制約解消系の試験的実装について
- グリッド計算環境における制約解消システムの構築に向けて
- Grid 計算環境における2つの制約解消系の試験的実装について
- グリッド計算環境における制約解消システムの構築に向けて
- LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム
- 時相線形論理型言語のコンパイラ処理系のための抽象機械について
- 線形論理型言語のコパイラ処理系のための抽象機械について
- 古典線形論理型プログラミング言語の静的解析の一手法について
- 直観主義時相線形論理における論理プログラミングについて
- 線形論理型言語のJava言語による処理系の設計と実装
- 論理型言語の最近の動向 (新世代のソフトウエア特集号)
- ウェアラブルARシステムのための自立型位置追跡装置と二次元マーカとを併用した三次元位置軌跡取得手法(複合現実感とパターン認識・メディア理解, 一般)
- 複合現実感を利用した机上コラボレーションシステムの開発(複合現実感とパターン認識・メディア理解, 一般)
- 整数有限領域上の線形制約充足問題のコンパクトかつ効率的なSAT符号化の提案 (特集 「AIの基本問題SATと応用技術」および一般)
- SAT型制約ソルバーSugarについて (特集 「AIの基本問題SATと応用技術」および一般)
- JSIAIワークステーション(7) : Prologコンパイラの評価
- JSIAIワークステーション(6) : Prologコンパイラの最適化技法
- JSIAIワークステーション(5) : Prologコンパイラの概要と設計方針
- 1. プログラミング言語と環境 1.2 Prolongのプログラミング環境 (<大特集>新しいプログラミング環境)
- フィールドを有するマルチエージェントシステム記述用言語
- フィールドの概念を備えたマルチエージェント記述用言語の設計と実装について
- Prologに基づくエージェントプログラムにおけるマイグレーションの実現
- Javaを用いた異種エージェント間での協調支援工ージェントの開発に関する研究
- ネットワーク環境におけるマルチエージェントシステム記述用言語
- 分散環境下におけるマルチエージェントシステム記述用言語
- 並列Prolog処理系"K-Prolog"の実現
- 大学におけるセキュリティポリシー導入の一事例
- 大学におけるインシデント対応の一事例
- 線形論理型言語のコンパイラ処理系でのリソース管理方式について
- タイプ2ファジィ集合の一部を扱えるFuzzy Prolog
- LF-001 Profit Sharingの学習の合理性に関する理論的考察(人工知能・ゲーム)
- ファジィ数の体系について(ファジィ数学) : 公理的アプローチ
- 「スーパーコンピュータとその利用技術」特集号の編集にあたって
- 制約条件に論理的ORを含む組合せ最適化問題に対するハイブリッド型最適化手法の実現(サイバー増大ページ論文概要,サイバー増大号)
- (第11回)ログ蓄積ツールRRDtoolの記録をgnuplotで描画する方法(私の研究開発ツール)
- 簡易手袋型入力装置に関する試作と評価
- 机上型MRシステムによる作業空間共有のためのネットワーク構築手法に関する研究(仮想都市, 複合現実感, および一般)
- 複合現実感とは
- 「VRのための計測技術」特集号にあたって
- 光学マーカを用いた指差し型メニューインタフェースに関する考察
- 画像解析型手認識による片手入力インタフェース
- 複合現実感を利用した机上コラボレーションシステムの開発
- 動的優先度判定表示機能を備えたウェアラブルARシステムに関する研究
- 知的生産のための新しいツ-ルの現状と展望 (知的生産のための新しいツ-ル特集号)
- テレエコーシステム
- Compiling Finite Linear CSP into SAT
- ウェアラブルコンピュータのためのビデオトラッキング用コード化マーカについての検討
- OE3 超音波3次元再構成動画像の人体上へのスーパーインポーズ(医用超音波)
- ＳＡＴ符号化を用いた釣合い型不完備ブロック計画の構成
- 「SATソルバー」(私のブックマーク)
- 「VRのための計測技術」特集号にあたって(VRのための計測技術)
- SATによるシステム検証
- ソフトウェア紹介 直観主義線形論理型言語LLPとそのコンパイラ処理系
- 国際シンポジウムFLOPS 2012開催報告