Presentation | 2011-03-04 Symbolic Criterion for EUC Secure Authentication against Static Adversary Itsuki SUZUKI, Maki YOSHIDA, Toru FUJIWARA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | EUC secure protocol maintains its security even when it is composed and shares public information with arbitrary protocols. In this paper, we propose a computationally sound symbolic criterion for EUC secure message authentication protocols against static adversary in PKI model. Protocols share public keys from PKI. The difference between our symbolic criterion and the previous symbolic criterion for UC secure message authentication is to include the indistinguishability of messages. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | EUC security / message authentication / formal verification / computational soundness |
Paper # | IT2010-129,ISEC2010-133,WBS2010-108 |
Date of Issue |
Conference Information | |
Committee | ISEC |
---|---|
Conference Date | 2011/2/24(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) | Symbolic Criterion for EUC Secure Authentication against Static Adversary |
Sub Title (in English) | |
Keyword(1) | EUC security |
Keyword(2) | message authentication |
Keyword(3) | formal verification |
Keyword(4) | computational soundness |
1st Author's Name | Itsuki SUZUKI |
1st Author's Affiliation | Graduate School of Information Science and Technology, Osaka University() |
2nd Author's Name | Maki YOSHIDA |
2nd Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
3rd Author's Name | Toru FUJIWARA |
3rd Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
Date | 2011-03-04 |
Paper # | IT2010-129,ISEC2010-133,WBS2010-108 |
Volume (vol) | vol.110 |
Number (no) | 443 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |