Presentation 2005-10-21
Design and Security Verification of One-time ID Key-Exchange Protocol by Modal Logic
Kenji IMAMOTO, Kouichi SAKURAI,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) In order to conceal user's identity from eavesdroppers and construct a system with high scalability, we propose a three-party Diffie-Hellman-based key exchange protocol using "One-time ID". In this paper, we analyze the proposed protocol by SVO Logic [1], [2], which is one of formal verification methods based on modal logic. Moreover, we consider some existing One-time ID generation methods.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) Diffie-Hellman based key exchange / SVO Logic / Pre-shared key model / One-time ID
Paper # AI2005-18
Date of Issue

Conference Information
Committee AI
Conference Date 2005/10/14(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To Artificial Intelligence and Knowledge-Based Processing (AI)
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Design and Security Verification of One-time ID Key-Exchange Protocol by Modal Logic
Sub Title (in English)
Keyword(1) Diffie-Hellman based key exchange
Keyword(2) SVO Logic
Keyword(3) Pre-shared key model
Keyword(4) One-time ID
1st Author's Name Kenji IMAMOTO
1st Author's Affiliation Graduate School of Information Science and Electrical Engineering, Kyushu University()
2nd Author's Name Kouichi SAKURAI
2nd Author's Affiliation Faculty of Information Science and Electrical Engineering, Kyushu University
Date 2005-10-21
Paper # AI2005-18
Volume (vol) vol.105
Number (no) 361
Page pp.pp.-
#Pages 6
Date of Issue