| Presentation | 2005-03-18 Implementation 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 present a security protocol analyzer to verify cryptographic security protocols. Our analyzer verifies that security protocols are provably secure based on notions of provable security in security protocols. The analyzer only evaluates core properties of security protocols that satisfy the notions, making it faster than previous tools. The analyzer automatically evaluates authentication and key distribution protocols satisfying definitions such as Secure Mutual Authentication, Semantic Security, and Forward Secrecy. Thus, the analyzer is useful for constructing and checking security protocols for many services. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Protocol Analyzer / Provable Security / Protocol Verification |
| Paper # | IT2004-54,ISEC2004-110,WBS2004-169 |
| Date of Issue |
| Conference Information | |
| Committee | ISEC |
|---|---|
| Conference Date | 2005/3/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) | Implementation of a Security Protocol Analyzer based on Provable Security |
| Sub Title (in English) | |
| Keyword(1) | Protocol Analyzer |
| Keyword(2) | Provable Security |
| Keyword(3) | Protocol Verification |
| 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 | 2005-03-18 |
| Paper # | IT2004-54,ISEC2004-110,WBS2004-169 |
| Volume (vol) | vol.104 |
| Number (no) | 731 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |