研究者
J-GLOBAL ID:201601009356363303
更新日: 2024年02月01日
大岩 寛
オオイワ ユタカ | OIWA Yutaka
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
所属機関・部署:
国立研究開発法人産業技術総合研究所 サイバーフィジカルセキュリティ研究センター
国立研究開発法人産業技術総合研究所 サイバーフィジカルセキュリティ研究センター について
「国立研究開発法人産業技術総合研究所 サイバーフィジカルセキュリティ研究センター」ですべてを検索
職名:
研究チーム長
研究分野 (3件):
情報セキュリティ
, ソフトウェア
, 情報学基礎論
研究キーワード (2件):
コンピュータセキュリティ
, 計算機ソフトウェア
競争的資金等の研究課題 (4件):
2019 - 2024 機械学習システムの品質評価指標・測定テストベッドの研究開発
2015 - 2018 安全な協調ロボット制御ソフトウェア開発方法の研究
2012 - 2016 組込みソフトウェアの安全な構築のためのC言語のモデルとその形式検証
2003 - 2004 実行の安全性を保証するC言語コンパイラの実装手法に関する研究
論文 (22件):
Yoshinao Isobe, Hisabumi Hatsugai, Akira Tanaka, Yutaka Oiwa, Takanori Ambe, Akimasa Okada, Satoru Kitamura, Yamato Fukuta, Takashi Kunifuji. Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 2019. 102-A. 2. 325-335
大岩 寛. IoT/サイバーフィジカル社会における情報の流れと制御. 情報知識学会誌. 2017. 26. 4. 318-319
Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku. Mutual Authentication Protocol for HTTP: Cryptographic Algorithms Based on the Key Agreement Mechanism 3 (KAM3). RFC. 2017. 8121. 1-17
Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku. Mutual Authentication Protocol for HTTP. RFC. 2017. 8120. 1-53
Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku. HTTP Authentication Extensions for Interactive Clients. RFC. 2017. 8053. 1-28
もっと見る
MISC (6件):
山口 利恵, 大岩 寛, 渡辺 創. PKIにおける個人証明書と組織証明書に関する有用性の考察. 電子情報通信学会技術研究報告. ISEC, 情報セキュリティ. 2011. 110. 443. 205-212
Yutaka Oiwa, Hiromitsu Takagi, Hajime Watanabe, Hirofumi Suzuki. PAKE-based mutual HTTP authentication for preventing phishing attacks. WWW'09 - Proceedings of the 18th International World Wide Web Conference. 2009. abs/0911.5230. 1143-1144
安全性を保証する ANSI-C 実行系の実装手法. コンピュータソフトウェア (日本ソフトウェア科学会). 2002. 19(3):39-44
DynJava: Type Safe Dynamic Code Generation in Java. 日本ソフトウェア科学会 第3回プログラミングおよびプログラミング言語ワークショップ (PPL2001). 2001
DynJava : Type Safe Dynamic Code Generation in Java(共著). The 3rd JSSST Workshop on Programming and Programming Languages(PPL2001). 2001
もっと見る
学歴 (3件):
2001 - 2005 東京大学 大学院情報理工学系研究科 コンピュータ科学専攻
1999 - 2001 東京大学 大学院理学系研究科 情報科学専攻
- 1999 東京大学 理学部 情報科学科
学位 (1件):
博士(情報理工学) (東京大学)
受賞 (1件):
2001 - 日本ソフトウェア科学会 高橋奨励賞
所属学会 (3件):
情報処理学会
, 計算機学会(Association for Computer Machinery, ACM)
, 日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM