|
所属 |
理学部 数学科 |
|
連絡先 |
|
|
外部リンク |
|
学位 【 表示 ／ 非表示 】
-
博士（数理科学） （ 1998年03月 東京大学大学院数理科学研究科 ）
-
修士（数理科学） （ 1885年03月 東京大学大学院数理科学研究科 ）
研究分野 【 表示 ／ 非表示 】
-
自然科学一般 / 代数学 / 組合せ論, 表現論
-
情報通信 / 情報セキュリティ / 暗号理論、符号理論、ニューラルネットワーク、バイオメトリクス
学外略歴 【 表示 ／ 非表示 】
-
独立行政法人 産業技術総合研究所 情報技術部門 研究員
2012年04月 - 2013年03月
国名：日本国
-
中央大学 研究開発機構 客員研究員
2008年10月 - 現在
国名：日本国
-
独立行政法人 産業技術総合研究所 情報セキュリティ研究センター 研究員
2007年09月 - 2012年03月
国名：日本国
所属学協会 【 表示 ／ 非表示 】
-
東京都高等学校数学教育研究会
2017年04月 - 2021年03月
-
日本数学教育学会
2017年04月 - 2021年03月
-
東京理科大学数学教育研究会
2017年04月 - 2021年03月
-
電子情報通信学会 バイオメトリクス研究専門委員会
2014年04月 - 2017年03月
-
一般社団法人 情報処理学会 情報規格調査会 SC37/WG5 小委員会
2013年05月 - 現在
論文 【 表示 ／ 非表示 】
-
A relation between irreversibility and unlinkability for biometric template protection algorithms 査読あり
Manabu Inuma
Josai Mathematical Monographs 7 55 - 65 2014年03月
担当区分：筆頭著者 記述言語：英語 掲載種別：研究論文（大学，研究機関等紀要）
-
Relations among Security Metrics for Template Protection Algorithms 査読あり
Manabu Inuma, Akira Otsuka
Proceedings of The IEEE 6th International Conference on Biometrics, Theory, Applications and Systems 2013年10月
担当区分：筆頭著者 記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
A theoretical framework for constructing matching algorithms secure against wolf attack 査読あり
Manabu Inuma, Akira Otsuka, Hideki Imai
IEICE TRANSACTIONS on Information and Systems Vol. , No. 2, pp.357-364, 2013 E96-D ( 2 ) 357 - 364 2013年
担当区分：筆頭著者 記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Enhanced Cancelable Biometrics for Online Signature Verification 査読あり
Daigo Muramatsu, Manabu Inuma, Junji Shikata, Akira Otsuka
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences E93-A ( 6 ) 1254 - 1259 2012年06月
担当区分：第二著者 記述言語：英語 掲載種別：研究論文（学術雑誌）
-
RFID Tag Filtering Protocol 査読あり
Manabu Inuma, Akira Otsuka, Yasuaki Inatomi, Atsushi Minemura, Tatsuya Takehisa
Proceedings of IEEE International Conference on Communications 2011年06月
担当区分：筆頭著者 記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
講演・口頭発表等 【 表示 ／ 非表示 】
-
Security evaluation of a finger vein authentication algorithm against wolf attack 国際会議
Akira Otsuka, , Tetsushi Ohki, Ryogo Morita, Manabu Inuma, Hideki Imai
37th IEEE Symposium on Security and Privacy
開催年月日： 2016年05月
記述言語：英語 会議種別：ポスター発表
開催地：the Fairmont Hotel, San Jose, CA
-
バイオメトリクスのセキュリティと誤り訂正符号
井沼 学
第3回誤り訂正符号のワークショップ
開催年月日： 2014年09月
記述言語：日本語 会議種別：口頭発表（一般）
-
Relations among Security Metrics for Template Protection Algorithms 国際会議
Manabu Inuma, Akira Otsuka
The IEEE 6th International Conference on Biometrics, Theory, Applications and Systems
開催年月日： 2013年09月 - 2013年10月
記述言語：英語 会議種別：口頭発表（一般）
-
A duality of two queer Lie superalgebras and plethysms of Schur's Q-functions 国際会議
Manabu Inuma
The 8th International Conference on Nonlinear Analysis and Convex Analysis
開催年月日： 2013年08月
記述言語：英語 会議種別：口頭発表（一般）
産業財産権 【 表示 ／ 非表示 】
-
端末特定システム、端末特定情報登録装置、無線端末装置、端末特定装置、および端末特定方法
井沼学, 伊藤快, 稲富康朗, 大塚玲, 藤松健, 峰村淳, 横堀充
出願人：パナソニック株式会社, 独立行政法人産業技術総合研究所
出願番号：P2010-199329 出願日：2010年09月
公開番号：P2012-58855A 公開日：2012年03月
受賞 【 表示 ／ 非表示 】
-
国際規格開発賞
2018年10月 情報処理学会情報規格調査会 ISO/IEC 30136:2018発行におけるプロジェクトコエディタとしての貢献
井沼 学
受賞区分：国内学会・会議・シンポジウム等の賞 受賞国：日本国
科研費（文科省・学振）獲得実績 【 表示 ／ 非表示 】
-
複数主体のバイオメトリクスデータベース管理と評価技術の研究
2013年04月 - 2014年03月
科学研究費補助金 基盤研究(A)
宝木和夫
バイオメトリクスは、入国管理、銀行ATM、ビル入退出管理などで使われ、市場規模、成長率ともに大きい（世界約 7000億円/年、20％）。これまで、バイオメトリクスは、組織単体での採用がほとんどであった。今後、組織間連携など利用が広がるにつれ、登録データと採取データをある組織単体の現場で照合するのでなく、複数の組織での連携した認証が増えることが予想される。しかし、従来のデータベース管理技術のそのままの適用では、プライバシ保護や生体情報取得時の精度のばらつき等バイオメトリクス特有の問題がある。バイオメトリクスが安心して使えるコモディティとなる前に、この問題を解決するため、本研究では、そのためのキー技術として、信頼できるバイオメトリクス性能評価技術および関連するデータベース構築手法の研究を行う。
-
Weyl 群のねじれ群環と超Lie 代数の双対関係の定式化
2000年04月 - 2001年03月
科学研究費補助金 基盤研究(C)
井沼 学
その他競争的資金獲得実績 【 表示 ／ 非表示 】
-
バイオメトリクス認証におけるテンプレート保護技術に関する標準化
2010年11月 - 2013年03月
経済産業省 METI戦略的国際標準化推進事業／国際標準共同研究開発事業
資金種別：競争的資金
バイオメトリクス認証におけるテンプレート保護技術は、システム内に蓄積されたテンプレート（特定の個人情報と関連付けられた生体情報）をシステム外からの攻撃に対して保護すること、および、バイオメトリクス認証を行う際の認証結果からテンプレートの内容を推測復元されることを防止することなどを目的としている。近年、国内外において、様々なテンプレート保護方式が提案・開発され、一部、実用化されているものもある。しかしながら、これら種々のテンプレート保護技術を客観的に評価可能な明確な安全性評価基準は未だ確立していない。本事業では、種々のテンプレート保護技術の安全性と認証精度の安全性評価基準を確立し、本質的な認証精度と安全性を目指した国内の技術や製品が、他の国際標準規格提案によって不利益を被る状況にならないよう、事業内で確立した適切な安全性評価基準を盛り込んだ国際規格案を作成し、制定を図る。
-
バイオメトリクス認証システムのウルフ攻撃に対する安全性評価技術に関する研究
2010年08月 - 2013年03月
総務省 戦略的情報通信研究開発推進制度(SCOPE)
大塚 玲
資金種別：競争的資金
バイオメトリクス認証に対する強い成りすまし攻撃であるウルフ攻撃とその安全性評価尺度であるウルフ攻撃確率の理論を、生態検知システムやマルチモーダル認証システムなどのより高度で実用的なシステムにも応用可能な形に発展させて理論全体を体系化し、種々のバイオメトリクス認証システムやあらゆる強度のなりすまし攻撃を網羅するような評価理論を構築する。また、理論を裏付けするための評価実験を行い、評価技術の基盤となるデータや知見を蓄積する。これらの理論にもとづいて強いなりすまし攻撃に対して安全でかつ高性能な照合アルゴリズムを開発する。
-
証明可能な安全性をもつキャンセラブル・バイオメトリクス認証技術の構築とそれを利用した個人認証インフラストラクチャ実現に向けた研究開発
2008年10月 - 2010年03月
経済産業省 新世代情報セキュリティ研究開発事業
井沼 学
資金種別：競争的資金
バイオメトリック情報は、オリジナルのバイオメトリック情報を容易に復元できないかたちで変換されデータベースに保存されなければならない。なおかつ、漏洩の危機に備えて、保存されたテンプレートや認証用の鍵が十分な回数更新できることが必要となる。このような問題を想定して設計されたバイオメトリクス認証技術をキャンセラブル・バイオメトリクス認証技術と呼ぶ。本研究では、キャンセラブル・バイオメトリクス認証技術に関して、以下の4つのテーマについての研究開発を行う。
(1) キャンセラブル・バイオメトリクス認証技術における、安全性評価基準の理論的な枠組みの構築
(2) 証明可能な安全性をもつキャンセラブル・バイオメトリクス認証技術の研究開発
(3) 各モダリティやアルゴリズムごとの条件に応じた最適な安全性をもつキャンセラブル・バイオメトリクス認証応用技術の研究開発
(4) キャンセラブル・バイオメトリクス認証を組込んだID 連携認証技術のプロトタイプの構築
担当授業科目 【 表示 ／ 非表示 】
-
初等解析学
2022年04月 - 現在
-
数学序論
2022年04月 - 現在
-
微分積分学Ⅱ
2021年04月 - 2022年03月
-
暗号理論Ａ
2020年04月 - 現在
-
暗号理論Ｂ
2020年04月 - 現在
その他教育活動及び特記事項 【 表示 ／ 非表示 】
-
教員免許状更新講習講師
2019年08月
2019年8月2日「算数・数学をおもしろく」
-
実践報告「教育実習の講義実践報告」
2019年03月
城西大学教職課程センター紀要第3号に、本学における講義「教育実習I,II」の実践報告が掲載された。
-
実践報告「数学科教育法と数学科教材研究の講義実践報告」
2019年03月
城西大学教職課程センター紀要第3号に、本学での講義「数学科教育法I,II」「数学科教材研究I,II」の実践報告が掲載された。
-
教員免許状更新講習講師
2018年08月
8月6日「当たり前のことをきちんと理解して説明する」
社会貢献活動 【 表示 ／ 非表示 】
-
平成30年度MATHキャンプ ＜数理・探求・研究会 -- 研究し MATH, 指導しMATH, 拡げMATH --＞講演
役割：講師
茨城県立竜ヶ崎第一高等学校 東京理科大学セミナーハウス 2018年09月
対象： 高校生, 教育関係者
講演題目「バイオメトリクスと数学（安全な社会を実現する数学）」
-
東京理科大学数学教育研究会平成30年度6月月例会講演
役割：講師
東京理科大学数学教育研究会 PORTA神楽坂 第一会議室 2018年06月
対象： 教育関係者
講演題目「バイオメトリクスと数学」
学内活動 【 表示 ／ 非表示 】
-
2023年04月 - 現在 図書館運営委員 (全学委員会)
-
2023年04月 - 現在 FD委員会作業部会 (その他の主要活動)
-
2022年04月 - 2023年03月 就職委員 (全学委員会)
-
2021年04月 - 2023年03月 FD委員 (全学委員会)
-
2021年04月 - 2022年03月 省エネルギー実施委員 (全学委員会)