| Presentation | 2004-09-17 Study of a Security Protocol Analyzer Based on Provable Security Shinsaku KIYOMOTO, Haruki OTA, Toshiaki TANAKA, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In this paper, we design a security protocol analyzer to verify cryptographic security protocols. Our an-alyzer checks security protocols based upon notions of provable security. The analyzer only evaluate core properties of security protocols that satisfy the notions. Thus, our analyzer will be faster than existing analyzers. The analyzer automatically evaluates authentication and key distribution protocols satisfy definitions such as Secure Mutual Authentication, Semantic Security, and Forward Secrecy. Our analyzer is useful for constructing and checking security protocols for many services. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Protocol Analysis / Authentication Protocol / Key Distribution Protocol / Provable Security |
| Paper # | ISEC2004-67 |
| Date of Issue |
| Conference Information | |
| Committee | ISEC |
|---|---|
| Conference Date | 2004/9/10(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 | Information Security (ISEC) |
|---|---|
| Language | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Study of a Security Protocol Analyzer Based on Provable Security |
| Sub Title (in English) | |
| Keyword(1) | Protocol Analysis |
| Keyword(2) | Authentication Protocol |
| Keyword(3) | Key Distribution Protocol |
| Keyword(4) | Provable Security |
| 1st Author's Name | Shinsaku KIYOMOTO |
| 1st Author's Affiliation | KDDI R &; D Laboratories Inc.() |
| 2nd Author's Name | Haruki OTA |
| 2nd Author's Affiliation | KDDI R &; D Laboratories Inc. |
| 3rd Author's Name | Toshiaki TANAKA |
| 3rd Author's Affiliation | KDDI R &; D Laboratories Inc. |
| Date | 2004-09-17 |
| Paper # | ISEC2004-67 |
| Volume (vol) | vol.104 |
| Number (no) | 315 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |