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 |