• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Security Evaluation of One-Time Password Authentication Using ProVerif

Research Project

Project/Area Number 25K15114
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 60070:Information security-related
Research InstitutionNagasaki University

Principal Investigator

荒井 研一  長崎大学, 総合生産科学研究科(情報データ科学系), 准教授 (60645290)

Project Period (FY) 2025-04-01 – 2028-03-31
Project Status Granted (Fiscal Year 2025)
Budget Amount *help
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2027: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2026: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2025: ¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
Keywordsワンタイムパスワード認証方式 / 安全性 / ProVerif / 形式手法 / 自動検証
Outline of Research at the Start

研究代表者はこれまでに暗号プロトコルの安全性自動検証ツールProVerifを用いてワンタイムパスワード(OTP)認証方式の安全性評価を行い、新たな脆弱性を発見することに成功している。すなわち、提案者らが認識していなかった脆弱性が後から発見されるといった事例が確認された。今後はこのような事例が起きないためにも、OTP認証方式の安全性を多角的な観点から評価することが不可欠となっている。そこで、本研究ではこれまで提案された各種OTP認証方式に対してProVerifを用いて網羅的に安全性評価を行い、その評価結果を国内外に広く公開する。これにより、OTP認証方式を用いたシステムの将来に渡る安全性確保への貢献を目指す。

URL: 

Published: 2025-04-17   Modified: 2025-06-20  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi