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