田中英彦 TANAKA Hidehiko

研究者番号	60011102
その他のID
外部サイト
所属 (現在)	2025年度: 情報セキュリティ大学院大学, その他の研究科, 名誉教授
所属 (過去の研究課題情報に基づく) *注記	2013年度 – 2014年度: 情報セキュリティ大学院大学, その他の研究科, 教授 2009年度 – 2012年度: 情報セキュリティ大学院大学, 情報セキュリティ研究科, 教授 2005年度 – 2007年度: 情報セキュリティ大学院大学, 情報セキュリティ研究科, 教授 2001年度 – 2003年度: 東京大学, 大学院・情報理工学系研究科, 教授 2001年度: 東京大学, 情報理工学系研究科, 教授 … もっと見る 1999年度 – 2000年度: 東京大学, 大学院・工学系研究科, 教授 1987年度 – 1998年度: 東京大学, 工学部, 教授 1995年度 – 1997年度: 東京大学, 大学院・工学系研究科, 教授 1986年度: 東京大学, 工学部, 助教授 1986年度: 東大, 工学部, 助教授 1985年度: 東京大学, 工, 助教授隠す
審査区分/研究分野	研究代表者計算機科学 / 計算機システム・ネットワーク / 情報工学 / 情報学 / 情報システム学(含情報図書館学) / 情報工学 / ソフトウエア研究代表者以外計算機科学 / 理工系 / 情報学
キーワード	研究代表者セキュリティ / Parallel Processing / 知識処理 / 並列処理 / Database Machine / 多次元クラスタリング / データベースマシン / 関係データベース / 計算機アーキテクチャ / 分岐予測 … もっと見る / 大規模データパスプロセッサ / VLDP / 投機実行 / 分散システム / オペレーティングシステム / アクセス制御 / 超並列処理 / Relational Database / Knowledge Base / Logic Programming / Inference Machine / Symbolic Computing / Knowledge Information Processing / 知識ベースマシン / 理論型プロケラミング / 知識ベース / データべースマシン / 関係データベース処理 / 同時実行制御アルゴリズム / 並列ガーベジコレクション / 並列デバッガ / 論理型プログラミング / 同時実行制御 / 相互結合網 / 関係デ-タベ-ス / デ-タベ-スマシン / 知識ベ-ス / 論理型言語 / 推論マシン / 記号処理 / Petri-net / Driven / Data / Name / Browser / Debug / Object Oriented / 分散インヘリタンス / デバッギング / 名前管理 / 単一代入則 / タイプ推論 / ペトリネット / データ駆動 / 名前 / ブラウザ / デバッグ / オブジェクト指向 / Hardware Sorter / Multidimensional Clustering / Sort / Hash / Database System / マルチプロセッサ / ハードウェアソータ / ソート / ハッシュ / Capability / Policy / Security / Distributed System / Operating System / 分散ケイパビリティ / OSセキュリティ / ケーパビリティ / ポリシー / Natural Language Processing / Image Analysis / Cooking Video / Multimedia Integration / 自然言語処理 / 画像処理 / 料理映像 / 統合ディア処理 / Value Prediction / Branch Prediction / Multi-Path Execution / Speculative Execution / Instruction-level parallerism / Micro Prosessor / Computer Architecture / VLDP Architecture / 値予測 / マルチパス実行 / 命令レベル並列 / マイクロプロセッサ / ILP / data traffic / address prediction / dynamic prefetch / speculative execution / branch handling / dataflow anaysis / メモリアロケイタ / データフロー変換 / マッピングモジュール / 処理ステップオ-ガナイザ / タイム管理モジュール / 並列度 / VLOR / 参照アドレス予測 / 動的プリフェッチ / 分岐制御 / 命令のパック化 / 大規模データパス / データフロー解析 / Performance Evaluation / Inference Processor / Fast Contxt Switching / Register Window / Multi-Threading / Process Scheduling / Load Balancing / Parallel Processing Management / プロファイリング / レジスタウインドウ / マイクロカ-ネル / スケジュ-リング / マイクロカーネル / 性能評価 / 推論プロセッサ / 高速コンテクスト切替 / レジスタウィンドウ / マルチスレッド / スケジューリング / 負荷分散 / 並列処理管理 / OS / 情報セキュリティ / ディペンダブルコンピューティング / 超並列ハードウェアアーキテクチャ / 超並列制御系 / 超並列処理系 / 超並列処理記述系 / 超並列アーキテクチャ / JUMP-1 / 超並アーキテクチャ / 超並列オペレーティングシステム / NCX / 超並列プログラム言語 / 超並列計算 / 超並列処理モデル / 超並列コンピュ-タア-キテクチャ / 並列オペレ-ティングシステム / 並列プログラミングシステム / 並列プログラミング言語 / 並列プログラミングモデル … もっと見る研究代表者以外プロトコル / 分散処理 / マルチキャスト / 超並列計算機 / 電子化図書 / ニューロコンピューティング / 高次コミュニケーションシステム / Optimizing Compiler / Thread Prediction / Performance Evaluation / Speculative Multithreading / Power Simulator / Coherent Cache / Low Power Architecture / Chip Multiprocessor / 共有キャッシュ / メモリバイオレーション / 命令スケジューリング / 投機処理 / マルチスレッデイング / 分岐予測 / CPU / スレッド投機実行 / 省電力 / 最適化コンパイラ / スレッド予測 / 性能評価 / 投機的マルチスレッディング / 電力シミュレータ / コヒーレントキャッシュ / 省電力アーキテクチャ / チップマルチプロセッサ / Cyber security / Safe mail systems / impersonalization / viruses / Safe operating systems / Safe programming languages / protocol verification / Program / Software security / 総括班会議 / 研究の推進 / ソフトウエアインフラストラクチャ / プログラミング言語設計 / ソフトウエアの検証 / 安全なソフトウエア / セキュアコンピューティング / 社会基盤システム / 内部評価 / メールシステム / ソフトウェア実行機構 / ソフトウェア記述系 / 形式的検証法 / ソフト技術 / メモリ安全 / ソース解析・型理論 / オペレーティングシステム / プログラム言語処理系 / プログラム検証 / 安全な情報基盤 / ソフトウェアセキュリティ / サイバーセキュリティ / 安全なメールシステム / 成りすまし / ウィルス / 安全なオペレーティング / 安全なプログラミング言語 / プログラミング・プロトコル検証 / ソフトウェアセキュリテイ / Image database / Ultrahigh speed router / Distributed computing / Distant learning system / 大規模知識ベース / 超分散ソフトウェア / 超並列ソフトウェア / 知的ソフトウェア / 超高速ネットワーク / 研究・教育の情報環境 / 遠隔講義 / Internet / ATMネットワーク / オンラインユニバーシティ / ギガビットネットワーク / 映像データベース / 超高速ルーター / 遠隔授業 / O Subsystem / I / Scalability / Maintenance System / Distributed Simulation / Cache Memory / Distribute Memory System / Workstation Cluster / Massively Parallel Computer / 統計データの可視化 / メンテナンス / ルーティング / Rocursive Dragonal Torus / キャッシュ / スケーラビィリティ / 離散シミュレーション / 入出力サブシステム / スケーラビリティ / メンテナンス・システム / 分散シミュレーション / ワークステーション・クラスタ / 分散メモリ・システム / キャッシュ・メモリ / メディア変換 / 類似度検索 / マルチメディア情報指向並列コンピュータ / 意味ネットワークマシン / 知識・知能 / 計算システム / 知的情報処理 / モデル / 基礎研究 / 情報学 / 情報科学 / マルチプロセッサ / 図形表示処理 / 並列処理 / 推論エンジン / 耐故障性 / 超並列向き相互結合網 / 並列オブジェクト指向 / 制御駆動並列処理 / データ駆動並列処理 / 仮想FIFO / Oシステム / 並列I / ルーティング・プロトコル / キャッシュ・コヒーレンス制御 / 細粒度並列処理 / HDTV / ファイル・システム / 入出力ネットワーク / RDT:Recursive Diagonal Torus / キャッシユ・コヒーレンス制御 / 分散共有メモリ / ニューラルシステム構築ツール / 可変構造並列コンピュータ / マルチメディア情報処理 / 隠喩理解システム / Gaussian Machine 隠す

次世代情報セキュリティ基盤を実現するＯＳ強化に向けた資源アクセス制御方式研究代表者
- 研究代表者
  
  田中英彦
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  情報セキュリティ大学院大学
SOAの健全な発展を支える先進的共通アクセス制御アーキテクチャの研究研究代表者
- 研究代表者
  
  田中英彦
- 研究期間 (年度)
  2009 – 2011
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機システム・ネットワーク
- 研究機関
  情報セキュリティ大学院大学
複数OSの連携と上位層機能の取り込みによるOSのセキュリティ基盤強化方式研究代表者
- 研究代表者
  
  田中英彦
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機システム・ネットワーク
- 研究機関
  情報セキュリティ大学院大学
料理映像を題材とするマルチメディア統合システムの構築とその応用研究代表者
- 研究代表者
  
  田中英彦
- 研究期間 (年度)
  2002 – 2003
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  情報システム学(含情報図書館学)
- 研究機関
  東京大学
高性能省電力チップマルチプロセッサの研究
- 研究代表者
  
  坂井修一
- 研究期間 (年度)
  2001 – 2003
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  東京大学
「社会基盤としてのセキュアコンピューティングの実現方式の研究」の推進と評価
- 研究代表者
  
  米澤明憲
- 研究期間 (年度)
  2000 – 2003
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  東京大学
マルチパス投機処理を行う大規模並列マイクロプロセッサ・アーキテクチャの研究研究代表者
- 研究代表者
  
  田中英彦
- 研究期間 (年度)
  1999 – 2001
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  東京大学
超高速・高性能ネットワークによる新しい研究・教育の高次情報環境構築の体系的研究
- 研究代表者
  
  野口正一
- 研究期間 (年度)
  1996 – 1998
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  会津大学
   日本大学
超並列原理に基づく情報処理基本体系(成果とりまとめ)研究代表者
- 研究代表者
  
  田中英彦
- 研究期間 (年度)
  1995
- 研究種目
  
  重点領域研究
- 研究機関
  東京大学
大規模データパスプロッセッサの研究研究代表者
- 研究代表者
  
  田中英彦
- 研究期間 (年度)
  1995 – 1997
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  東京大学
超並列ハードウェア・アーキテクチャの研究
- 研究代表者
  
  富田眞治
- 研究期間 (年度)
  1994
- 研究種目
  
  重点領域研究
- 研究機関
  京都大学
超並列計算機のプロトタイプ開発と試作
- 研究代表者
  
  富田眞治 (富田真治)
- 研究期間 (年度)
  1994 – 1995
- 研究種目
  
  試験研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
超並列原理に基づく情報処理基本体系の調査研究研究代表者
- 研究代表者
  
  田中英彦
- 研究期間 (年度)
  1991
- 研究種目
  
  総合研究(B)
- 研究機関
  東京大学
高性能超並列計算機のための複合多重要素プロセッサの試作研究代表者
- 研究代表者
  
  田中英彦
- 研究期間 (年度)
  1991 – 1993
- 研究種目
  
  試験研究(B)
- 研究分野
  
  情報工学
- 研究機関
  東京大学
高次コミュニケーションのシステム構築に関する研究
- 研究代表者
  
  相磯秀夫
- 研究期間 (年度)
  1989
- 研究種目
  
  重点領域研究
- 研究機関
  慶応義塾大学
高次コミュニケーションのシステム構築に関する研究
- 研究代表者
  
  相磯秀夫
- 研究期間 (年度)
  1988 – 1990
- 研究種目
  
  重点領域研究
- 研究機関
  慶応義塾大学
日本における情報科学基礎研究のあり方についての総括的研究
- 研究代表者
  
  坂井利之
- 研究期間 (年度)
  1987 – 1988
- 研究種目
  
  総合研究(B)
- 研究分野
  
  情報学
- 研究機関
  龍谷大学
大規模知識処理システムの研究研究代表者
- 研究代表者
  
  田中英彦
- 研究期間 (年度)
  1987 – 1990
- 研究種目
  
  特別推進研究
- 研究機関
  東京大学
知識処理を支援する並列オブジェクト指向計算機アキテクチャの研究研究代表者
- 研究代表者
  
  田中英彦
- 研究期間 (年度)
  1985 – 1987
- 研究種目
  
  一般研究(B)
- 研究分野
  
  情報工学
- 研究機関
  東京大学
知的処理の統合化とシステムに関する研究
- 研究代表者
  
  野口正一
- 研究期間 (年度)
  1984 – 1986
- 研究種目
  
  特定研究
- 研究機関
  東北大学
HashとSortを用いた並列関係データベースマシンの試作研究代表者
- 研究代表者
  
  田中英彦, 元岡達
- 研究期間 (年度)
  1984 – 1985
- 研究種目
  
  試験研究
- 研究分野
  
  情報学
- 研究機関
  東京大学

すべて 2014 2013 2012 2011 2010 2009 その他

すべて雑誌論文学会発表

[雑誌論文] ファイル構造検査の悪性PDFファイル検知への応用2014
- 著者名/発表者名
  大坪雄平、三村守、田中英彦
- 雑誌名
  
  情報処理学会論文誌
  
  巻: 55 ページ: 2281-2289
- NAID
  110009838401
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-24300009
[雑誌論文] CC-Case コモンクライテリア準拠のアシュアランスケースによるセキュリティ要求分析・保証の統合手法2014
- 著者名/発表者名
  金子朋子、山本修一郎、田中英彦
- 雑誌名
  
  情報処理学会論文誌
  
  巻: 55 ページ: 2134-2148
- NAID
  110009822853
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-24300009
[雑誌論文] ファイル構造検査による悪性MS文書ファイルの検知2014
- 著者名/発表者名
  大坪雄平、三村守、田中英彦
- 雑誌名
  
  情報処理学会論文誌
  
  巻: 55 ページ: 1530-1540
- NAID
  110009770526
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-24300009
[雑誌論文] システム開発プロジェクトにおけるリスク管理へのアシュアランスケースの効果的利用2014
- 著者名/発表者名
  金子朋子、山本修一郎、田中英彦
- 雑誌名
  
  プロジェクトマネジメント学会誌
  
  巻: 16 ページ: 14-19
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-24300009
[雑誌論文] 悪性文書ファイルに埋め込まれたRATの検知法2014
- 著者名/発表者名
  三村守、大坪雄平、田中英彦
- 雑誌名
  
  情報処理学会論文誌
  
  巻: 55 ページ: 1089-1099
- 査読あり
- データソース
  KAKENHI-PROJECT-24300009
[雑誌論文] Handy Scissors : 悪性文書ファイルに埋め込まれた実行ファイルの自動抽出ツール2013
- 著者名/発表者名
  三村守, 田中英彦
- 雑誌名
  
  情報処理学会論文誌
  
  巻: 54 ページ: 1211-1219
- NAID
  110009552608
- 査読あり
- データソース
  KAKENHI-PROJECT-24300009
[雑誌論文] 多変量解析による標的型攻撃の分類2013
- 著者名/発表者名
  三村守、田中英彦
- 雑誌名
  
  情報処理学会論文誌
  
  巻: 54 ページ: 2461-2471
- NAID
  110009646891
- 査読あり
- データソース
  KAKENHI-PROJECT-24300009
[雑誌論文] アプリケーションの実行状況に基づく強制アクセス制御方式2013
- 著者名/発表者名
  原田季栄, 半田哲夫, 橋本正樹, 田中英彦
- 雑誌名
  
  情報処理学会論文誌
  
  巻: 53 ページ: 2130-2147
- NAID
  110009464361
- 査読あり
- データソース
  KAKENHI-PROJECT-24300009
[雑誌論文] 論理プログラミングを基礎とした認可ポリシ記述言語2010
- 著者名/発表者名
  橋本正樹、金美羅、辻秀典、田中英彦
- 雑誌名
  
  情報処理学会論文誌
  
  巻: Vol.51、No.9 ページ: 1682-1692
- NAID
  110007970770
- URL
  http://id.nii.ac.jp/1001/00070341/
- 査読あり
- データソース
  KAKENHI-PROJECT-21300016
[雑誌論文] 機密情報共有に有用な情報フロー制御モデルの提案2010
- 著者名/発表者名
  荒井正人、田中英彦
- 雑誌名
  
  情報処理学会論文誌
  
  巻: Vol.5、No.2 ページ: 635-647
- NAID
  110007970669
- URL
  http://id.nii.ac.jp/1001/00067985/
- 査読あり
- データソース
  KAKENHI-PROJECT-21300016
[雑誌論文] 機密情報共有に有用な情報フロー制御モデルの提案2010
- 著者名/発表者名
  荒井正人, 田中英彦
- 雑誌名
  
  情報処理学会論文誌 Vol.51, No.2
  
  ページ: 635-647
- NAID
  110007970669
- 査読あり
- データソース
  KAKENHI-PROJECT-21300016
[雑誌論文] 効率的なセキュリティ要求分析手法の提案2009
- 著者名/発表者名
  大久保隆夫、田中英彦
- 雑誌名
  
  情報処理学会論文誌
  
  巻: Vol.50、No.10 ページ: 2484-2499
- NAID
  40019547230
- URL
  http://id.nii.ac.jp/1001/00066497/
- 査読あり
- データソース
  KAKENHI-PROJECT-21300016
[雑誌論文] マルウェア亜種の動的挙動を利用した自動分類手法の提案と実装2009
- 著者名/発表者名
  堀合啓一、今泉隆文、田中英彦
- 雑誌名
  
  情報処理学会論文誌
  
  巻: Vol.50、No.4 ページ: 1321-1333
- NAID
  40019551795
- URL
  http://id.nii.ac.jp/1001/00060496/
- 査読あり
- データソース
  KAKENHI-PROJECT-21300016
[雑誌論文] 効率的なセキュリティ要求分析手法の提案2009
- 著者名/発表者名
  大久保隆夫, 田中英彦
- 雑誌名
  
  情報処理学会論文誌 Vol.50, No.10
  
  ページ: 2484-2499
- NAID
  40019547230
- 査読あり
- データソース
  KAKENHI-PROJECT-21300016
[雑誌論文] マルウェア亜種の動的挙動を利用した自動分類手法の提案と実装2009
- 著者名/発表者名
  堀合啓一, 今泉隆文, 田中英彦
- 雑誌名
  
  情報処理学会論文誌 Vol.50, No.4
  
  ページ: 1321-1333
- NAID
  40019551795
- 査読あり
- データソース
  KAKENHI-PROJECT-21300016
[雑誌論文] 特徴データベースを用いない効率的な仮想マシンモニタ検出方式の提案
- 著者名/発表者名
  宮本久仁男、田中英彦
- 雑誌名
  
  情報処理学会論文誌
  
  巻: Vol.52、No.9 ページ: 2602-2612
- NAID
  110008608823
- URL
  http://id.nii.ac.jp/1001/00077492/
- 査読あり
- データソース
  KAKENHI-PROJECT-21300016
[雑誌論文] アクタ関係表に基づくセキュリティ要求分析手法(SARM)を用いたスパイラルレビューの提案
- 著者名/発表者名
  金子朋子、山本修一郎、田中英彦
- 雑誌名
  
  情報処理学会論文誌
  
  巻: Vol.52、No.9 ページ: 2853-2865
- NAID
  110008608839
- URL
  http://id.nii.ac.jp/1001/00077508/
- 査読あり
- データソース
  KAKENHI-PROJECT-21300016
[雑誌論文] トラフィックパターンを隠すアプリケーションベースVPNの実現方式
- 著者名/発表者名
  三村守、田中英彦
- 雑誌名
  
  情報処理学会論文誌
  
  巻: Vol.52、No.9 ページ: 2775-2787
- NAID
  110008608846
- URL
  http://id.nii.ac.jp/1001/00077515/
- 査読あり
- データソース
  KAKENHI-PROJECT-21300016
[雑誌論文] 情報セキュリティ向上に向けたOS研究の動向
- 著者名/発表者名
  橋本正樹、安藤類央、前田俊行、田中英彦
- 雑誌名
  
  情報処理学会論文誌:コンピューティングシステム(ACS)
  
  巻: Vol.5、No.2 ページ: 51-62
- NAID
  40019262003
- URL
  http://id.nii.ac.jp/1001/00081513/
- 査読あり
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] CC-Case for the System Development over Life-cycle Process2014
- 著者名/発表者名
  金子朋子、山本修一郎、田中英彦
- 学会等名
  CoｍSec2014
- 発表場所
  Kuala Lumpur, Malaysia
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] CCに対応したセキュリティ要求分析手法SARMの考察2014
- 著者名/発表者名
  金子朋子、山本修一郎、田中英彦
- 学会等名
  SCIS2014
- 発表場所
  城山観光ホテル
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] プロジェクトマネジメントの要求リスクを考慮した保証ケースの提案2013
- 著者名/発表者名
  金子朋子、山本修一郎、田中英彦
- 学会等名
  PM学会春季発表大会
- 発表場所
  東洋大学白山キャンパス
- 年月日
  2013-03-15
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] セキュリティ保証ケースを用いた対策立案方法の提案2013
- 著者名/発表者名
  金子朋子、山本修一郎、田中英彦
- 学会等名
  2013年暗号と情報セキュリティシンポジウム(SCIS2013)
- 発表場所
  ウェスティン都ホテル京都
- 年月日
  2013-01-25
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] 実運用を考慮した電子メール誤送信対策2013
- 著者名/発表者名
  堀田知宏, 橋本正樹, 辻秀典, 田中英彦
- 学会等名
  第154回DPS・第60回CSEC合同研究発表会
- 発表場所
  東京電機大学千住キャンパス
- 年月日
  2013-03-15
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] C&Cサーバの振る舞い情報抽出システムの提案2013
- 著者名/発表者名
  仲間政信, 橘本正樹, 辻秀典, 田中英彦
- 学会等名
  2013年暗号と情報セキュリティシンポジウム(SCZS2013)
- 発表場所
  ウェスティン都ホテル京都
- 年月日
  2013-01-22
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] 悪性文書ファイルへのRATの埋め込み方式の調査2013
- 著者名/発表者名
  三村守、大坪雄平、田中英彦
- 学会等名
  第154回DPS・第60回CSEC合同研究発表会
- 発表場所
  東京電機大学千住キャンパス
- 年月日
  2013-03-15
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] ワンクリック詐欺を防ぐ手法に関する考察2013
- 著者名/発表者名
  唐沢勇輔, 橋本正樹, 辻秀典, 田中英彦
- 学会等名
  2013年暗号と情報セキュリティシンポジウム(SCIS2013)
- 発表場所
  ウェスティン都ホテル京都
- 年月日
  2013-01-23
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] 因子分析による標的型攻撃の傾向調査2012
- 著者名/発表者名
  三村守、田中英彦
- 学会等名
  第59回コンピュータセキュリティ研究発表会
- 発表場所
  慶應義塾大学矢上キャンパス
- 年月日
  2012-12-14
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] 複数のエンコード方式に対応した実行ファイル自動抽出ツール2012
- 著者名/発表者名
  三村守、田中英彦
- 学会等名
  第18回インターネットと運用技術研究発表会
- 発表場所
  東京学芸大学
- 年月日
  2012-06-28
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] 静的解析の強化によるマルウェア自動分類システムの改善2012
- 著者名/発表者名
  松藤達彦、橋本正樹、堀合啓一、田中英彦
- 学会等名
  情報処理学会IPSJ SIG研究会、第150回DPS・第56回CSEC研究発表会
- 発表場所
  横浜市開港記念会館
- 年月日
  2012-02-29
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] セキュリティ要求分析手法(SARM)の適用法について2012
- 著者名/発表者名
  金子朋子、山本修一郎、田中英彦
- 学会等名
  プロジェクトマネジメント学会、2012年度春季研究発表大会
- 発表場所
  東洋大学
- 年月日
  2012-03-15
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] Specification of whole model the Security Requirements Analysis Method (SARM)2011
- 著者名/発表者名
  Tomoko Kaneko, Shuichiro Yamamoto, Hidehiko Tanaka
- 学会等名
  ProMAC Synposium 2011
- 発表場所
  Batam Island, Indonesia
- 年月日
  2011-11-30
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] マルウェア動的解析に於ける自動分類手法の研究2011
- 著者名/発表者名
  畑上英毅、橋本正樹、堀合啓一、田中英彦
- 学会等名
  第52回コンピュータセキュリティ研究会
- 発表場所
  関西大学千里山キャンパス
- 年月日
  2011-03-10
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] セキュリティ要求分析を容易にするシステム機能ベースセキュリティパターンの研究2011
- 著者名/発表者名
  宇野健二、田中英彦
- 学会等名
  電子情報通信学会・情報処理学会,第10回情報科学技術フォーラム(FIT2011)
- 発表場所
  函館大学・函館短期大学
- 年月日
  2011-09-08
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] 電力システムの高度化に対応した通信ネットワークセキュリティの提案2011
- 著者名/発表者名
  伊藤義治、田中英彦
- 学会等名
  電子情報通信学会,暗号と情報セキュリティシンポジウム(SCIS)2011
- 発表場所
  リーガロイヤルホテル小倉
- 年月日
  2011-01-26
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] 行動ターゲティング広告におけるプライバシー保護の実現方式についての検討2011
- 著者名/発表者名
  西村俊介、田中英彦
- 学会等名
  電子情報通信学会・情報処理学会,第10回情報科学技術フォーラム(FIT2011)
- 発表場所
  函館大学・函館短期大学
- 年月日
  2011-09-09
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] 鉄道系制御システムのセキュリティ運用設計について2011
- 著者名/発表者名
  佐々井憲之、田中英彦
- 学会等名
  電子情報通信学会,暗号と情報セキュリティシンポジウム(SCIS)2011
- 発表場所
  リーガロイヤルホテル小倉
- 年月日
  2011-01-26
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] アクタ関係表に基づくセキュリティ要求分析手法(SARM)の改良提案2010
- 著者名/発表者名
  金子朋子, 田中英彦
- 学会等名
  情報処理学会創立50周年記念(第72回)全国大会
- 発表場所
  東京大学
- 年月日
  2010-03-09
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] 情報局限による不正アクセス抑止効果に関する一考察2010
- 著者名/発表者名
  三村守、田中英彦
- 学会等名
  情報処理学会,コンピュータセキュリティシンポジウム(CSS)2010
- 発表場所
  岡山コンベンションセンター
- 年月日
  2010-10-19
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] マルウェア解析の効率化手法の検討2010
- 著者名/発表者名
  山口和晃, 堀合啓一, 田中英彦
- 学会等名
  情報処理学会創立50周年記念(第72回)全国大会
- 発表場所
  東京大学
- 年月日
  2010-03-09
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] ソフトウェアベースのTCBを用いたシステム完全性検証に関する初期的検討2010
- 著者名/発表者名
  中尾雅幸, 橋本正樹, 宮本久仁男, 田中英彦
- 学会等名
  電子情報通信学会,暗号と情報セキュリティシンポジウム(SCIS)2010
- 発表場所
  香川県高松市
- 年月日
  2010-01-22
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] セキュリティに関した相場観の共有について2010
- 著者名/発表者名
  米津宏太郎, 田中英彦
- 学会等名
  電子情報通信学会,暗号と情報セキュリティシンポジウム(SCIS)2010
- 発表場所
  香川県高松市
- 年月日
  2010-01-20
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] Behavior Shaver : An Application Based Layer 3 VPN that Conceals Traffic Patterns Using SCTP2010
- 著者名/発表者名
  Mamoru Mimura, Hidehiko Tanaka
- 学会等名
  Second International Workshop on Network Traffic Control, Analysis and Applications
- 発表場所
  FUKUOKA INSTITUTE OF TECHNOLOGY
- 年月日
  2010-11-06
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] 漸進的分析によるWeb予約システムのセキュリティ要件作成方法について2010
- 著者名/発表者名
  武川宏, 田中英彦
- 学会等名
  情報処理学会創立50周年記念(第72回)全国大会
- 発表場所
  東京大学
- 年月日
  2010-03-09
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] マルウェア解析の効率化手法の検討2009
- 著者名/発表者名
  山口和晃, 堀合啓一, 田中英彦
- 学会等名
  情報処理学会,コンピュータセキュリティシンポジウム(CSS)2009
- 発表場所
  富山国際会議場
- 年月日
  2009-10-24
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] Policy Description Language for Dynamic Access Control Models2009
- 著者名/発表者名
  Masaki Hashimoto, Mira Kim, Hidenori Tsuji, Hidehiko Tanaka
- 学会等名
  the 8th IEEE International Symposium on Dependable, Autonomic & Secure Computing
- 発表場所
  Chengdu, China
- 年月日
  2009-12-12
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] Policy Description Language for Dynamic Access Control Models2009
- 著者名/発表者名
  Masaki Hashimoto, Mira Kim, Hidenori Tsuji, Hidehiko Tanaka
- 学会等名
  The 8th IEEE International Symposium on Dependable Autonomic & Secure Computing
- 発表場所
  Chengdu, China
- 年月日
  2009-12-12
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] 論理型言語を用いたポリシー記述言語の研究2009
- 著者名/発表者名
  橋本正樹、金美羅、辻秀典、田中英彦
- 学会等名
  日本ソフトウェア科学会
- 発表場所
  函館大沼プリンスホテル
- 年月日
  2009-07-15
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] P2Pファイル交換ネットワーク環境におけるマルウェアの検出手法の提案2009
- 著者名/発表者名
  四本木正男, 堀合啓一, 田中英彦
- 学会等名
  情報処理学会,コンピュータセキュリティシンポジウム(CSS)2009
- 発表場所
  富山国際会議場
- 年月日
  2009-10-27
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] Real Hardware Verification by Software for Bootstrap Using TSC2009
- 著者名/発表者名
  Kunio Miyamoto, Hidehiko Tanaka
- 学会等名
  the 8th IEEE International Symposium on Dependable, Autonomic & Secure Computing
- 発表場所
  Chengdu, China
- 年月日
  2009-12-13
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] 論理型言語を用いたポリシー記述言語の研究2009
- 著者名/発表者名
  橋本正樹, 金美羅, 辻秀典, 田中英彦
- 学会等名
  日本ソフトウェア科学会,DSW09
- 発表場所
  函館大沼プリンスホテル
- 年月日
  2009-07-15
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] Web予約システムのセキュリティ要求分析におけるインクリメンタル的なアプローチについて2009
- 著者名/発表者名
  武川宏, 田中英彦
- 学会等名
  情報処理学会,コンピュータセキュリティシンポジウム(CSS)2009
- 発表場所
  富山国際会議場
- 年月日
  2009-10-27
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] Reducing Program Environment Misjudgement on VM Detection Using TSC2009
- 著者名/発表者名
  Kunio Miyamoto, Hidehiko Tanaka
- 学会等名
  the 2009 IEEE International Symposium on Ubisafe Computing
- 発表場所
  Chengdu, China
- 年月日
  2009-12-13
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] アクタ関係表に基づくセキュリティ要求分析手法(SARM)の提案2009
- 著者名/発表者名
  金子朋子, 田中英彦
- 学会等名
  情報処理学会,コンピュータセキュリティシンポジウム(CSS)2009
- 発表場所
  富山国際会議場
- 年月日
  2009-10-27
- データソース
  KAKENHI-PROJECT-21300016
[学会発表] CC-Case～コモンクライテリア準拠のアシュアランスケースによるセキュリティ要求分析・保証の統合手法
- 著者名/発表者名
  金子朋子、山本修一郎、田中英彦
- 学会等名
  CSS2013
- 発表場所
  香川国際会議場
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] インターネットバンキングの不正送金対策
- 著者名/発表者名
  佐野宏明、田中英彦
- 学会等名
  情報処理学会全国大会
- 発表場所
  京都大学
- 年月日
  2015-03-17 – 2015-03-19
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] CC-Case as an Efficient Method of Assurance Case for the Security Risk Management
- 著者名/発表者名
  Tomonko Kaneko, Shuichiro Yamamoto, Hidehiko Tanaka
- 学会等名
  PROMAC2014
- 発表場所
  Malaysia
- 年月日
  2014-12-03 – 2014-12-06
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] 産学官連携によるサイバー空間の安全確保
- 著者名/発表者名
  田中英彦
- 学会等名
  警察政策フォーラム
- 発表場所
  グランドアーク半蔵門
- 招待講演
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] ファイル構造検査による悪性MS文書ファイルの検知
- 著者名/発表者名
  大坪雄平、三村守、田中英彦
- 学会等名
  第22回IOT研究発表会
- 発表場所
  武蔵大学江古田キャンパス
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] SELinuxポリシ処理系のユーザ空間実装
- 著者名/発表者名
  橋本正樹, 滝澤峰利, 高山扶美彦, 辻秀典, 田中英彦
- 学会等名
  コンピュータシステムシンポジウム2014
- 発表場所
  芝浦工業大学　豊洲キャンパス
- 年月日
  2014-11-19 – 2014-11-20
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] Webアプリケーション更改時のセキュリティ要求/要件獲得手法の検討
- 著者名/発表者名
  野口睦夫、大久保隆夫、田中英彦
- 学会等名
  第65回コンピュータセキュリティ・第25回インターネットと運用技術合同研究発表会
- 発表場所
  ホルトホール大分
- 年月日
  2014-05-22 – 2014-05-23
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] ファイル構造検査による悪性MS文書ファイル検知手法の評価
- 著者名/発表者名
  大坪雄平、三村守、田中英彦
- 学会等名
  CSS2013
- 発表場所
  香川国際会議場
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] CC-CaseのライフサイクルサポートとCCの動向に対する可能性
- 著者名/発表者名
  金子朋子、山本修一郎、田中英彦
- 学会等名
  コンピュータセキュリティシンポジウム2014
- 発表場所
  札幌コンベンションセンター
- 年月日
  2014-10-22 – 2014-10-24
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] PDFの構造検査による悪性PDFファイルの検知
- 著者名/発表者名
  大坪雄平、三村守、田中英彦
- 学会等名
  CSS2013
- 発表場所
  香川国際会議場
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] Efficient Use of Assurance Case against System Risk in the Project Management
- 著者名/発表者名
  金子朋子、山本修一郎、田中英彦
- 学会等名
  PROMAC2013
- 発表場所
  Hanoi, Vietnam
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] CC-Case as an Integrated Method of Security Analysis and Assurance Based on Common Criteria
- 著者名/発表者名
  Tomoko Kaneko, Shuichiro Yamamoto, Hidehiko Tanaka
- 学会等名
  15th ICCC Conference
- 発表場所
  Delhi, India
- 年月日
  2014-09-09 – 2014-09-11
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] 論理型言語によるSELinux向け認可判定機構の実装と評価
- 著者名/発表者名
  橋本正樹, 滝澤峰利, 高山扶美彦, 辻秀典, 田中英彦
- 学会等名
  コンピュータセキュリティシンポジウム2014
- 発表場所
  札幌コンベンションセンター
- 年月日
  2014-10-22 – 2014-10-24
- データソース
  KAKENHI-PROJECT-24300009
[学会発表] インシデント情報を使用した最適なセキュリティ対策の選定
- 著者名/発表者名
  佐藤智裕、田中英彦
- 学会等名
  第68回コンピュータセキュリティシンポジウム
- 発表場所
  法政大学　小金井キャンパス
- 年月日
  2015-03-05 – 2015-03-06
- データソース
  KAKENHI-PROJECT-24300009

1. 富田眞治 (40026323)

共同の研究課題数: 7件

共同の研究成果数: 0件
2. 相磯秀夫 (90051250)

共同の研究課題数: 5件

共同の研究成果数: 0件
3. 村岡洋一 (50182085)

共同の研究課題数: 5件

共同の研究成果数: 0件
4. 辻秀典 (90398975)

共同の研究課題数: 3件

共同の研究成果数: 10件
5. 坂井修一 (50291290)

共同の研究課題数: 3件

共同の研究成果数: 0件
6. 野口正一 (80006220)

共同の研究課題数: 3件

共同の研究成果数: 0件
7. 斎藤禎 (90011139)

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 平木敬 (20238348)

共同の研究課題数: 2件

共同の研究成果数: 0件
9. 末吉敏則 (00117136)

共同の研究課題数: 2件

共同の研究成果数: 0件
10. 金田悠紀夫 (80107979)

共同の研究課題数: 2件

共同の研究成果数: 0件
11. 天野英晴 (60175932)

共同の研究課題数: 2件

共同の研究成果数: 0件
12. 金美羅 (60387107)

共同の研究課題数: 2件

共同の研究成果数: 9件
13. 橋本正樹 (10582158)

共同の研究課題数: 2件

共同の研究成果数: 14件
14. 米崎直樹 (00126286)

共同の研究課題数: 2件

共同の研究成果数: 0件
15. 池田克夫 (30026009)

共同の研究課題数: 2件

共同の研究成果数: 0件
16. 清水修 (20011182)

共同の研究課題数: 2件

共同の研究成果数: 0件
17. 斉藤信男 (10015977)

共同の研究課題数: 2件

共同の研究成果数: 0件
18. 雨宮真人 (90202697)

共同の研究課題数: 2件

共同の研究成果数: 0件
19. 富永英義 (20063688)

共同の研究課題数: 2件

共同の研究成果数: 0件
20. 小池帆平 (00215146)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 西尾章治郎 (50135539)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 米澤明憲 (00133116)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. 安西祐一郎 (40051875)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 片山卓也 (70016468)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. 伊藤貴康 (80124551)

共同の研究課題数: 1件

共同の研究成果数: 0件
26. 溝口文雄 (50084463)

共同の研究課題数: 1件

共同の研究成果数: 0件
27. 井手一郎 (10332157)

共同の研究課題数: 1件

共同の研究成果数: 0件
28. 喜連川優 (40161509)

共同の研究課題数: 1件

共同の研究成果数: 0件
29. 上林弥彦 (00026311)

共同の研究課題数: 1件

共同の研究成果数: 0件
30. 坂井利之 (70025790)

共同の研究課題数: 1件

共同の研究成果数: 0件
31. 甘利俊一 (80010726)

共同の研究課題数: 1件

共同の研究成果数: 0件
32. 有川節夫 (40037221)

共同の研究課題数: 1件

共同の研究成果数: 0件
33. 藤崎博也 (80010776)

共同の研究課題数: 1件

共同の研究成果数: 0件
34. 長尾真 (30025960)

共同の研究課題数: 1件

共同の研究成果数: 0件
35. 辻三郎 (60029527)

共同の研究課題数: 1件

共同の研究成果数: 0件
36. 鳥居宏次 (10172222)

共同の研究課題数: 1件

共同の研究成果数: 0件
37. 西田豊明 (70135531)

共同の研究課題数: 1件

共同の研究成果数: 0件
38. 堂下修司 (00025925)

共同の研究課題数: 1件

共同の研究成果数: 0件
39. 和田英一 (50010723)

共同の研究課題数: 1件

共同の研究成果数: 0件
40. 福村晃夫 (60022985)

共同の研究課題数: 1件

共同の研究成果数: 0件
41. 志村正道 (30029409)

共同の研究課題数: 1件

共同の研究成果数: 0件
42. 榎本肇 (60016227)

共同の研究課題数: 1件

共同の研究成果数: 0件
43. 大須賀節雄 (10013640)

共同の研究課題数: 1件

共同の研究成果数: 0件
44. 藤原譲 (40110473)

共同の研究課題数: 1件

共同の研究成果数: 0件
45. 稲垣康善 (10023079)

共同の研究課題数: 1件

共同の研究成果数: 0件
46. 相田仁 (00175712)

共同の研究課題数: 1件

共同の研究成果数: 0件
47. 原田季栄

共同の研究課題数: 1件

共同の研究成果数: 1件
48. 浜田玲子

共同の研究課題数: 1件

共同の研究成果数: 0件
49. 元岡達

共同の研究課題数: 1件

共同の研究成果数: 0件

田中 英彦 TANAKA Hidehiko

研究課題

研究成果

共同研究者

次世代情報セキュリティ基盤を実現するＯＳ強化に向けた資源アクセス制御方式研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

SOAの健全な発展を支える先進的共通アクセス制御アーキテクチャの研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

複数OSの連携と上位層機能の取り込みによるOSのセキュリティ基盤強化方式研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

料理映像を題材とするマルチメディア統合システムの構築とその応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

マルチパス投機処理を行う大規模並列マイクロプロセッサ・アーキテクチャの研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

超並列原理に基づく情報処理基本体系(成果とりまとめ)研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

大規模データパスプロッセッサの研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

超並列原理に基づく情報処理基本体系の調査研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

高性能超並列計算機のための複合多重要素プロセッサの試作研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

田中英彦 TANAKA Hidehiko