| Presentation | 1999/7/23 Analysis of Authentication Protocols by Parametarized BAN Logic Takamichi SAITO, Wu WEN, Fumio MIZOGUCHI, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | This paper describes analysis of authentication protocols by parametarized BAN Logic. Generally BAN Logic doesn't seem to be designed to check properties such as secrecy. However, we introduced parameters into BAN Logic in order to check them. This paper shows, in the first part, our expansion of BAN Logic and our definition of security flaw of authentication protocols. In the second part, we present analysis of a certain authentication protocols by parametarized BAN Logic. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Verification / Authentication Protocols / Security |
| Paper # | ISEC99-35 |
| Date of Issue |
| Conference Information | |
| Committee | ISEC |
|---|---|
| Conference Date | 1999/7/23(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 | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Analysis of Authentication Protocols by Parametarized BAN Logic |
| Sub Title (in English) | |
| Keyword(1) | Verification |
| Keyword(2) | Authentication Protocols |
| Keyword(3) | Security |
| 1st Author's Name | Takamichi SAITO |
| 1st Author's Affiliation | Department of Information Sciences, Faculty of Science and Technology, Science University of Tokyo() |
| 2nd Author's Name | Wu WEN |
| 2nd Author's Affiliation | Information Media Center, Research-Education Organization for Information Science and Technology, Science University of Tokyo |
| 3rd Author's Name | Fumio MIZOGUCHI |
| 3rd Author's Affiliation | Information Media Center, Research-Education Organization for Information Science and Technology, Science University of Tokyo |
| Date | 1999/7/23 |
| Paper # | ISEC99-35 |
| Volume (vol) | vol.99 |
| Number (no) | 209 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |